Calculemus 200311th Symposium on the Integration of
|
Topics | Call for Papers | Program Commitee | Program | Invited Speakers | Registration | Further Information | Sponsors |
Abstract Submission: | May 23, 2003 |
Submission Deadline: | May 30, 2003 |
Notification if acceptance: | June 26, 2003 |
Camera ready version: | July 15, 2003 |
Andrea Asperti | Bologna, Italy |
Henk Barendregt | Nijmegen, The Netherlands |
Chris Benzmuller | Saarbruecken, Germany |
Olga Caprotti | Risc Linz |
James Davenport | Bath, United Kingdom |
William Farmer | McMaster, Canada |
Hoon Hong | North Carolina State, United States |
Fairouz Kamareddine | Heriot-Watt Edimburg, Scotland |
Michael Kohlhase | CMU, United States |
Steve Linton | St. Andrews, Scotland |
Loic Pottier | INRIA Nice, France |
Roberto Sebastiani | Trento, Italy |
Volker Sorge | Birmingham, United Kingdom |
Thomas Sturm | Passau, Germany |
Stephen Watt | ORCCA, Canada |
Wolfgang Windsteiger | RISC-Linz, Austria |
Marta Cialdea Mayer |
Dipartimento di Informatica e Automazione |
Via Vasca Navale, 79 |
00146 Roma (Italia) |
tel +39-06-55173232 |
fax +39-06-5573030 |
|
|