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@gmail.com or
Alexandra Soskova at lc2009@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@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@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@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@upatras.gr) or Pavlos Peppas
(pavlos@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@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@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@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@mcs.vuw.ac.nz
Joel Hamkins, jdh@hamkins.org
Denis Hirschfeldt, drh@math.uchicago.edu
Russell Miller, Russell.Miller@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@lix.polytechnique.fr
Igor Potapov: potapov@liverpool.ac.uk
http://www.lix.polytechnique.fr/rp09
=========================================================================
Items for the next CiE Newsletter should be sent to pmt6sbc@leeds.ac.uk
to arrive by April 12, 2009
-------------------------------------------------------------------------