Wednesday, July 24, 2013

[DMANET] REACHABILITY 2013: Call for informal Presentation and call for Participation

[We apologize for multiple copies.]

------------------------------------------------------------------------------------------------
CALL FOR INFORMAL PRESENTATIONS

CALL FOR PARTICIPATION

The 7th International Workshop on Reachability Problems (RP2013)
(25 - 27 September 2013, University of Uppsala, Sweden)
http://www.it.uu.se/conf/RP2013/

------------------------------------------------------------------------------------------------

*** Submission deadline for informal presentations: 12 August, 2013

The Department of Information Technology will organize the 7th International
Workshop on Reachability Problems (RP'2013). This event will take place at
Norrlands nation in the heart of central Uppsala, 25 - 27 September 2013.

Papers presenting original contributions related to reachability problems
in different computational models and systems are being sought.
This will also be the occasion to review recent breakthroughs by
renown invited experts and survey emerging trends and emphasize
on key open challenges. Participants are kindly encouraged to discuss
on core scientific issues that need to be further tackled.

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:
------------------------

● Patricia Bouyer-Decitre (Cachan, France)
● Daniel Kroening (Oxford, UK)
● Rupak Majumdar (MPI-SWS, Germany)
● Shaz Qadeer (Microsoft Research Redmond, USA)
● Thomas Schwentick (TU Dortmund University, Germany)


FORMAT
------------------------
RP 2013 is the 7th international workshop on reachability
problems. The program consists in 5 invited papers, 14 regular
papers, and informal presentations (that will not be published
in the proceedings). The call for regular papers
is closed and the list of accepted papers is available on the
RP 2013 webpage.

The call for informal presentations is still open. Authors must
send a 4-page abstract (and possibly a more longer paper). It
is allowed (and encouraged) to send results that have been published
at other conferences. Note that informal presentations are eligible
for a journal special issue.


IMPORTANT DATES
------------------------
Deadline for 4-pages abstracts: August 12, 2013
Notification of acceptance: August 19, 2013
Deadline for registration: September 15, 2013
Workshop: September 25,26,27, 2013.


SUBMISSION
------------------------

Please submit a pdf file containing your abstract and short paper by e-mail [ rp2013 at easychair.org<http://easychair.org> ] with
a subject "RP2013 Informal Presentation".


RP2013 Program Committee:
----------------------------------------

● Parosh Aziz Abdulla (co-chair), Uppsala University
● Rajeev Alur, University of Pennsylvania
● Mohamed Faouzi Atig, Uppsala University
● Bernard Boigelot, University of Liege
● Ahmed Bouajjani, LIAFA, University Paris Diderot
● Krishnendu Chatterjee, Institute of Science and Technology
● Giorgio Delzanno, DIBRIS, Università di Genova
● Javier Esparza, Technische Universität München
● Alain Finkel, ENS Cachan
● Pierre Ganty, IMDEA Software Institute
● K. Narayan Kumar, Chennai Mathematical Institute
● Kim Guldstrand Larsen, Aalborg University
● Jerome Leroux, CNRS-LABRI
● Richard Mayr, University of Edinburgh
● Markus Müller-Olm, Wilhelms-Universität Münster
● Andreas Podelski, University of Freiburg
● Igor Potapov (co-chair), University of Liverpool
● Jean-Francois Raskin, Université Libre de Bruxelles
● Ahmed Rezine, Linköping University
● James Worrell, Oxford University
● Hsu-Chun Yen, National Taiwan University
● Gianluigi Zavattaro, Università di Bologna


Organizing Committee:
-------------------------------

Parosh Aziz Abdulla (co-chair), Uppsala University
Mohamed Faouzi Atig (co-chair), Uppsala University
Carl Leonardsson, Uppsala University
Igor Potapov (co-chair), University of Liverpool
Jari Stenman, Uppsala University
Othmane Rezine, Uppsala University


**********************************************************
*
* 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/
*
**********************************************************