Previous Meetings

 


WG 1.3

 

Udine, Italy, September 11-12, 2009

This meeting was organised by Marina Lenisa, professor at the University of Udine. The meeting was preceded by CALCO'09 and a Symposium in honor of our distinguished colleague and former WG1.3 chair, Peter Mosses, on the occasion of his 60th birthday.

List of talks

Urbana, Illinois, USA, July 31 - August 2, 2008

This meeting was organised by Grigore Rosu. The meeting was preceded by AMAST08.

List of talks

Sierra Nevada, Spain, January 14 - 18, 2008

This stand-alone meeting was organised by Fernando Orejas and involved other radical activities.

List of talks

Braga, PT, March 23-24  2007

The meeting was organised at the Department of Informatics, University of Minho, Portugal

The meeting was followed by the 10th European Joint Conferences on Theory and Practice of Software (ETAPS'07).

List of talks

La Roche en Ardenne, BE, June 3-6  2006

The first leg of the meeting took place in La Roche en Ardenne, Belgium, June 3 (pm) - 6 (am), 2006, organised by P-Y.Schobbens.

The meeting was preceded by the 18th International Workshop on Algebraic Development Techniques – WADT'06, 1-3 June, an event sponsored by WG1.3.

List of talks

San Diego, US, June 30  2006

The meeting continued on June 30, at the Computer Science Department of the University of California in San Diego (UCSD), organised by K.Futatsugi.

The meeting was preceded by a Symposium to honor our distinguished member Joseph Goguen on his 65th Birthday in June 27-29.

Swansea, UK, September 6-8  2005

The meeting was organised by P.Mosses at the Department of Computer Science, University of Wales Swansea

The meeting was preceded by the First Conference on Algebra and Coalgebra in Computer Science – CALCO, an event sponsored by WG1.3.

List of talks

Bangalore, India, January 14-15  2005

The meeting was organised by P.S.Subramanian at the Department of Computer Science and Automation of the Indian Institute of Science

The meeting was preceded by a 3-day workshop on "Specification and Design Methodologies for Adaptive and Embedded Systems" involving local companies and institutes.

More...

Barcelona, Spain, March 26  2004

The meeting was organised by Fernando Orejas and Jordi Cortadella at the Technical University of Catalonia (UPC)

The meeting preceded two other events sponsored by WG1.3: WADT and CMCS.

More...


1998–2003

 

 

Last updated: 21 January 2005