19th International Workshop on Algebraic Development Techniques
Pisa, Italy, June 13-16, 2008
Home page: http://www.di.unipi.it/wadt2008
Ugo Montanari's Colloquium |
Accepted Abstracts |
aims | topics | format and location | submissions | dates | invited speakers | sponsorships | committees | information ]
After having joined forces with CMCS for CALCO'07 in
Bergen, WADT takes place in 2008 as an individual workshop
and in its traditional format.
Aims and Scope
After having joined forces with CMCS for CALCO'07 in Bergen, WADT takes place in 2008 as an individual workshop and in its traditional format.
The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems).
The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends.
The workshop will take place over four days (Friday to Monday) at Hotel Santa Croce in Fossabanda, a former monastery in the center of Pisa. It will include presentations selected on the basis of submitted abstracts as well as three invited talks.
|April 18, 2008||New submission deadline for abstracts|
|April 26, 2008||Notification of acceptance (Accepted abstracts)|
|May 20, 2008||Final abstract due|
|June 13-16, 2008||Workshop in Pisa (program and participants)|
|June 30, 2008||Invitation of full papers (for selected authors only)|
|September 30, 2008||Submission deadline for full papers|
|December 13, 2008||Notification|
|January 16, 2009||Final version due|
The workshop takes place under the auspices of IFIP WG 1.3, and is
sponsored by IFIP TC1 and by the University of Pisa.
The event is organized by the Computer Science Department of Pisa University.
Michel Bidoit (France)
José Fiadeiro (UK) [chair]
Hans-Jörg Kreowski (Germany)
Till Mossakowski (Germany)
Peter Mosses (UK)
Fernando Orejas (Spain)
Francesco Parisi-Presicce (Italy)
Andrzej Tarlecki (Poland)
Andrea Corradini [co-chair]
Ugo Montanari [co-chair]
Pierre Yves Schoebbens
Andrea Corradini (chair)
For any information about the workshop, feel free to contact Andrea Corradini: email: email@example.com, phone: +39 050 2212786.