From: CiE2007 <cie2007@unisi.it>
To: cie2007@unisi.it
Cc: calendar@acm.org, camilla.schwind@lim.univ-mrs.fr,
caml-list@inria.fr, campos@cs.cmu.edu, carol_logan@vnet.ibm.com,
carsten@cs.cmu.edu, carsten@cs.yale.edu, cattani@brics.dk,
ccl@dfki.de, ccl@dfki.uni-sb.de, cclin@verplex.com,
cdk@it.uc3m.es, cdrossos@math.upatras.gr,
cdz@zblmath.fiz-karlsruhe.de, cenciarelli@dsi.uniroma1.it,
cesabian@dsi.unimi.it, cestluk@polyu.edu.hk,
cf245@dpmms.cam.ac.uk, cfmanski@nwu.edu, charlie@cs.uml.edu,
chaudron@cert.fr, chein@lirmm.fr, chengq@em.tsinghua.edu.cn,
chenno@dic.k8.rt.bosch.de, chezalviel@laas.fr,
chitta@cs.utep.edu, cholvy@cert.fr, christine.paulin@lri.fr,
chuijs@cs.utwente.nl, chungli@cs.colgate.edu, cic@eps.udl.es,
cindye@vnet.ibm.com, cjf@cs.uq.oz.au, cl@informatik.uni-mainz.de,
claesen@imec.be, claudette.cayrol@irit.fr, clote@cs.bc.edu,
clp@comp.nus.edu.sg, colibri@let.uu.nl, comlab@comlab.ox.ac.uk,
comon@lsv.ens-cachan.fr, complog@cs.nmsu.edu,
compulog-deduction@cs.bham.ac.uk, compulog@doc.imperial.ac.uk,
compulognet-parimp@dia.fi.upm.es, compunode@dfki.de,
concurrency@cwi.nl, coppola@dimi.uniud.it,
coq-club@pauillac.inria.fr, coquand@cs.chalmers.se
Subject: CiE2007-Final Call for papers
Date: Wed, 03 Jan 2007 10:21:23 +0100 [thread overview]
Message-ID: <6.0.0.22.1.20070103102119.019ce2e8@mailsrv.unisi.it> (raw)
CiE'07: COMPUTABILITY IN EUROPE 2007
http://www.mat.unisi.it/newsito/cie07.html
University of Siena
Siena, 18 - 23 June 2007
FINAL CALL FOR PAPERS
SUBMISSION DEADLINE: FRIDAY 12 JANUARY, 2007
The CONFERENCE PROCEEDINGS will be published by Springer Lecture Notes in
Computer Science (LNCS). There will also be journal special issues: APAL,
JLC, TCS-C, ToCS - to which full versions of selected submissions to CiE
2007 will be invited to be submitted. For a list of conference topics see:
http://www.amsta.leeds.ac.uk/~pmt6sbc/cie07.descr.html#themes
SUBMISSION OF PAPERS: Jan. 12, 2007
Notification of Authors: Feb. 16, 2007
Deadline for Final Revisions: Mar. 9, 2007
Deadline for Submission of Informal Presentations: Apr. 27, 2007
PLENARY AND TUTORIAL SPEAKERS:
Pieter Adriaans (Amsterdam) Yaakov Benenson (Harvard)
Anne Condon (Vancouver) Stephen Cook (Toronto)
Yuri Ershov (Novosibirsk)
Wolfgang Maass (Graz)
Sophie Laplante (Paris)
Anil Nerode (Cornell)
Roger Penrose (Oxford)
Michael Rathjen (Leeds)
Dana Scott (Carnegie Mellon)
Robert I. Soare (Chicago)
Philip Welch (Bristol)
SPECIAL SESSIONS SPEAKERS:
Eric Allender (Rutgers)
Andrej Bauer (Ljubljana)
Vasco Brattka (Cape Town)
Douglas Bridges (Canterbury, NZ)
John Case (Newark, Delaware)
Pieter Collins (Amsterdam)
Thierry Coquand (Goeteborg)
Felix Costa (Lisbon)
Barbara F. Csima (Waterloo)
Abbas Edalat (London)
Martin Escardo (Birmingham)
Joerg Flum (Freiburg)
Sergey S. Goncharov (Novosibirsk)
Hajime Ishihara (Tokyo)
Natasha Jonoska (Tampa, Florida)
Michal Koucky (Prague)
James Ladyman (Bristol)
Maria Emilia Maietti (Padua)
Giancarlo Mauri (Milan)
Klaus Meer (Odense)
Itamar Pitowsky (Jerusalem)
Robert Rettinger (Hagen)
Grzegorz Rozenberg (Leiden)
Frank Stephan (Singapore)
Neil Thapen (Prague)
Giuseppe Trautteur (Naples)
Heribert Vollmer (Hannover)
Osamu Watanabe (Tokyo)
Jiri Wiedermann (Prague)
Damien Woods (Cork)
Liang Yu (Nanjing)
Martin Ziegler (Paderborn)
WOMEN IN COMPUTABILITY WORKSHOP in association with the Computer Research
Association's Committee on the Status of Women in Computing Research
(CRA-W) Organisers: Paola Bonizzoni, Elvira Mayordomo Speakers: Anne Condon
(Vancouver), Natasha Jonoska (Florida), Carmen Leccardi (Milan), and others
PROGRAMME COMMITTEE:
M. Agrawal (Kanpur) M. Arslanov (Kazan)
G. Ausiello (Roma) A. Bauer (Ljubljana)
A. Beckmann (Swansea) U. Berger (Swansea)
A. Cantini (Firenze) B. Cooper (Leeds, co-chair)
L. Crosilla (Firenze) J. Diaz (Barcelona)
C. Dimitracopoulos (Athens) F. Ferreira (Lisbon)
S. Goncharov (Novosibirsk) P. Gruenwald (Amsterdam)
D. Harel (Rehovot) A. Hodges (Oxford)
J. Kempe (Paris) G. Longo (Paris)
B. Loewe (Amsterdam) J. Makowsky (Haifa)
E. Mayordomo Camara (Zaragoza) W. Merkle (Heidelberg)
F. Montagna (Siena) D. Normann (Oslo)
T. Pheidas (Heraklion) G. Rozenberg (Leiden)
G. Sambin (Padova) H. Schwichtenberg (Muenchen)
W. Sieg (Carnegie Mellon) A. Sorbi (Siena, co-chair)
I. Soskov (Sofia) P. van Emde Boas (Amsterdam)
CONFIRMED SPONSORS OF CiE 2007: AILA (Associazione Italiana di Logica e
Applicazioni), EATCS (European Association for Theoretical Computer
Science), ASL (Association for Symbolic Logic), EACSL (European Association
for Computer Science Logic), FoLLI (The Association of Logic, Language and
Information), and The University of Siena.
CiE 2007 will be co-located with CCA 2007, the annual CCA (Computability
and Complexity in Analysis) Conference (Siena, College Santa Chiara, June
16-18, 2007):
http://cca-net.de/cca2007/
************************************************************
reply other threads:[~2007-01-03 9:23 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=6.0.0.22.1.20070103102119.019ce2e8@mailsrv.unisi.it \
--to=cie2007@unisi.it \
--cc=calendar@acm.org \
--cc=camilla.schwind@lim.univ-mrs.fr \
--cc=caml-list@inria.fr \
--cc=campos@cs.cmu.edu \
--cc=carol_logan@vnet.ibm.com \
--cc=carsten@cs.cmu.edu \
--cc=carsten@cs.yale.edu \
--cc=cattani@brics.dk \
--cc=ccl@dfki.de \
--cc=ccl@dfki.uni-sb.de \
--cc=cclin@verplex.com \
--cc=cdk@it.uc3m.es \
--cc=cdrossos@math.upatras.gr \
--cc=cdz@zblmath.fiz-karlsruhe.de \
--cc=cenciarelli@dsi.uniroma1.it \
--cc=cesabian@dsi.unimi.it \
--cc=cestluk@polyu.edu.hk \
--cc=cf245@dpmms.cam.ac.uk \
--cc=cfmanski@nwu.edu \
--cc=charlie@cs.uml.edu \
--cc=chaudron@cert.fr \
--cc=chein@lirmm.fr \
--cc=chengq@em.tsinghua.edu.cn \
--cc=chenno@dic.k8.rt.bosch.de \
--cc=chezalviel@laas.fr \
--cc=chitta@cs.utep.edu \
--cc=cholvy@cert.fr \
--cc=christine.paulin@lri.fr \
--cc=chuijs@cs.utwente.nl \
--cc=chungli@cs.colgate.edu \
--cc=cic@eps.udl.es \
--cc=cindye@vnet.ibm.com \
--cc=cjf@cs.uq.oz.au \
--cc=cl@informatik.uni-mainz.de \
--cc=claesen@imec.be \
--cc=claudette.cayrol@irit.fr \
--cc=clote@cs.bc.edu \
--cc=clp@comp.nus.edu.sg \
--cc=colibri@let.uu.nl \
--cc=comlab@comlab.ox.ac.uk \
--cc=comon@lsv.ens-cachan.fr \
--cc=complog@cs.nmsu.edu \
--cc=compulog-deduction@cs.bham.ac.uk \
--cc=compulog@doc.imperial.ac.uk \
--cc=compulognet-parimp@dia.fi.upm.es \
--cc=compunode@dfki.de \
--cc=concurrency@cwi.nl \
--cc=coppola@dimi.uniud.it \
--cc=coq-club@pauillac.inria.fr \
--cc=coquand@cs.chalmers.se \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox