Relational Methods in Computer Science

Relational Methods in Computer Science

4.11 - 1251 ratings - Source

th This volume is the post conference proceedings of the 8 International Seminar on Relational Methods in Computer Science (RelMiCS 8), held in conjunction rd with the 3 International Workshop on Applications of Kleene Algebra and a COST Action 274 (TARSKI) Workshop. This combined meeting took place in St. Catharines, Ontario, Canada, from February 22 to February 26, 2005. The purpose of this meeting was to bring together researchers from various subd- ciplines of computer science and mathematics who use the calculus of relations and/or Kleene algebra as methodological and conceptual tools in their work. Themeetingwasacontinuationofthreedi?erentseriesofmeetings. Previous RelMiCS meetings were held in: Schloss Dagstuhl, Germany, January 1994 Parati (near Rio de Janeiro), Brazil, September 1995 Hammamet, Tunisia, January 1997 Stefan Banach Center, Warsaw, Poland, September 1998 Valcartier (near Qu ebec City), Canada, January 2000 Osterwijk (near Tilburg), The Netherlands, October 2001 Malente (near Kiel), Germany, May 2003 The ?rst two workshops on applications of Kleene algebra were held Schloss Dagstuhl, Germany, February 2001 and Malente (near Kiel), Germany, May 2003. COST Workshops were held four times per year in various locations in the European Union since 2001. The substantial common interests and ov- lap of these communities motivated the joint meeting. Proceedings, edited by D] untsch and Winter and containing extended abstracts of the 34 accepted - pers and abstracts of the 4 invited talks, were available at the conference. After the conference, a Call for Papers was issued.qIvo D Iˆuntsch, Brock University, Canada Wendy MacCaull, St. Francis Xavier University, Canada Michael Winter, Brock ... Science Department, Brock University, St. Catharines, Canada European Union COST Action 274 (TARSKI) Table ofanbsp;...

Title:Relational Methods in Computer Science
Author:Wendy MacCaull, Michael Winter, Ivo Düntsch
Publisher:Springer Science & Business Media - 2006-04-18


You Must CONTINUE and create a free account to access unlimited downloads & streaming