|
| | | |
| | | |
LOPSTR 2006
International Symposium on
Logic-based Program Synthesis and Transformation
July 12 - 14, 2006
S. Servolo, Venice - Italy
|
|
|
|
| | | |
PROGRAM COMMITTEE
-
Slim
Abdennadher
(German University in Cairo, Egypt)
-
Roberto
Bagnara
(University of Parma, Italy)
-
Gilles
Barthe
(INRIA, France)
-
John Gallagher
(Roskilde University, Denmark)
-
Robert Glück
(University of Copenhagen, Denmark)
-
Michael
Hanus
(University of Kiel, Germany)
-
Pat Hill
(University of Leeds, UK)
-
Kazuhiko
Kakehi
(University of Tokyo, Japan)
-
Andy
King
(University of Kent, UK)
-
Michael
Leuschel
(University of Düsseldorf, Germany)
-
Fred Mesnard
(University of La Reunion, France)
-
Germán
Puebla
(Technical University of Madrid, Spain)
-
Sabina Rossi
(University Ca' Foscary of Venice, Italy)
-
Grigore Rosu
(University of Illinois at Urbana-Champaign, USA)
-
Wim Vanhoof
(University of Namur, Belgium)
-
Germán
Vidal
(Technical University of Valencia, Spain)
CONTACTS
- Program Chair
- Germán Puebla
- Facultad de Informática
- Universidad Politécnica de Madrid
- Local Arrangements Chair
- Sabina Rossi
- Dipartimento di Informatica
- Università Ca' Foscari di Venezia
- lopstr06@dsi.unive.it
- Conference Secretariat
- Key Congress S.r.l
- Via Makallè, 75
- 35138 Padova, Italy
- Fax: +39 049 8729512
|
|