[FOM] [CiE] Newsletter No.9, April 3, 2009
S B Cooper
pmt6sbc at maths.leeds.ac.uk
Wed Apr 1 22:51:14 EDT 2009
CiE Newsletter No.9, April 3, 2009
___________________________________________________________________________
CONTENTS:
1. Logic Colloquium 2009 Sofia 31 July-5 August - Second Announcement
2. Theory and Applications of Models of Computation (TAMC 2009)
3. UC 2009 - 8th International Conference on UNCONVENTIONAL COMPUTATION
4. Computability and Complexity in Analysis 2009 (CCA 2009) - Second CfP
5. CALCO-jnr: CALCO Young Researchers Workshop, September 6, 2009, Udine,
Italy
6. GENTZEN SYSTEMS AND BEYOND TABLEAUX 2009 WORKSHOP
7. Panhellenic Logic Conference: Submission Deadline Extension
8. PRNCL 2009 - Workshop on Proofs and Refutations in Non-Classical Logics
9. Conference on Philosophy and Foundations of Mathematics,
May 5-8, 2009 (2nd announcement)
10. CFP: Special Issue of Studia Logica on Logic and the Foundations
of Physics
11. Postdoctoral positions in algorithmic bioinformatics
12. Effective Mathematics of the Uncountable (EMU 2009)
13. LIX Colloquium: 3rd WORKSHOP ON REACHABILITY PROBLEMS, RP'2009
=========================================================================
1. (from Mariya Soskova) Logic Colloquium 2009
Sofia 31 July - 5 August - Second Announcement:
*********************************************************************
Second Announcement
Logic Colloquium 2009
Sofia 31 July - 5 August
http://lc2009.fmi.uni-sofia.bg
Extended deadline for submissions: 30 April, 2009
Extended deadline for grant applications: 15 April, 2009
*********************************************************************
IMPORTANT NEWS
SATELLITE MEETING: Workshop on Computability Theory, Sofia, August 6-7.
The logic group at Sofia University is organizing
an informal workshop on computability theory
immediately after the end of the Logic Colloquium
2009. The workshop is planned as a series of
lectures given by invited speakers. Everyone
interested in computability theory is invited to
extend their stay in Sofia by a couple of days
and attend the workshop. There will be no
additional registration fee. People intending to
attend the workshop should notify the organizers per email:
Mariya Soskova at msoskova at gmail.com or
Alexandra Soskova at lc2009 at fmi.uni-sofia.bg
Extended deadlines for grant applications and abstract
submissions.
The ASL will make available modest travel awards
to graduate students in logic and to recent
PhD~Qs to attend the 2009 ASL European Summer
Meeting in Sofia, Bulgaria. The European Summer
Meeting is also supported by a grant from the US
National Science Foundation; NSF funds may be
awarded only to students at USA universities and
to citizens and permanent residents of the USA.
Applications and recommendations must be received
before the deadline of April 15, 2009, by e-mail
at lc2009 at fmi.uni-sofia.bg or by regular mail
at
LC2009
Alexandra Soskova
Dept. of Math Logic
Faculty of Mathematics and Informatics
Sofia University
boul. James Bourchier 5
1164, Sofia
Bulgaria
The Programme Committee cordially invites all researchers to submit
contributed papers that have logic research content that lies within
the scope of the interests of the ASL.
Submission Deadline: 30 April 2009
Notification of Authors: 15 May 2009
The abstracts of the contributed talks will be
published in The Bulletin of Symbolic Logic if at
least one of the authors is a member of ASL. The
rules for abstract submission can be found at the
conference webpage http://lc2009.fmi.uni-sofia.bg.
Confirmed special session speakers.
The following special session speakers have confirmed:
Logic and Category Theory: Steve Awodey, Andrej Bauer, Richard Blute.
Computability Theory: Serikzhan Badaev, George Barmpalias, Denis
Hirschfeldt, Andrei Morozov.
Model Theory, New Directions in Classification Theory: Hans Adler,
Yevgeniy Vasilyev, Antongiulio Fornasiero, Alf Onshuus.
Philosophical Logic: Philippe Balbiani, Roman Kontchakov, Istvan
Nemeti, Frank Wolter.
Set Theory: Grigor Sargysan, Dima Sinapova, Martin Zeman.
General information on the Logic Colloquium
The Logic Colloquium is the annual European conference on logic,
organised under the auspices of the Association for Symbolic Logic
(ASL).
The main events in this year's conference are as follows:
Goedel lecture:
* Richard A. Shore (Cornell University)
Tutorials:
* Ulrich Kohlenbach (Technische Universitat Darmstadt)
* Andre Nies (University of Auckland)
* Ralf Schindler (Universitat Munster)
Plenary talks:
* Elisabeth Bouscaren (Universite Paris-Sud 11)
* S. Barry Cooper (University of Leeds),
* Thierry Coquand (University of Gothenburg),
* Ilijas Farah (York University)
* Valentina S. Harizanov (George Washington University)
* Stephan Kreutzer (Oxford University)
* David W. Kueker (University of Maryland)
* Benjamin Miller
* Itay Neeman (University of California Los Angeles)
* Dana S. Scott (Carnegie Mellon University)
* Katrin Tent (University of Munster)
* Jouko Vaananen (University of Amsterdam)
Special sessions:
Logic and Category Theory (Co-chairs: S. Abramsky, S. Shapiro)
Computability Theory (Co-chairs: K. Ambos-Spies, I. Soskov)
Model Theory, New Directions in Classification Theory
(Co-chairs: E. Hrushovski, M. Otero)
Philosophical Logic (Co-chairs: D. Vakarelov, M. Zakharyashev)
Set Theory (Co-chairs: M. Goldstern, H. Woodin)
The poster of the event can be downloaded from
http://lc2009.fmi.uni-sofia.bg/static/lc2009poster_web.pdf
PROGRAMME COMMITTEE:
Samson Abramsky, Klaus Ambos-Spies, Joan Bagaria (Chair), Fernando
Ferreira, Martin Goldstern, Erich Graedel, Ehud Hrushovski, Tapani
Hyttinen, Yiannis Moschovakis, Margarita Otero, Stewart Shapiro,
Ivan Soskov and W. Hugh Woodin
ORGANIZING COMMITTEE:
Alexandra Soskova (Chair), Dimitar Dobrev, Dimitar Guelev, Lyubomir
Ivanov, Stela Nikolova, Solomon Passy, Dimitar Shiyachki, Mariya
Soskova, Mitko Yanchev, Anton Zinoviev
=========================================================================
2. (from Jianer Chen) Theory and Applications of Models of Computation (TAMC):
TAMC 2009: Call for Participation
Theory and Applications of Models of Computation
(TAMC) is an international conference series with
an interdisciplinary character, bringing together
researchers working in computer science,
mathematics (especially logic) and the physical
sciences. This cross-disciplinary character,
together with its focus on algorithms, complexity
and computability theory, gives the conference a special favor and distinction.
The 6th conference in the series, TAMC 2009, will
take place May 18-22, 2009 at Central South
University, Changsha, China. The scientific
program of the conference will include three
plenary lectures, two invited special sessions,
and 39 contributed presentations.
Plenary Lectures
================
Neural Computations that Support Long Mixed
Sequences of Knowledge Acquisition Tasks -
L. Valiant (Harvard University, USA)
Constraints, Graphs, Algebra, Logic, and Complexity -
M. Vardi (Rice University, USA)
Distributed Systems and their Environments -
M. Hennessy (Trinity College Bublin, Ireland)
Invited Special Session on Models of Computation
================================================
D. Browne (Imperial College, London, UK)
A. Carbone (University Pierre et Marie Curie, France)
S. B. Cooper (University of Leeds, UK)
A. Sorbi (University of Siena, Italy)
Invited Special Session on Algorithms and Complexity
====================================================
J. Guo (Friedrich-Schiller-Universitat Jena, Germany)
I. Kanj (DePaul University, USA)
H. Fernau (University of Trier, Germany)
B. Zhu (Montana State University, USA)
For more detailed information about the
conference program, please visit the conference website at
http://netlab.csu.edu.cn/TAMC09/.
A post-conference 3-day tour to Zhangjiajie
National Park has also been arranged. Zhangjiajie
is a rising tourist city famous for its unique
natural scenery and abundant tourism resources.
It was listed in the World Natural Heritage
Catalogue by the UNESCO in 1992, and was awarded
the title of World Geological Park in 2004.
We cordially invite your participation in TAMC
2009, and look forward to meeting in Changsha,
one of the oldest cities with rich historical heritages in China.
Important Dates
Early Registration Deadline: April 30, 2009
Conference Dates: May 18-22, 2009
Tour to Zhangjiajie: May 22-24, 2009.
=========================================================================
3. (from Felix Costa) UC 2009 - 8th International
Conference on UNCONVENTIONAL COMPUTATION:
LAST CALL FOR PAPERS / POSTERS
UNCONVENTIONAL COMPUTATION UC' 09
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
UC 2009
8th International Conference on UNCONVENTIONAL
COMPUTATION Ponta Delgada, PORTUGAL September 7-11, 2009
Deadline for submissions: April 10th, 2009
Conference Poster and Call for Papers/Posters can
be downloaded from the Conference Homepage: http://www.uc09.uac.pt .
TAKE A LOOK TO OUR WEBSITE
-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
Original papers or posters are solicited in all
areas of unconventional computation. Papers
dealing with theory as well as with experiments
and applications are welcome. Typical, but not exclusive, topics are:
- Amoeba-based computing
- Analogue computation
- Ant networks
- Algorithmic cooling
- Cellular automata
- Church-Turing thesis
- Cornerstones of the halting problem
- Diophantine equations
- Dynamic system computing
- Ergodic system computing
- Evolutionary computation
- Genetic networks
- Immune networks
- Molecular computing
- Nanocomputing
- Natural Computing
- Neural Computing
- Non-standard lambda-calculus and logics
- Optical computing
- P systems
- Reaction-diffusion computing
- Self-assembly
- Tiles
- Quantum computation
- Quantum protocols
- Unconventional Turing machines (infinite-time, relativistic, bio, etc.)
- Undecidability in Physical Theories
All researchers in the area of the conference are
kindly invited to submit their papers (at most 12
pages) electronically, via EASYCHAIR:
http://www.easychair.org/conferences/?conf=uc09 .
The submissions of papers are expected to be in
PDF format using the suitable class files of
Springer LNCS. Joint submissions to other
conferences are not permitted. Each accepted
paper must be presented at the conference. The
proceedings will be published by Springer LNCS
series and will be available at the conference.
Selected papers will be invited for Special Issues of well known Journals.
We also encourage physicists, chemists, and
biologists (students or senior researchers) to
submit a poster (standard size A1 or 1 or 2 x
A2). Posters should be focused on experimental
laboratory prototypes of non-standard computing devices.
The submissions of posters are also expected to
be in PDF format. The author is responsible for
printing out the poster. To submit a poster you
should go to EASYCHAIR and choose the special
topic "POSTERS" instead of a thematic topic.
Submissions Due: April 10th, 2009
Notification: May 8th, 2009
Final Versions Due: June 5th, 2009
Contributed papers/posters will be selected from
submissions received by the PROGRAMME COMMITTEE consisting of
- Andrew ADAMATZY, UWE Bristol, UK
- Selim AKL, Queen's University, Canada
- Masashi AONO, RIKEN Advanced Science Institute, Japan
- Edwin BEGGS, Swansea University, UK
- Olivier BOURNEZ, Ecole Polytechnique, France
- Mark BURGIN, University of California, Los Angeles, USA
- Cristian S. CALUDE, University of Auckland, New Zealand
- Luca CARDELLI, Microsoft Research Cambridge, UK
- S. Barry COOPER, University of Leeds, UK
- Jose Felix COSTA (co-chair), Tech. Univ. of
Lisbon and Swansea Univ., Portugal and UK
- James CRUTCHFIELD, Complexity Sciences Center,
Univ. of California at Davis, USA
- Martin DAVIS, Prof. Emeritus, New York
University and Visiting Scholar, Berkeley, USA
- Nachum DERSHOWITZ (co-chair), Tel Aviv University, Israel
- Michael DINNEEN, University of Auckland, New Zealand
- Gilles DOWEK, Ecole Polytechnique and INRIA, France
- Rudolf FREUND, Vienna University of Technology, Austria
- Dina Q. GOLDIN, Brown University, USA
- Masami HAGIYA, University of Tokyo, Japan
- Mark HOGARTH, University of Cambridge, UK
- Natasha JONOSKA, University of South Florida in Tampa, USA
- Lila KARI, University of Western Ontario, Canada
- Julia KEMPE, Tel Aviv University, Israel
- Yasser OMAR, ISEG, Technical University of Lisbon, Portugal
- Ferdinand PEPER, National Inst. of Information
and Communications Tech., Kobe, Japan
- Mario J. PEREZ-JIMENEZ, University of Seville, Spain
- Petrus H. POTGIETER, University of South Africa, South Africa
- Kai SALOMAA, Queen's University, Canada
- Hava SIEGELMANN, University of Massachusetts
Amherst and Harvard University, USA
- Darko STEFANOVIC, University of New Mexico, USA
- Susan STEPNEY, University of York, UK
- Christof TEUSCHER, Portland State University, USA
- Jon TIMMIS, University of York, UK
CONFERENCE: The first venue of the Unconventional
Computation Conference (formerly called
Unconventional Models of Computation) was
Auckland, New Zealand, in 1998; subsequent sites
of the conference were Brussels, Belgium, in
2000, Kobe, Japan, in 2002, Sevilla, Spain, in
2005, York, United Kingdom, in 2006, Kingston
Ontario, Canada, in 2007, Vienna, Austria, in
2008, and Ponta Delgada (Azores), Portugal, in 2009.
INVITED SPEAKERS:
- Edwin BEGGS (Swansea University): Experimental Computation
- Jarkko KARI (University of Turku): Cellular Automata
- Carlos LOURENCO (University of Lisbon): Brain Dynamics
- Przemyslaw PRUSINKIEWICZ (University of Calgary): Developmental Computing
- Lukas SEKANINA (Brno University of Technology):
Evolvable Hardware: From successful applications
to implications for the theory of computation
TUTORIALS:
- Manuel Lameiras CAMPAGNOLO (Technical
University of Lisbon): Analogue Computation
- James CRUTCHFIELD (University of California at
Davis): Computational Mechanics: Natural Computation and Self-Organization
- Martin DAVIS (Professor Emeritus, New York
University and Visiting Scholar, Berkeley): Diophantine Equations
WORKSHOPS:
- Hyper-computation, Organized by Mike STANNETT (University of Sheffield)
- Novel Computing Substrates, Organized by Andrew
ADAMATZKI (University of West England, Bristol)
- Physics and Computation, Organized by Olivier
BOURNEZ (Ecole Polytechnique), and Gilles DOWEK (Ecole Polytechnique and INRIA)
ORGANIZING COMMMITTEE
- Jose Felix COSTA (chair), Tech. Univ. of Lisbon
and Swansea Univ., Portugal and UK
- Elisabete FREIRE, University of Azores, Portugal
- Matthias FUNK, University of Azores, Portugal
- Luis Mendes GOMES, University of Azores, Portugal
- Helia GUERRA, University of Azores, Portugal
CONTACT ADDRESS:
Elisabete FREIRE
Department of Mathematics
University of Azores
9501-855 Ponta Delgada
Portugal
Phone: (+351) 296 650 506 /Â (+351) 296 650 000
e-mail: freire at uac.pt
=========================================================================
4. (from Peter Hertling) Computability and
Complexity in Analysis 2009 (CCA 2009) - Second CfP:
______________________________________________________________
Second Call for Papers and Announcement
Sixth International Conference on
Computability and Complexity in Analysis 2009 (CCA 2009)
August 18-22, 2009, Ljubljana, Slovenia
Submission deadline: May 11, 2009
______________________________________________________________
Invited Speakers
* Mark Braverman (Cambridge, USA)
* Vladik Kreinovich (El Paso, USA)
* Dana Scott (Pittsburgh, USA)
* Ning Zhong (Cincinnati, USA)
Scientific Program Committee
* Andrej Bauer (Ljubljana, Slovenia)
* Vasco Brattka (Cape Town, South Africa)
* Mark Braverman (Cambridge, USA)
* Pieter Collins (Amsterdam, The Netherlands)
* Peter Hertling, co-chair (Munich, Germany)
* Hajime Ishihara (Ishikawa, Japan)
* Ker-I Ko, co-chair (Stony Brook, USA)
* Robert Rettinger (Hagen, Germany)
* Victor Selivanov (Novosibirsk, Russia)
* Alex Simpson (Edinburgh, Great Britain)
* Dieter Spreen (Siegen, Germany)
* Frank Stephan (Singapore)
* Xizhong Zheng (Glenside, USA)
Organizing Committee
* Andrej Bauer, chair (Ljubljana, Slovenia)
* Iztok Kavkler (Ljubljana, Slovenia)
* Davorin Le¨nik (Ljubljana, Slovenia)
* Matija Pretnar (Ljubljana, Slovenia)
Venue
Faculty of Mathematics and Physics, University of Ljubljana, and
Institute of Mathematics, Physics, and Mechanics, Slovenia
Tutorials
* Martin Escardo (Birmingham, UK)
* Bas Spitters and Russell O'Connor (Eindhoven, The Netherlands)
Submissions
Authors are invited to submit a PDF version of an
extended abstract (typically 10-12 pages) on the following web page:
http://www.easychair.org/conferences/?conf=cca2009
These extended abstracts should be prepared using
the LNCS stylefile of Springer Verlag; see
http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0
Proceedings
Accepted papers will be published in an
electronic proceedings volume in the DROPS series
of Schloss Dagstuhl. In addition, a technical
report containing the accepted papers will be
available at the conference. It is planned to
publish a special issue of some journal dedicated
to CCA 2009 after the conference.
Dates
Submission deadline: May 11, 2009
Notification of authors: June 15, 2009
Final Version: July 13, 2009
Conference Web Page
http://cca-net.de/cca2009/
=========================================================================
5. (from Monika Seisenberger) CALCO-jnr: CALCO Young Researchers Workshop
September 6, 2009, Udine, Italy:
!!! PLEASE FORWARD TO PHD STUDENTS AND YOUNG RESEARCHERS !!!
*------------------------------------------------------------------*
* Call for contributions *
* *
* CALCO-jnr 2009 *
* *
* CALCO-jnr: CALCO Young Researchers Workshop *
* September 6, 2009, Udine, Italy *
*
* * part
of *
* 3rd Conference on Algebra and Coalgebra in Computer Science *
* September 6-12, 2009, Udine, Italy *
* *
*------------------------------------------------------------------*
* Abstract submission: May 8, 2009 *
* Author notification: May 22, 2009 *
* Final abstract due: June 15, 2009 *
* Full paper submission: October 15, 2009 *
*------------------------------------------------------------------*
* http://calco09.dimi.uniud.it/ *
*------------------------------------------------------------------*
=========================================================================
6. (from George Metcalfe) Gentzen Systems and Beyond:
================================================================
GENTZEN SYSTEMS AND BEYOND
TABLEAUX 2009 WORKSHOP
================================================================
6 July 2009
University of Oslo, Norway
http://www.iam.unibe.ch/~kai/Events/GSB2009/
Scope
---------
This is a workshop on Gentzen-style proof
systems, their generalizations, and extensions.
Since the introduction of the Sequent Calculus
and Natural Deduction by Gerhard Gentzen in the
1930s, a wide spectrum of formalisms have been
used to construct proof systems for logics,
including Hypersequents, Display Calculi,
Labelled Deductive Systems, Tableaux, Deep
Inference, and Proof Nets, to name just a few.
The aim of this workshop is to explore and
compare the motivations for and relative merits
of these different approaches. Potential topics for talks include:
* Cut-elimination and its applications, e.g.
decidability, interpolation,
amalgamation, completeness proofs, computational interpretations, etc.
* Scope, limitations, interrelationships, and
philosophical aspects of various formalisms.
A broader aim of the workshop is to build a
bridge between researchers into theoretical
aspects of structural proof theory and the more
application-oriented goals of the Tableaux
community, particularly in cases where the
methods, such as constructing analytic systems, are shared.
Invited speakers
----------------------
Nikolaos Galatos, University of Denver
Alessio Guglielmi, INRIA Grand-Est & University of Bath
Organizers
---------------
Kai Brunnler, University of Bern
George Metcalfe, Vanderbilt University
Submissions
------------------
There will be no fee for attendance at the
workshop. If you would like to give a
talk, please send a one-page abstract to the
organizers at george.metcalfe at vanderbilt.edu by May 15th.
=========================================================================
7. (from Pavlos Peppas) Panhellenic Logic
Conference: Submission Deadline Extension:
Due to numerous requests, the PLS7 submission
deadline has been extended by two weeks. The new
submission deadline is therefore set to April 10, 2009.
Below is the updated CFP (with the new deadline).
===============================================
CALL FOR PAPERS
===============================================
for the
SEVENTH PANHELLENIC LOGIC SYMPOSIUM
(PLS7)
July 15-19, 2009
University of Patras, Patras, Greece
http://www.bma.upatras.gr/pls7/
================================================
PAPER SUBMISSION DEADLINE: April 10, 2009 (NEW)
================================================
The Panhellenic Logic Symposium is a biannual scientific event established
in 1997. It is open to researchers worldwide who work in Logic broadly
conceived. The Seventh Panhellenic Logic Symposium will be hosted at the
Conference Center of the University of Patras. The scientific program of the
symposium will consist of hour-long invited talks, tutorials and
presentations of accepted contributed papers.
FEATURED AREAS
The featured areas include, but are not limited to, the following (in
alphabetical order):
- Algebraic logic
- Foundational interactions between Logic, Computer Science and Mathematics
- Logic in AI
- Logic in Computer Science
- Modal Logics
- Model Theory
- Non-classical Logics
- Philosophy of Logic
- Residuated Structures
- Recursion Theory
- Set Theory
- Substructural Logics
The purpose of the conference is to bring
together researchers from these fields to foster
collaboration and further research.
PAPER SUBMISSION
Submitted papers should report on original
research work that falls within the scope of the
symposium. Authors are invited to submit a paper
not exceeding five pages by 10 April 2009. Papers
must be written in English and must be formatted
according to the PLS7 guidelines. The first page
should include title; names of authors; the
affiliation, address, email of the corresponding
author; abstract (up to 200 words); and at least
three keywords describing the topic of the paper.
All papers should be submitted electronically at
EasyChair (https://www.easychair.org/login.cgi?conf=pls7).
Submitted papers will be reviewed by the PLS7
scientific committee. Accepted papers will be
presented at the Symposium by one of their
authors, and they will be included in the Symposium proceedings.
IMPORTANT DATES
- Abstract Submission Deadline: April 10, 2009 (NEW)
- Acceptance Notification: May 15, 2009
- Camera Ready Papers Deadline: June 12, 2009
- Conference Dates: July 15-19, 2009
INVITED SPEAKERS
- Pantelis Eleftheriou, University of Lisbon
- Nick Galatos, University of Denver
- Mai Gehrke, Radboud University Nijmegen
- Chrysafis Hartonas, Technological Educational Institute of Larissa
- David Makinson, London School of Economics
- Alberto Marcone, University of Udine
- Yuri I. Manin, Max Planck Institute for Mathematics and Northwestern
University
- Tinko Tinchev, Sofia University
- Yde Venema, University of Amsterdam
- George Voutsadakis, Lake Superior State College
SCIENTIFIC COMMITTEE
- Jim Delgrande, Simon Fraser University
- Costas Dimitracopoulos, University of Athens
- Josep Maria Font, University of Barcelona
- Kostas Hatzikyriakou, University of Thessaly
- Antonis Kakas, University of Cyprus
- Panagis Karazeris, University of Patras
- Giorgos Koletsos, National Technical University of Athens
- George Metakides, University of Patras
- Joan Moschovakis, Occidental College
- Hiroakira Ono, Japan Advanced Institute of Science and Technology
- Thanases Pheidas, University of Crete
- Alexandra Soskova, Sofia University
- Constantine Tsinakis (Chair), Vanderbilt University
- Athanassios Tzouvaras, University of Thessaloniki
- Mary-Anne Williams, University of Technology, Sydney
- Stathis Zachos, National Technical University of Athens
ORGANIZING COMMITTEE
- Costas Drossos (co-chair), University of Patras
- Anastasios - Michael Fotinopoulos, University of Patras
- Panagis Karazeris, University of Patras
- Lefteris Kirousis, University of Patras
- Eftichis Papadopetrakis, University of Patras
- Pavlos Peppas (co-chair), University of Patras
HOTEL RESERVATIONS
Hotel accommodations are offered by several hotels of various categories in
Patras, Rio and the surrounding area. Participants will need to communicate
directly with the selected hotels to secure their reservations. The
conference web site contains detailed information for contacting the hotel
of your choice.
FURTHER INFORMATION
Information about PLS7 can be found at the conference web site at
http://www.bma.upatras.gr/pls7/
E-mail inquiries about PLS7 should be directed to the co-chairs of local
organizing committee: Costas Drossos (cdrossos at upatras.gr) or Pavlos Peppas
(pavlos at upatras.gr)
=========================================================================
8. (from Roy Dyckhoff) PRNCL 2009 - Workshop on
Proofs and Refutations in Non-Classical Logics:
PRNCL 2009 - Workshop on Proofs and Refutations in Non-Classical Logics
(affiliated with Tableaux 2009)
Call for Papers
July 6, 2009, Oslo, Norway
http://www.loria.fr/~galmiche/PRNCL09.html
* There are various ways to design a refutation-based deduction system.
Deduction systems where refutations completely replace proofs as first-class
citizens, with a set of rules inductively defining refutation trees; systems
combining proof-rules and refutation mechanisms (or criteria) which can
occur at various levels of the proof-search process; systems where
provability and refutability play dual roles, i.e., proofs and refutations
are both first-class citizens; systems where refutations are understood as
mechanisms that build counter-models: for example, semantic information is
collected and may converge to a counter-model as the search process evolves.
Such approaches are applicable to a wide range of logics like sub-structural
logics, intermediate logics and their extensions, modal or temporal logics,
even to type theory. The deduction systems can be based on various
structures/methods: sequents, tableaux, natural deduction, connections,
proof-nets, games, etc.
The aim of the workshop is to provide a forum of discussion between
researchers interested in non-classical logics in the perspective of proof
and refutation systems.
* Detailed information about topics and submission can be found on the
web page.
* Program Committee : R. Dyckhoff (Univ. St Andrews, Scotland);
C. Fermueller (T.U. Wien, Austria); D. Galmiche (LORIA - UHP, France);
D. Larchey-Wendling (LORIA - CNRS, France); F. Pfenning (CMU
Pittsburgh, USA); A. Waaler (Univ. Oslo, Norway)
* Important dates: extended abstract submission: May 15, 2009; Notification:
June 2, 2009.
=========================================================================
9. (from Erik Palmgren) Conference on Philosophy
and Foundations of Mathematics, May 5-8, 2009 (2nd announcement):
Philosophy and Foundations of Mathematics :
Epistemological and Ontological Aspects,
at the Swedish Collegium for Advanced Study,
Uppsala, May 5-8, 2009
- a conference dedicated to Per Martin-Lof
on the occasion of his retirement.
Speakers
Peter Aczel: TBA
Mark van Atten: Different times: Kant and Brouwer on real numbers
Steve Awodey: Type theory and homotopy theory
Thierry Coquand: Forcing and type theory
Peter Dybjer: Program testing and constructive validity
Juliet Floyd: Wittgenstein, Gödel and Turing
Jean-Yves Girard: Towards non-commutative foundations
Sten Lindstr0m: The Curry-Fitch's knowability paradox revisited
Per Martin-L0f: Logic: epistemological or ontological?
Colin McLarty: Identity and existence in categorical foundations
Peter Pagin: Assertion, truth and judgment
Erik Palmgren: Formal topology and foundational problems
Christine Paulin-Mohring: Reasoning on randomized programs in Coq
Jan von Plato: Aristotles deductive logic: a proof-theoretical study
Dag Prawitz: TBA
Aarne Ranta: Levels of abstraction in language and logic
Michael Rathjen: The boundaries of intuitionistic type theory
Giovanni Sambin: A minimalist foundation of mathematics
Anton Setzer: Coalgebras as types determined by their elimination rules
Stewart Shapiro: An "i" for an i: singular terms, uniqueness
and reference
Wilfried Sieg: Reductive structuralism
Jan Smith: Can Hume's analysis of causality tell us something about the
rules of logic?
Soren Stenlund: On the notion finite numbers
Goran Sundholm: Three key-features of Martin-Lof's philosophy of logic
William Tait: The myth of intuition
Jouko Vaananen: Second order logic, set theory and
foundations of mathematics
Scope and aim
The aim of the conference is to bring together philosophers,
mathematicians, and logicians to penetrate current and historically
important problems in the philosophy and foundations of
mathematics. Swedish logicians and philosophers have made important
contributions to the foundations and philosophy of mathematics, at
least since the end of the 1960s. In philosophy, one has been
concerned with the opposition between constructivism and classical
mathematics and the different ontological and epistemological views
that are reflected in this opposition. A central philosophical
question concerns the nature of the abstract entities of mathematics:
do they exist independently of our epistemic acts (realism, or
Platonism) or are they somehow constituted by these acts (idealism)?
Significant contributions have been made to the foundations of
mathematics, for example in proof theory, proof-theoretic semantics
and constructive type theory. These contributions have had a strong
impact on areas of computer science, e.g. through Martin-Lof's type
theory.
Two important alternative foundational programmes that are actively
pursued today are predicativistic constructivism and
category-theoretic foundations. Predicativistic constructivism can be
based on Martin-Lof constructive type theory, Aczel's constructive set
theory, or similar systems. The practice of the Bishop school of
constructive mathematics fits well into this framework. Associated
philosophical foundations are meaning theories in the tradition of
Wittgenstein, Dummett, Prawitz and Martin-Lof. What is the relation
between proof-theoretical semantics in the tradition of Gentzen,
Prawitz, and Martin-Lof and Wittgensteinian or other accounts of
meaning-as-use? What can proof-theoretical analysis tell us about the
scope and limits of constructive and (generalized) predicative
mathematics? To what extent is it possible to reduce classical
mathematical frameworks to constructive ones? Such reductions often
reveal computational content of classical existence proofs. Is
computational content enough to solve the epistemological questions?
A central concern for the conference will be to compare the different
foundational frameworks - classical set theory, constructive type
theory, and category theory - both from a philosophical and a logical
point of view. The general theme of the conference, however, will be
broader and encompass different areas of philosophy and foundations of
mathematics, in particular the interplay between ontological and
epistemological considerations.
Venue
The workshop will take place at the Swedish Collegium for Advanced
Study (SCAS), Linneanum, Thunbergsvagen 2, Uppsala, Sweden.
Organization and programme committee
Peter Dybjer, Sten Lindstrom, Erik Palmgren (Chair), Dag Prawitz,
Soren Stenlund, Viggo Stoltenberg-Hansen.
Programme
The scientific programme starts at 10.00 on Tuesday, May 5 and ends at
16.00 on Friday, May 8. A conference dinner is planned for Friday
evening. More details about the programme will appear in a few weeks.
Attendance
Attendance is open, and there is no registration fee. However, anyone
planning to attend should preregister by emailing PFM at math.uu.se no
later than April 15, 2009. (For reasons of space the number of
participants will be limited to 90.)
Sponsors
Swedish Research Council (Vetenskapsrådet) - Department of
Mathematics, Stockholm University - Department of Philosophy,
Stockholm University - Department of Mathematics, Uppsala
University - Centre for Interdisciplinary Mathematics, Uppsala
University - Department of Philosophy, Uppsala University -
Department of Computer Science and Engineering, Chalmers University of
Technology and Gothenburg University - The Swedish Collegium for
Advanced Study, Uppsala - Swedish National Committee for Logic,
Methodology and Philosophy of Science.
Webpage
http://www.math.uu.se/PFM/
=========================================================================
10. (from Sonja Smets) CFP: Special Issue of
Studia Logica on Logic and the Foundations of Physics:
Special Issue of Studia Logica:
The Contributions of Logic to the Foundations of Physics
TRENDS in LOGIC VI
** CALL FOR PAPERS **
Further to the Studia Logica International Conference Trends in
Logic VI, held in Brussels on December 11 - 12, 2008, we
cordially invite you to submit a paper for a special issue of
Studia Logica devoted to Logic and the Foundations of Physics.
We specifically, though not exclusively, invite contributions
on the following topics:
- The use of techniques originating from classical logic, modal
logic and multi-dimensional modal logics, spatial logic,
dynamic logic, temporal logic, epistemic logic, linear logic
and other resource-sensitive logics, intuitionistic logic, game
logics, process algebras, co-algebraic logics, categorical
logics, many-valued logics, quantum logics etc. to formalize
physical theories or to reason about their concepts, phenomena
and/or applications.
- Logical techniques used in quantum information theory,
including quantum computation, quantum communication, quantum
cryptography and quantum programming.
- Philosophical contributions on the meaning of concepts such
as truth, consequence, completeness, implication and (quantum)
information viewed at the interface of Logic and Physics.
- Open problems in modern physics, soliciting new techniques
from logic, computation or information theory.
- Explorations on how to use new formal methods in combination
with insights and interpretations in the philosophy of physics
to yield new perspectives on the main foundational issues and
open problems in modern physics.
- Answers to the questions: "What can physics learn from
logic?" and/or "What can logic learn from physics?"
SUBMISSION OF PAPERS:
Submitted papers should not exceed 20 pages (including
bibliography), and should be formatted according to the Studia
Logica LaTeX style (see Information for Authors at the Studia
Logica website http://www.studialogica.org/). Only electronic
submissions prepared with this style file will be considered.
The authors should send an e-mail with subject "Studia Logica
Submission" to Sonja Smets (sonsmets at gmail.com) with the file
of the paper in attachment (attach both the "tex" and "pdf"
files), and give the following information in the body of the
mail in plain text: paper title, author names, surface mail,
e-mail address and phone number of the contact author and a
short abstract.
DEADLINE FOR SUBMISSION OF MANUSCRIPTS: May 31, 2009
All papers will be refereed according to the standards of the
journal.
On Behalf of The Guest editors:
Diederik Aerts, Sonja Smets and Jean Paul Van Bendegem
PDF version of this CfP is available at
http://www.StudiaLogica.org/cfp-SonjaSmets.pdf
=========================================================================
11. (from Ron Shamir) Postdoctoral positions in algorithmic bioinformatics:
Two postdoctoral fellowships are available at the group of Prof. Ron Shamir,
School of Computer Science, Tel Aviv University. The group specializes in
design, analysis and implementation of algorithms for biology and medicine
using graph algorithms and statistical techniques.
We are seeking inventive, independent, and highly motivated researchers.
Postdoc candidates must have a strong quantitative background, a PhD in
Computer Science, Mathematics, Physics or Engineering. A strong background
in bioinformatics and algorithms is an advantage.
For more details about the research group see http://acgt.cs.tau.ac.il
Please email a CV and a one-page summary of current and past research to
Mrs. Gilit Zohar-Oren,
School of Computer Science,
Tel Aviv University,
Tel Aviv, 69978 Israel.
Telephone +972 3 6405370
Email: gilit at post.tau.ac.il
=========================================================================
12. (from Noam Greenberg) Effective Mathematics of the Uncountable (EMU 2009):
Effective Mathematics of the Uncountable (EMU 2009)
August 17-21, 2009
The CUNY Graduate Center
365 Fifth Avenue, New York City
Although classical computable model theory is
most naturally concerned with countable domains,
several methods---some old, some new---extend its
basic concepts to uncountable structures. The
purpose of this workshop is to study these
various extensions of effectivity to the
uncountable, bringing together experts in such
topics as sigma-definable structures,
alpha-recursion theory, E-recursion thoery,
ordinal computability, Blum-Shub-Smale machines,
infinite time Turing machines and locally computable structures, among others.
This workshop is the second of its kind, after
the inaugural EMU in 2008. In the 2009 workshop
we plan to provide tutorial-type introductions to
models of computation which were not discussed
last year, as well as discuss progress made since
last year. A particular theme we plan to focus on
is the role of a computable well-ordering of the
universe of a structure. We will contrast the
approaches which allow such an ordering with
those which forbid it. We expect this will have
methodological repercussions for the study of
effective model theory on countable structures as well.
Organizers:
Noam Greenberg, Noam.Greenberg at mcs.vuw.ac.nz
Joel Hamkins, jdh at hamkins.org
Denis Hirschfeldt, drh at math.uchicago.edu
Russell Miller, Russell.Miller at qc.cuny.edu
This EMU workshop is funded by a generous grant
from the Templeton Foundation, a part of their
program Exploring the Infinite, Phase I: Mathematics and Mathematical Logic.
All interested participants are welcome to attend
the workshop. There is no registration fee.
Limited funds are available to support graduate
student and junior faculty participants. Please
contact Denis Hirschfeldt or the other organizers about travel funding.
=========================================================================
13. (from Igor Potapov) LIX Colloquium: 3rd
WORKSHOP ON REACHABILITY PROBLEMS, RP'2009:
++++++++++ Submissions: April 23, 2009 +++++++++++++
LIX Colloquium:
3rd WORKSHOP ON REACHABILITY PROBLEMS, RP'2009
(September 23-25, 2009, Ecole Polytechnique, France)
---------------------------------------------------
==== Deadline for submissions: April 23, 2009 ====
==== Proceedings will be published in the ====
==== Springer LNCS series ====
---------------------------------------------------
http://www.lix.polytechnique.fr/rp09
The annual fall colloquium organized by the Computer Science
Laboratory of Ecole Polytechnique (LIX) will host Reachability
Problems RP'2009.
Reachability Problems RP'2009 will take place at Ecole Polytechnique
(on-site at Palaiseau, a suburb district of Paris).
Papers presenting
original contributions related to reachability problems in different
computational models and systems are being sought.
The Reachability Problems Workshop is specifically aimed at gathering
together scholars from diverse disciplines and backgrounds
interested in reachability problems that appear in
- Algebraic structures
- Computational models
- Hybrid systems
- Verification
Invited Speakers:
================
- Ahmed Bouajjani ( University of Paris 7 )
- Thomas A. Henzinger ( EPFL in Lausanne )
- Oded Maler ( VERIMAG )
- Alexander Shen ( CNRS Marseille )
- Moshe Y. Vardi ( Rice University )
Submissions:
============
Papers presenting original contributions related to
reachability problems in different computational models
and systems are being sought.
Topics of interest include (but are not limited to):
Reachability problems in infinite state systems,
rewriting systems, dynamical and hybrid systems;
reachability problems in logic and verification;
reachability analysis in different computational
models, counter/ timed/ cellular/ communicating
automata; Petri-Nets; computational aspects of
algebraic structures (semigroups, groups and rings);
frontiers between decidable and undecidable problems;
predictability in iterative maps and new
computational paradigms.
Authors are invited to submit a draft of a full paper
with at most 12 pages formatted according to LNCS guidelines.
Proofs omitted due to space constraints must be put into an
appendix to be read by the program committee members at their
discretion. Submissions deviating from these guidelines risk
rejection. Electronic submissions should be formatted in pdf.
Simultaneous submission to other conferences or workshops with
published proceedings is not allowed.
Proceedings
=============
The proceedings will be published in the Springer Verlag LNCS series
and distributed during the conference. Selected papers will be
invited to the special issue of a high quality journal devoted to RP 2009.
Important dates:
================
- Submission: April 23, 2009
- Notification: May 30, 2009
- Final version: June 15, 2009
- Workshop: Sept. 23-25, 2009
Program Committee:
================
- Parosh Aziz Abdulla, Uppsala
- Luca de Alfaro, Santa Cruz
- Eugene Asarin, Paris
- Vincent Blondel, Louvain
- Bernard Boigelot, Liege
- Ahmed Bouajjani , Paris
- Olivier Bournez, Palaiseau
- Cristian S. Calude, Auckland
- Javier Esparza, Munchen
- Laurent Fribourg, Cachan
- Vesa Halava, Turku
- Franjo Ivancic, Princeton
- Oscar Ibarra, Santa Barbara
- Alexei Lisitsa, Liverpool
- Maurice Margenstern, Metz
- Igor Potapov, Liverpool
- Colin Stirling, Edinburgh
- Wolfgang Thomas, Aachen
- Hsu-Chun Yen, Taipei
Workshop Organizers:
====================
- Olivier Bournez (Ecole Polytechnique)
- Igor Potapov (University of Liverpool)
with the help of the local organizers of
the 2009 edition of the LIX colloquium.
Contact:
================
3rd Workshop on Reachability Problems 2009 - RP'09
Olivier Bournez: bournez at lix.polytechnique.fr
Igor Potapov: potapov at liverpool.ac.uk
http://www.lix.polytechnique.fr/rp09
=========================================================================
Items for the next CiE Newsletter should be sent to pmt6sbc at leeds.ac.uk
to arrive by April 12, 2009
-------------------------------------------------------------------------
More information about the FOM
mailing list