<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<span style="font-size:12.8000001907349px">***** Apologies for
multiple postings ******************************</span><span
style="font-size:12.8000001907349px">*********</span><br
style="font-size:12.8000001907349px">
<br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">******************************</span><span
style="font-size:12.8000001907349px">******************************</span><span
style="font-size:12.8000001907349px">*****************</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">CALL FOR PAPERS - GandALF
2015</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">******************************</span><span
style="font-size:12.8000001907349px">******************************</span><span
style="font-size:12.8000001907349px">*****************</span><br
style="font-size:12.8000001907349px">
<br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">The Sixth International
Symposium on Games, Automata, Logics and</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Formal Verification will
take place in Genoa, Italy, from </span><span
style="font-size:12.8000001907349px">September 21to 23</span><span
style="font-size:12.8000001907349px">.</span><br
style="font-size:12.8000001907349px">
<br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Web page: </span><a
href="http://gandalf2015.dibris.unige.it/"
style="font-size:12.8000001907349px" target="_blank">http://gandalf2015.dibris.unige.it</a><br
style="font-size:12.8000001907349px">
<br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">The aim of the symposium
is to bring together researchers from</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">academia and industry
actively working in the fields of</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Games, Automata, Logics,
and Formal Verification. The symposium coversan ample spectrum of
themes, ranging from theory to applications, and</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">encourages
cross-fertilization. Papers focused on formal methods are</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">especially welcome.
Authors are invited to submit original research ortool papers on
all relevant topics in these areas. Papers discussing</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">new ideas that are at an
early stage of development are also welcome.</span><br
style="font-size:12.8000001907349px">
<br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Topics of Interest</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">******************</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">The topics covered by the
conference include, but are not limited to,</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">the following:</span><br
style="font-size:12.8000001907349px">
<br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Automata Theory</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Automated Deduction</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Computational aspects of
Game Theory</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Concurrency and
Distributed computation</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Decision Procedures</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Deductive, Compositional,
and Abstraction Techniques for Verification</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Finite Model Theory</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">First-order and
Higher-order Logics</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Formal Languages</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Formal Methods for
Systems Biology, Hybrid, Embedded, and Mobile Systems</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Games and Automata for
Verification</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Game Semantics</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Logical aspects of
Computational Complexity</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Logics of Programs</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Modal and Temporal Logics</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Model Checking</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Models of Reactive and
Real-Time Systems</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Program Analysis and
Software Verification</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Run-time Verification and
Testing</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Specification and
Verification of Finite and Infinite-state Systems Synthesis</span><br
style="font-size:12.8000001907349px">
<br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Proceedings</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">***********</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">The proceedings will be
published by Electronic Proceedings in</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Theoretical Computer
Science.</span><br style="font-size:12.8000001907349px">
<br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Authors of the best
papers will be invited to submit a revised version of</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">their work to an special
issue of Acta Informatica.</span><br
style="font-size:12.8000001907349px">
<br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Selected papers from
previous editions appeared in special issues of the</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">International Journal of
Foundation of Computer Science (GandALF 2010),</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Theoretical Computer
Science (GandALF 2011 and 2012), and Information and Computation
(GandALF 2013 and 2014).</span><br
style="font-size:12.8000001907349px">
<br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Invited Speakers</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">****************</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Viktor Vafeiadis -
MPI-SWS</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Sven Schewe - University
of Liverpool</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Nathalie Bertrand - Inria
Rennes</span><br style="font-size:12.8000001907349px">
<br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Submissions</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">***********</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Submitted papers should
not exceed fourteen (14) pages using EPTCS</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">format (please use the
LaTeX style provided at </span><a href="http://style.eptcs.org/"
style="font-size:12.8000001907349px" target="_blank">http://style.eptcs.org</a><span
style="font-size:12.8000001907349px">),be unpublished and contain
original research. For papers reporting</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">experimental results,
authors are encouraged to make their data</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">available with their
submission.</span><br style="font-size:12.8000001907349px">
<br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Submissions must be in
PDF or PS format and will be handled via</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">EasyChair Conference
system at the following address:</span><br
style="font-size:12.8000001907349px">
<a href="https://www.easychair.org/conferences/?conf=gandalf2015"
style="font-size:12.8000001907349px" target="_blank">https://www.easychair.org/conferences/?conf=gandalf2015</a><br
style="font-size:12.8000001907349px">
<br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Important dates</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">***************</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Abstract submission: </span><span
style="font-size:12.8000001907349px">May 22</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Paper submission: </span><span
style="font-size:12.8000001907349px">May 29</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Notification: </span><span
style="font-size:12.8000001907349px">July 3</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Camera-ready: </span><span
style="font-size:12.8000001907349px">July 31</span><br
style="font-size:12.8000001907349px">
<br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Program Committee</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">*****************</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Parosh Aziz Abdulla,
Univ. of Uppsala, Sweden</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Ahmed Bouajjani, LIAFA,
France</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Thomas Brihaye, Mons
Univ., Belgium</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Pavol Cerny, Univ. of
Colorado, Boulder, USA</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Krishnendu Chatterjee,
Inst. of Science and Tech. Austria</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Giorgio Delzanno, Univ.
of Genoa, Italy</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Laurent Doyen, LSV,
ENS-Cachan, France</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Javier Esparza, TU
Munich, Germany (co-chair)</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Bernd Finkbeiner, Univ.
of Saarbrücken, Germany</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Pierre Ganty, IMDEA,
Spain</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Antonin Kucera, Masaryk
Univ. (Brno), Czech Republic</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">K. Narayan Kumar, Chennai
Mathematical Institute, India</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Orna Kupferman, Hebrew
Univ., Israel</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Christof Löding, Aachen
Univ., Germany</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Richard Mayr, Univ. of
Edinburgh, UK</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Igor Melatti, Sapienza
Univ. of Rome, Italy</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Henryk Michalewski, Univ.
of Warsaw, Poland</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Luke Ong, Univ. of
Oxford, UK</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Mimmo Parente, Univ. of
Salerno, Italy</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Gennaro Parlato, Univ. of
Southampton, UK</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Doron Peled, Bar Ilan
Univ., Israel</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Ruzica Piskac, Yale
Univ., USA</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Enrico Tronci, Univ. La
Sapenza, Rome, Italy (co-chair)</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Hiroshi Umeo, Univ. of
Osaka Electro-Communication, Japan</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Helmut Veith, Technische
Universität Wien, Austria</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Marc Zeitoun, LaBRI,
France</span><br style="font-size:12.8000001907349px">
<br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Steering Committee</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">******************</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Mikolaj Bojanczyk, Univ.
of Warsaw, Poland</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Javier Esparza, TU
Munich, Germany</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Andrea
Maggiolo-Schettini, Univ. of Pisa, Italy</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Angelo Montanari, Univ.
of Udine, Italy</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Margherita Napoli, Univ.
of Salerno, Italy</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Mimmo Parente, Univ. of
Salerno, Italy</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Wolfgang Thomas, Aachen
Univ., Germany</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Wieslaw Zielonka, Univ.
of Paris 7, France</span><br style="font-size:12.8000001907349px">
<br style="font-size:12.8000001907349px">
<br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Local Organizers</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">****************</span><br
style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Giorgio Delzanno Univ. of
Genova</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Elena Zucca, Univ. of
Genova</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Alessandro Solimando,
Univ. of Genova</span><br style="font-size:12.8000001907349px">
<span style="font-size:12.8000001907349px">Daniela Briola, Univ. of
Genova<br>
<br>
<br>
</span>
<pre class="moz-signature" cols="72">--
Dario Della Monica, Postdoctoral Researcher
Reykjavik University - School of Computer Science
Menntavegur 1 - IS-101 Reykjavik - Iceland
cell: (+354) 778 7113 - (+39) 328 2477327
email: dariodm [at] ru.is
skype: dariodellamonica
web site: <a class="moz-txt-link-freetext" href="http://kennarar.ru.is/dariodm/">http://kennarar.ru.is/dariodm/</a>
</pre>
</body>
</html>