CFP: LICS 2004 - Call for Participation
From: Alex Simpson (als_at_inf.ed.ac.uk)
Date: 06/11/04
- Next message: |-|erc: "Re: limitation to induction on finite bounds"
- Previous message: Barb Knox: "Re: In a Bad Mood"
- Messages sorted by: [ date ] [ thread ]
Date: Fri, 11 Jun 2004 01:16:22 GMT
The deadline for early registration for LICS 2004 is *June 15, 2004*.
------------------------------------------------------------------------
CALL FOR PARTICIPATION
Nineteenth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS 2004)
July 13th - 17th, 2004, Turku, Finland
http://www.lfcs.informatics.ed.ac.uk/lics/
The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic in a broad
sense.
For registration visit
http://www.math.utu.fi/ICALP04/registration.html
The deadline for early registration is June 15, 2004.
Collocated events:
ICALP'04 will be collocated with LICS'04; for details see
http://www.math.utu.fi/ICALP04/.
Invited Speakers:
The following distinguished speakers will give invited talks at LICS 2004:
Samson Abramsky (U. of Oxford),
Robert Harper (Carnegie Mellon University),
Alexander Razborov (IAS, Princeton, and Steklov Math. Inst., Moscow),
Davide Sangiorgi (U. di Bologna),
Igor Walukiewicz (U. Bordeaux), and
Mihalis Yannakakis (Stanford U.).
For full program visit LICS website
http://www.lfcs.informatics.ed.ac.uk/lics/
Program Committee:
Rajeev Alur, U. of Pennsylvania
Andrew Appel, Princeton U.
Albert Atserias, UPC, Barcelona
Franz Baader, Dresden U.
Samuel Buss, U. of California, San Diego
Roberto Di Cosmo, U. de Paris VII
Gilles Dowek, Ecole Polytechnique, Paris
Harald Ganzinger, MPI, Saarbruecken (chair)
Martin Hofmann, LMU Muenchen
Achim Jung, U. of Birmingham
Kim Larsen, Aalborg U.
Leonid Libkin, U. of Toronto
Rocco de Nicola, U. di Firenze
Damian Niwinski, Warsaw U.
Prakash Panangaden, McGill U., Montreal
Albert Rubio, UPC, Barcelona
Vitaly Shmatikov, SRI International
Moshe Vardi, Rice U., Houston
Helmut Veith, TU Wien
Andrei Voronkov, U. of Manchester
Conference Chair:
Lauri Hella
Department of Math., Stat., and Phil.
Kanslerinrinne 1
33014 University of Tampere,
Finland
Email: lauri.hella@uta.fi
Workshops Chair:
Phil Scott, U. of Ottawa
Email: phil@site.uottawa.ca
Publicity Chair:
Alex Simpson, U. of Edinburgh
Email: Alex.Simpson@ed.ac.uk
General Chair:
Phokion G. Kolaitis, UC Santa Cruz
Email: kolaitis@cse.ucsc.edu
Organizing Committee:
S. Abramsky, A. Broder, E. Clarke, A. Felty,
H. Ganzinger, H. Gabow, J. Halpern, L. Hella,
U. Kohlenbach, P. Kolaitis (chair), D. Leivant,
G. Longo, H. Mairson, A. Middeldorp, J. Mitchell,
M. Nielsen, P. Panangaden, G. Plotkin, F. Pfenning,
P. Scott, R. Shore, A. Simpson, I.A. Stewart.
Advisory Board:
Y. Gurevich, C. Kirchner, D. Kozen, U. Martin, L. Pacholski,
V. Pratt, A. Scedrov, M.Y. Vardi, G. Winskel.
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.
[ comp.ai is moderated. To submit, just post and be patient, or if ]
[ that fails mail your article to <comp-ai@moderators.isc.org>, and ]
[ ask your news administrator to fix the problems with your system. ]
- Next message: |-|erc: "Re: limitation to induction on finite bounds"
- Previous message: Barb Knox: "Re: In a Bad Mood"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
