* categories: CFP - RelMiCS 11 / AKA 6
@ 2009-01-24 21:23 Michael Winter
0 siblings, 0 replies; only message in thread
From: Michael Winter @ 2009-01-24 21:23 UTC (permalink / raw)
To: categories
Announcement and Call for Papers for the
========================================
11th International Conference on
Relational Methods in Computer Science
(RelMiCS 11)
======================================
6th International Conference on Applications of Kleene Algebra
(AKA 6)
==============================================================
November 1 to 5, 2009 Doha, Qatar
=================================
1) Conference
Over the past fifteen years, the RelMiCS meetings have been a main forum for
researchers who use the calculus of relations and similar algebraic
formalisms as
methodological and conceptual tools. The workshop series on Applications of
Kleene algebra started with a Dagstuhl seminar in 2001 and has been co-
organised with the RelMiCS conference since. Due to their considerable
overlap,
the two events have a joint PC and joint proceedings.Their scope comprises
relation algebra, fixpoint calculi, semiring theory, iteration
algebras, process
algebras and dynamic algebras. Applications include formal algebraic
modelling,
the semantics, analysis and development of programs, formal language theory
and combinatorial optimisation.
We invite submissions on the general topics of Relation Algebra
and Kleene Algebra in computer science. Special focus will lie
on formal methods for software engineering, logics of programs and
links with neighbouring disciplines. Particular topics of the
conference cover, but
are not limited to the theory of
- relation algebras and Kleene algebras
- related formalisms such as process algebras, fixed point calculi, idempotent
semirings, quantales, allegories, dynamic algebras, cylindric
algebras and their
applications in areas such as
- verification, analysis and development of programs and algorithms
- relational formal methods such as B or Z, tabular methods,
- algebraic approaches to logics of programs, modal and dynamic logics,
interval and temporal logics
- algebraic semantics of programming languages
- graph theory and combinatorial optimisation
- games, automata and language theory
- mechanised and automated reasoning, decision procedures
- spatio-temporal reasoning, knowledge acquisition, preference and
scaling methods
- information systems.
The predecessors of this conference were held in Dagstuhl (January 1994),
Parati (September 1995), Hammamet (January 1997), Warsaw (September
1998), Quebec (January 2000), Dagstuhl (February 2001), Oisterwijk (October
2001), Malente (April 2003), St. Catherines (January 2005), Manchester
(September 2006) and Frauenwoerth (April 2008).
2) Program committee
Jihad Al'Jaam (Doha, Qatar University)
Rudolf Berghammer (Kiel, Germany; Program Co-Chair)
Harrie de Swart (Tilburg, Netherlands)
Jules Desharnais (Laval, Canada)
Rehab Duwairi (Doha, Qatar University)
Marcelo Frias (Buenos Aires, Argentina)
Hitoshi Furusawa (Kagoshima, Japan)
Peter Hoefner (Augsburg, Germany)
Ali Jaoua (Doha, Qatar University; General Chair of
RelMiCS/AKA 09)
Peter Jipsen (Chapman, USA)
Wolfram Kahl (McMaster, Canada)
Yasuo Kawahara (Kyushu, Japan)
Larissa Meinicke (Sydney, Australia)
Ali Mili (Tunis, TN, Newark, USA)
Bernhard Möller (Augsburg, Germany; Program Co-Chair)
Carroll Morgan (Sydney, Australia)
Ewa Orlowska (Warsaw, Poland)
Susanne Saminger (Linz, Austria)
Gunther Schmidt (Munich, Germany)
Renate Schmidt (Manchester, UK)
Georg Struth (Sheffield, UK)
Michael Winter (Brock, Canada)
3) Invited Speakers
First Invited Speaker
Prof.Dr. H.C.M. de Swart
Chair of Logic, Department of Philosophy Tilburg University,
Dante building, room 255
P.O. Box 90153, 5000 LE Tilburg
The Netherlands
Phone: (0031) 13 466 2415
Fax: (0031) 13 4662892
E-mail: H.C.M.deSwart@uvt.nl
URL: http://www.tilburguniversity.nl/faculties/humanities/dphil/staff/swart/
Second Invited Speaker
Prof. Dr. Rohit Parikh
Distinguished Professor
CS, Math, Philosophy Brooklyn
College and CUNY Grad Center
USA
Phone: 212-817-8197
URL: http://web.cs.gc.cuny.edu/~kgb/
4) Important Dates
Call for Papers: Jan 15 2009
Submission of papers: April 15 2009
Notification: June 20 2009
Final versions due (firm deadline): July 20 2009
Registration Oct. 1 2009
Conference Nov 1-5 2009
5) Proceedings and Submission
All papers will be formally reviewed. We plan to publish the
proceedings in the
series Lecture Notes in Computer Science ready at the conference. The
proceedings editors will be R. Berghammer, A. Jaoua and B. Möller.
Submissions must be in English, in postscript or pdf format, and
provide sufficient
information to judge their merits. They must be unpublished and not
submitted for
publication elsewhere. They may not exceed 15 pages in Springer LNCS style
and must be produced with LaTeX. Additional material may be provided by a
clearly marked appendix or a reference to a manuscript on a website. This may
be considered at the discretion of the PC. Deviation from these requirements
may cause immediate rejection. One author of each accepted paper is expected
to present the paper at the conference.
Detailed instructions for electronic submission can be found at
the conference website. Formatting instructions and the LNCS style
files can be obtained via
http://www.springer.de/comp/lncs/authors.html.
As for the earlier conferences of this series, it is also intended to
publish a
selection of the best papers in revised and extended form in a special
issue of
the Journal of Logic and Algebraic Programming (JLAP).
6) Student Programme
The conference will be accompanied by a PhD training program.
Details will be published in due time in a special call and on the
conference website.
7) Venue
Doha is the capital city of Qatar. With a population of about 1500.000
inhabitants
it is the largest city of Qatar and its economic and cultural center.
The city is
located on the Persian Gulf. The university of Qatar at Doha was opened in the
year 1973. Doha is also home of many international schools.
Doha has an international airport that is served by many international
(e.g., Turkish Airway, by British Airways from London-Heathrow, Lufthansa from
Frankfurt, KLM from Amsterdam and Qatar Airways from New York-JFK and
Osaka-Kansai).
8) Organization
Ali Jaoua (General chair and local organizer)
Rudolf Berghammer and Bernhard Möller (Program co-chairs)
Further details can be found under
http://www.qu.edu.qa/RelMiCs11/
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2009-01-24 21:23 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-01-24 21:23 categories: CFP - RelMiCS 11 / AKA 6 Michael Winter
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).