|
|
July 12-16, 2004, Turku, Finland
|
ICALP - LICS 2004 Workshops
| ICALP workshop |
|
LICS workshop |
|
Joint workshop |
M=Mauno Koivisto Centre, BioCity building
Ph=PharmaCity building
D=DataCity building
See also ICALP schedule
and LICS
schedule.
WORKSHOP FEES
Workshop acronyms
ALGOSENSORS:
First International Workshop on Algorithmic Aspects of Wireless Sensor
Networks (July 16)
Chair: Jose D. P. Rolim,
Sotiris Nikoletseas
DMCS: Discrete
Models for Complex Systems (July 10)
Chair: Jarkko Kari
FCS:
Foundations of Computer Security (July 12-13)
Chair: Andrei
Sabelfeld
FL: Formal Languages:
Colloquium in honor of Arto Salomaa
(July 11)
Organization: Magnus
Steinby &
Tero Harju
LCC: Sixth
International Workshop on Logic and Computational
Complexity
(Formerly Implicit Computational Complexity)
(July 12-13; 1/2+1/2 days)
Organization: James Royer
ITRS: Intersection Types and
Related Systems (July 13)
Chair: Mario Coppo
LRPP: Logics for
Resources, Processes, and Programs (July 13)
Organization: Didier Galmiche,
Peter O'Hearn,
David J. Pym
LSB: Workshop on
Logic and Systems Biology (July 18)
Organization: Vincent Danos
and
James Lynch
QPL: 2nd
International Workshop on Quantum Programming Languages
(July 12-13, 1.5 days)
Organization: Peter
Selinger
WACAM:
Workshop on word avoidability, complexity and morphisms (July 17)
Organization:
Gwénaël Richomme
WOLFASI: Logical Foundations
of Adaptive Security (July 12-13; sub-workshop to
FCS)
Chair: Leo Marcus
WSA: Workshop on Synchronizing Automata
(July 16)
Organization: Jarkko Kari,
Alice Kelemenová,
Tatjana
Petković,
Jean-Eric Pin,
and Mikhail V. Volkov
Contact address:
Contact: icalp04@cs.utu.fi.
For further information contact
Mika Hirvensalo
(mikhirve@cs.utu.fi) or
Juhani Karhumäki
(karhumak@cs.utu.fi)
|
|
