[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