[FOM] [CiE] Newsletter No.3, January 2, 2009
S B Cooper
pmt6sbc at maths.leeds.ac.uk
Fri Jan 2 17:41:45 EST 2009
CiE Newsletter No.3, January 2, 2009
___________________________________________________________________________
CONTENTS:
1. Sixth International Conference on
Computability and Complexity in Analysis 2009 (CCA 2009)
2. Twenty-fourth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2009)
3. 6th QPL workshop on Quantum Physics and Logic
4. The Portuguese partner of the DiFoS
(Dialogical Foundations of Semantics) project
offers a Post-Doc grant for (up to) 36 months
===========================================================================
1. (from Peter Hertling) Sixth International
Conference on Computability and Complexity in Analysis 2009 (CCA 2009)
______________________________________________________________
First 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
______________________________________________________________
Scientific Program Committee
* Andrej Bauer (Ljubljana, Slovenia)
* Vasco Brattka (Cape Town, South Africa)
* Mark Braverman (Microsoft Research New England, USA)
* Pieter Collins (Amsterdam, The Netherlands)
* Peter Hertling, co chair (Neubiberg, 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)
Local Organizer
* Andrej Bauer (Ljubljana, Slovenia)
Venue
The University of Ljubljana, Slovenia
Tutorials
It is planned to have a tutorial session with an emphasis
on the relation between computable analysis and practical
real number computing.
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
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/
______________________________________________________________
===========================================================================
2. (from Stephan Kreutzer) Twenty-fourth Annual
IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2009):
Twenty-fourth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS 2009)
Call for Papers
August 11--14, 2009,
Los Angeles, California, USA
http://www.informatik.hu-berlin.de/lics/
Colocated with the 16th International
Static Analysis Symposium (SAS 2009),
August 9--11
The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic broadly
construed. We invite submissions on topics that fit under that
rubric. Suggested, but not exclusive, topics of interest for
submissions include: automata theory, automated deduction, categorical
models and logics, concurrency and distributed computation, constraint
programming, constructive mathematics, database theory, domain theory,
finite model theory, formal aspects of program analysis, formal
methods, higher-order logic, hybrid systems, lambda and combinatory
calculi, linear logic, logical aspects of computational complexity,
logical frameworks, logics in artificial intelligence, logics of
programs, logic programming, modal and temporal logics, model
checking, probabilistic systems, process calculi, programming language
semantics, proof theory, reasoning about security, rewriting, type
systems and type theory, and verification. We welcome submissions in
emergent areas, such as bioinformatics and quantum computation, if
they have a substantial connection with logic.
Important Dates:
Titles & Short Abstracts Due: January 12, 2009
Extended Abstracts Due: January 19, 2009
Author Notification: March 19, 2009
Camera-ready Papers Due: May 25, 2009.
Submission information:
Authors are required to submit a paper title and a short abstract of
about 100 words before submitting the extended abstract of the
paper. All submissions will be electronic.
All deadlines are firm; late submissions will not be considered.
Submission is open at
http://www.easychair.org/conferences/?conf=lics09
See below for detailed submission instructions.
Affiliated Workshops:
There will be five workshops affiliated with LICS 2009;
information will be posted shortly the LICS website.
Program Chair:
Andrew Pitts
Computer Laboratory
University of Cambridge, UK
Andrew.Pitts at cl.cam.ac.uk
Program Committee:
Rance Cleaveland, University of Maryland
Karl Crary, Carnegie Mellon University
Rocco De Nicola, Univ. degli Studi di Firenze
Gilles Dowek, Ecole polytechnique
Neil Immerman, University of Massachusetts
Radha Jagadeesan, DePaul University
Claude Kirchner, INRIA
Marta Kwiatkowska, Oxford University
Benoit Larose, Concordia University
Soren Lassen, Google Inc.
Leonid Libkin, University of Edinburgh
Paul-Andre Mellies, CNRS & Univ. Paris Diderot
Eugenio Moggi, Università di Genova
Andrzej Murawski, Oxford University
Gopalan Nadathur, University of Minnesota
Prakash Panangaden, McGill University
Madhusudan Parthasarathy, UI Urbana-Champaign
Nir Piterman, Imperial College London
Andrew Pitts, University of Cambridge
Francois Pottier, INRIA
Vijay Saraswat, IBM TJ Watson Research Center
Lutz Schroeder, DFKI-Lab Bremen
Nicole Schweikardt, Univ Frankfurt am Main
Alwen Tiu, Australian National University
Hongseok Yang, Queen Mary Univ. of London
Conference Chair:
Jens Palsberg, UCLA
Los Angeles, California, USA
palsberg at ucla.edu
Workshops Chairs:
Adriana Compagnoni, Stevens Inst. of Technology
Philip J. Scott, University of Ottawa
Publicity Chairs:
Stephan Kreutzer, University of Oxford
Nicole Schweikardt, Universitat Frankfurt am Main
General Chair:
Martin Abadi, Microsoft Research Silicon Valley and
University of California, Santa Cruz
Organizing Committee:
M. Abadi (chair), S. Abramsky, G. Ausiello, F. Baader,
S. Brookes, S. Buss, E. Clarke, A. Compagnoni, H. Gabow, J. Giesl,
R. Jagadeesan, A. Jeffrey, J.-P. Jouannaud, P. Kolaitis,
S. Kreutzer, R. E. Ladner, J. A. Makowsky, J. Marcinkowski, L. Ong,
F. Pfenning, A. M. Pitts, N. Schweikardt, P. Scott, M. Veanes
Advisory Board:
R. Constable, Y. Gurevich, T. Henzinger, C. Kirchner, D. Kozen,
U. Martin, J. Mitchell, L. Pacholski, V. Pratt, A. Scedrov,
D.S. Scott, M.Y. Vardi, G. Winskel
Submission Instructions:
Every extended abstract must be submitted in the IEEE Proceedings
two-column camera-ready format and may be no longer than 10 pages
including reference with a font size of 10pt. The LaTeX style
files are available at http://www.cl.cam.ac.uk/users/amp12/lics09/.
The abstract must be in English and provide sufficient detail to
allow the program committee to assess the merits of the paper. It
should begin with a succinct statement of the issues, a summary of
the main results, and a brief explanation of their significance and
relevance to the conference and to computer science, all phrased for
the non-specialist. Technical development directed to the specialist
should follow. References and comparisons with related work should
be included. If necessary, detailed proofs of technical results can
be included in a clearly-labeled appendix in the same two-column
format following the 10-page extended abstract or there can be a
pointer to a manuscript on a web site. This material may be read at
the discretion of the program committee. Extended abstracts not
conforming to the above requirements concerning format and length
may be rejected without further consideration.
The results must be unpublished and not submitted for publication
elsewhere, including the proceedings of other symposia or workshops.
The PC chair should be informed of closely related work submitted to
a conference or journal in advance of submission.
All authors of accepted papers will be expected to sign copyright
release forms. One author of each accepted paper will be expected
to present it at the conference.
Short Presentations:
LICS 2009 will have a session of short (10 minute) presentations.
This session is intended for descriptions of work in progress,
student projects, and relevant research being published elsewhere;
other brief communications may be acceptable. Submissions for these
presentations, in the form of short abstracts (1 or 2 pages long),
should be entered at the LICS 2009 submission site in a time frame
to be determined.
Kleene Award for Best Student Paper:
An award in honour of the late S. C. Kleene will be given for the
best student paper, as judged by the program committee. Details
concerning eligibility criteria and procedure for consideration for
this award will be posted at the LICS website. The program
committee may decline to make the award or may split it among
several papers.
Sponsorship:
The symposium is sponsored by the IEEE Technical Committee on
Mathematical Foundations of Computing in cooperation with the
Association for Symbolic Logic, and the European Association for
Theoretical Computer Science.
===========================================================================
3. (from Bob Coecke) 6th QPL workshop on Quantum Physics and Logic:
---------------------------------------------------------
6th QPL workshop on Quantum Physics and Logic
April 8-9, 2009, Oxford, UK
This event has as its goal to bring together researchers working on
mathematical foundations of quantum physics, quantum computing and
spatio-temporal causal structures, and in particular those that use logical
tools, ordered algebraic and category-theoretic structures, formal
languages, semantical methods and other computer science methods for the
study physical behaviour in general. Over the past couple of years there has
been a growing activity in these foundational approaches together with a
renewed interest in the foundations of quantum theory, which complement the
more mainstream research in quantum computation. A predecessor of this
event, with the same acronym, called Quantum Programming Languages, was held
in Ottawa (2003), Turku (2004), Chicago (2005) and Oxford (2006). The first
QPL under the new name Quantum Physics and Logic was held in Reykjavik
(2008); with the change of name and a new program committee we emphasise the
intended much broader scope of this event, aiming to nourish interaction
between modern computer science logic, quantum computation and information,
models of spatio-temporal causality, and quantum foundations, which resulted
in an attractive program.
The event proceeds MFPS 2009, also in Oxford, at which there will a series
of tutorials to enable MFPS participants to also attend and comprehend the
QPL talks.
Invited speakers:
Reinhard Werner (Braunschweig)
Giacomo Mauro D'Ariano (Pavia)
TBA (-)
Workshop co-chairs:
Bob Coecke (Oxford)
Prakash Panangaden (McGill)
Peter Selinger (Dalhousie)
Program Committee:
Howard Barnum (Los Alamos)
Dan Browne (UCL - Londen)
Paul Busch (York)
Bob Coecke (Oxford)
Andreas Doering (Imperial)
John Harding (NMSU)
Viv Kendon (Leeds)
Keye Martin (NRL)
Prakash Panangaden (McGill)
Peter Selinger (Dalhousie)
TBA (-)
Deadlines:
February 13: Submission
February 27: Notification of authors
March 20: Corrected papers due
Webpage:
http://web.comlab.ox.ac.uk/people/Bob.Coecke/QPL_09.html
Webpage of previous Quantum Physics and Logic:
http://web.comlab.ox.ac.uk/people/Bob.Coecke/DCM_QPL_08.html
Papers at previous Quantum Physics and Logic:
http://www.comlab.ox.ac.uk/people/bob.coecke/DCM_QPL_08_accepted.html
Webpage of MFPS XXV:
http://www.math.tulane.edu/~mfps/mfps25.htm
Submission procedure. Prospective speakers are invited to submit a 2-5 pages
abstract which provides sufficient evidence of results of genuine interest
and provides sufficient detail to allows the program committee to assess the
merits of the work. Submissions of works in progress are encouraged but must
be more substantial than a research proposal. We both encourage submissions
of original research as well as research submitted elsewhere. Authors of
accepted original research contributions will be invited to submit a full
paper to a special issue of a journal yet to be decided on. Submissions
should be in Postscript or PDF format and should be sent to Bob Coecke by
February 13, with as subject line QPL Submission. Receipt of all submissions
will be acknowledged by return email. Accepted contributors will be able to
publish extended versions of their 2-5 abstracts in Electronic Notes in
Theoretical Computer Science.
The workshop enjoys support from:
EPSRC Network Semantics of Quantum Computation (EP/E006833/1)
EPSRC ARF The Structure of Quantum Information and its Applications to IT
(EP/D072786/1)
EC Foundational Structures for Quantum Information and Computation
(FP6 STREP QICS)
---------------------------------------------------------
===========================================================================
4. (from Reinhard Kahle) 3 year post-doc grant in Lisbon:
Within the ESF programme LogICCC
(http://www.esf.org/activities/eurocores/programmes/logiccc.html) the
Portuguese partner of the DiFoS (Dialogical Foundations of Semantics)
project offers a Post-Doc grant for (up to) 36 months.
Applications are invited for a Post-Doc grant (Bolsa de
Pos-Doutoramento (BPD)) funded by the Portuguese Fundacao para a
Ciencia e Tecnologia.
The grant is given for one year and can be extended up to three years
(36 months). It is paid according to the stipend regulations of the
Fundacao para a Ciencia e Tecnologia which amounts (in 2008) for
1495 per month.
The grant holder will collaborate in the following sub-projects of
the DiFoS-project:
* Interaction in computer-aided theorem proving
* Dialogues and arguments in mathematical proofs
More information about the project is available at:
http://centria.di.fct.unl.pt/~kahle/logiccc/dacap.html
Any candidate must have a background in theorem proving, from the
mathematical and/or computer science side. Knowledge of the proof
system "Minlog" (http://www.mathematik.uni-muenchen.de/~minlog/) is
desirable, although not formally required.
Candidates will profit from the technical facilities and expertise
available at CENTRIA, at the Faculdade de Ciencias e Tecnologia,
Universidade Nova de Lisboa, where they will be stationed.
Please send, by email, a letter of intent and a detailed curriculum vitae to:
Prof. Reinhard Kahle, kahle at mat.uc.pt
CENTRIA
Universidade Nova de Lisboa
2825-516 Caparica
Portugal
Applications from candidates which are about to finish their PhD soon
are welcome, too. Such an application should indicate a date when the
PhD is planned to be finished.
Application deadline: 20 January 2009
Job/Fellowship Reference: LogICCC-DiFoS-3-2008
===========================================================================
Items for the next CiE Newsletter should be sent to pmt6sbc at leeds.ac.uk
to arrive by January 15, 2009
---------------------------------------------------------------------------
More information about the FOM
mailing list