Friday, June 4, 2010

[DMANET] RP2010: CALL FOR INFORMAL PRESENTATIONS (Deadline: 20 June 2010)

4th WORKSHOP ON REACHABILITY PROBLEMS

in computational models and systems , RP'2010


(August 27-29, 2010, Brno, Czech Republic)
co-located with MFCS & CSL 2010
http://www.csc.liv.ac.uk/~rp2010/

The Workshop on Reachability Problems will be hosted
by the Faculty of Informatics, Masaryk University,
Brno, Czech Republic and will be co-located with
Joint MFCS and CSL 2010.

Scope: The Reachability Workshop is specifically
aimed at gathering together scholars from diverse
disciplines and backgrounds interested in
reachability problems that appear in
- Algebraic structures
- Computational models
- Hybrid systems
- Logic and Verification

Invited Speakers:

- Markus Holzer (Giessen University, Germany)
- Kim Guldstrand Larsen (Aalborg University, Denmark)
- Alexander Rabinovich (Tel Aviv University, Israel)
- Philippe Schnoebelen (ENS Cachan, France)

In addition to the formal presentations based on our LNCS proceedings
volume, we invite researchers to present informal presentations. For this,
please send us an abstract and a short paper (upto 4 pages in LNCS format)
with a brief description of your work)

by the DEADLINE: JUNE 20, 2010

You will be notified whether your talk has been accepted for informal
presentation usually within a week after your submission.

Please submit a pdf file containing your abstract and short paper by
e-mail [ rp10 at easychair.org ] with a subject "RP2010 Informal
Presentation".

We are planning post-conference publication of a journal special issue,
which will contain full articles of selected RP 2010 presentations,
including informal presentations. Previous special issues were published in
International Journal of Foundations of Computer Science (Volume: 20,
Issue: 5 October 2009; Volume: 19, Issue: 4, Part2, August 2008).

Contact details:
RP'2010 - Faculty of Informatics, Masaryk University,

Emails: Antonin Kucera tony@fi.muni.cz<mailto:tony@fi.muni.cz>
Igor Potapov potapov@liverpool.ac.uk<mailto:potapov@liverpool.ac.uk>
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************