Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> CFP: 8th Intnl. Conf. on Relational Methods in Computer Science

CFP: 8th Intnl. Conf. on Relational Methods in Computer Science

From: Michael Winter <mwinter_at_cosc.brocku.ca>
Date: Tue, 27 Apr 2004 10:49:30 GMT
Message-ID: <408e3ab7$1@news.unimelb.edu.au>


First Call for Papers for the

                        8th International Conference on

             Relational Methods in Computer Science (RelMiCS 8)



           		    in combination with the



			  COST 274 / TARSKI Workshops

		

				    and the

			

			3rd International Workshop on

                       	Applications of Kleene Algebra



			

                              February 22-26, 2005

                        St. Catharines, Ontario, Canada



The purpose of this meeting is to bring together researchers from various

subdisciplines of Computer Science and Mathematics who use the calculus of

relations and/or Kleene algebra as methodological and conceptual tools in

their work.

The relational calculus originated with Tarski's abstract algebraic

treatment of binary relations in 1941. Kleene Algebra is a related algebraic

system. It was first introduced by Kleene in 1956 and further developed

by Conway in 1971.

Topics of this conference include but are not limited to:

     and development and program analysis

Previous RelMiCS meetings were held in

  1. Dagstuhl, Germany (1994)
  2. Parati, Brazil (1995)
  3. Hammamet, Tunesia (1997)
  4. Warsaw, Poland (1998)
  5. Quebec, Canada (2000)
  6. Oisterwijk, The Netherlands (2001)
  7. Malente, Germany (2003)

Authors are invited to submit an extended abstract not exceeding 8 pages in postscript or pdf format to

                        info_at_relmics8.org

Ongoing research is welcome as well. Abstracts will be selected for presentation at the meeting by a joint programme committee and collected as informal 'participants proceedings'. After the meeting, authors of selected abstracts will be invited to submit full papers for the final joint proceedings. The final papers will be formally refereed; it is planned to publish them as an LNCS volume. Therefore, the latest LNCS style file for LaTeX2e (llncs.cls) should be also used for the extended abstracts. Please have also a look onto the Authors Instructions subpage.

We kindly ask you to send us the LaTeX sources of your extended abstracts, because this would make the production of the 'participants' proceedings' much more easier for us. Please do not send a seperate BibTeX file, but include your bibliographic data directly in the LaTeX source.

Program Committee:

	Rudolf Berghammer, Christian-Albrechts-University of Kiel, Germany
	Jules Desharnais, Universite Laval, Canada
	Marc Frappier, Universite de Sherbrooke, Canada
	Marcelo Frias, University of Buenos Aires, Argentinia
	Peter Jipsen, Chapman University, USA
	Wolfram Kahl, McMaster, Canada
	Yasuo Kawahara, Kyushu University, Japan
	Bernhard Moeller, University of Augsburg, Germany
	Ewa Orlowska, Institute of Telecommunications, Poland
	Ivo Rosenberg, Universite de Montreal, Canada
	Gunther Schmidt, UniBw Munich, Germany
	Burhan Tuerksen, University of Toronto, Canada

Organizing Committee (also part of the program committee):

	Ivo Duentsch, Brock University, Canada
	Wendy MacCaull, St.Francis Xavier University, Canada
	Michael Winter, Brock University, Canada

Important dates:

	Submission of extended abstract:	October 01, 2004
	Notification of acceptance:		November 19, 2004
	Camera ready extended abstracts:	December 17, 2004


Further details may be found on the following Web-site:

                http://www.relmics8.org

Contact: info_at_relmics8.org

[ comp.ai is moderated.  To submit, just post and be patient, or if ]
[ that fails mail your article to <comp-ai_at_moderators.isc.org>, and ]
[ ask your news administrator to fix the problems with your system. ]
------------ And now a word from our sponsor ------------------
For a quality usenet news server, try DNEWS, easy to install, fast, efficient and reliable. For home servers or carrier class installations with millions of users it will allow you to grow! ---- See http://netwinsite.com/sponsor/sponsor_dnews.htm ---- Received on Tue Apr 27 2004 - 05:49:30 CDT

Original text of this message

HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US