<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">[We apologize if you have received multiple copies of this message]<br><br>************************************************************************* <br>------ GandALF 2013 ----- FINAL CALL FOR PAPERS -----<br>************************************************************************** <br><br><br><br>4th International Symposium on Games, Automata, Logics, and Formal Verification <br>Borca di Cadore, Dolomites, Italy - August 29th - 31th, 2013<br><br><a href="http://gandalf.di.univr.it/">http://gandalf.di.univr.it/</a><br><br><br>OBJECTIVES <br><br>The aim of the symposium is to bring together researchers from academia <br>and industry which are actively working in the fields of Games, Automata, <br>Logics, and Formal Verification. The idea is to cover an ample spectrum of <br>themes, ranging from theory to applications, and stimulate <br>cross-fertilization. Papers focused on formal methods are especially <br>welcome. Authors are invited to submit original research or tool papers on <br>all relevant topics in these areas. Papers discussing new ideas that are <br>at an early stage of development are also welcome. <br><br><br>LIST OF TOPICS <br><br>The topics covered by the conference include, but are not limited to, the <br>following: <br><br>Automata Theory <br>Automated Deduction <br>Computational aspects of Game Theory <br>Concurrency and Distributed computation <br>Decision Procedures <br>Deductive, Compositional, and Abstraction Techniques for Verification <br>Finite Model Theory <br>First-order and Higher-order Logics <br>Formal Languages <br>Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems<br>Games and Automata for Verification <br>Game Semantics <br>Logical aspects of Computational Complexity <br>Logics of Programs <br>Modal and Temporal Logics <br>Model Checking <br>Models of Reactive and Real-Time Systems <br>Program Analysis and Software Verification <br>Run-time Verification and Testing <br>Specification and Verification of Finite and Infinite-state Systems <br>Synthesis <br><br><br>INVITED SPEAKERS <br><br>Alessandro Cimatti (ITC-IRST, Italy)<br>Thomas Henzinger (IST, Austria)<br>Christof Loeding (University of Aachen, Germany)<br><br><br>PAPER SUBMISSION <br><br>Submitted papers should not exceed fourteen (14) pages using EPTCS format, <br>be unpublished and contain original research. For papers reporting <br>experimental results, authors are encouraged to make their data available <br>with their submission. <br>Submissions must be in PDF or PS format and will be handled via EasyChair. <br><br><br>IMPORTANT DATES <br><br>Abstract submission: May 1, 2013<br>Paper submission: May 8, 2013<br>Acceptance notification: June 17, 2013<br>Final version: June 26, 2013<br>Conference: August 29-31, 2013<br><br><br>PROCEEDINGS <br><br>The proceedings will be published by Electronic Proceedings in Theoretical <br>Computer Science. <br>A special issue of a major international journal to publish an extended <br>and revised version of the best symposium papers is also under <br>consideration. Revised versions of the selected papers from the previous <br>editions lead to one special issue of the International Journal of <br>Foundation of Computer Science (GandALF 2010) and two special issues <br>of Theoretical Computer Science (GandALF 2011 and 2012). <br><br>PROGRAM CHAIRS <br><br>Tiziano Villa (University of Verona, Italy)<br>Gabriele Puppis (LaBRI, Bordeaux, France)<br><br><br>PROGRAM COMMITTEE <br><br>Luca Aceto (University of Reykjavik, Iceland)<br>Rajeev Alur (University of Pennsylvania, United States)<br>Roderick Bloem (University of Graz, Austria)<br>Arnaud Carayol (IGM, Marne-la-Vallee, France)<br>Anuj Dawar (University of Cambridge, United Kingdom)<br>Stephane Demri (New York University, United States / CNRS)<br>Volker Diekert (University of Stuttgart, Germany)<br>Javier Esparza (University of Munchen, Germany)<br>Valentin Goranko (Technical University of Denmark, Denmark)<br>Bakhadyr Khoussainov (University of Auckland, New Zeland)<br>Naoki Kobayashi (University of Tokyo, Japan)<br>Stephan Kreutzer (University of Berlin, Germany)<br>Marta Kwiatkowska (University of Oxford, United Kingdom)<br>Martin Lange (University of Kassel, Germany)<br>Angelo Montanari (University of Udine, Italy) <br>Mimmo Parente (University of Salerno, Italy)<br>Adriano Peron (University of Naples, Italy)<br>Alexander Rabinovich (University of Tel Aviv, Israel)<br>Ramaswamy Ramanujam (Institute of Mathematical Sciences, Chennai, India)<br>Jean Francois Raskin (University of Bruxelles, Belgium)<br>Davide Sangiorgi (University of Bologna, Italy)<br>Olivier Serre (LIAFA, Paris, France)<br>Sharon Shoham (Academic College of Tel-Aviv Yaffo, Israel)<br>Szymon Torunczyk (University of Warsaw, Poland)<br>Zhilin Wu (State Key Laboratory of Computer Science, China)<br>Hsu-Chun Yen (National Taiwan University, Taiwan)<br><br>ORGANIZING CHAIR<br><br>Pietro Sala (University of Verona, Italy)<br><br>STEERING COMMITTEE <br><br>Mikolaj Bojanczyk (University of Warsaw, Poland) <br>Javier Esparza (University of Munich, Germany) <div><div>Andrea Maggiolo-Schettini (University of Pisa, Italy)</div>Angelo Montanari (University of Udine, Italy) <br>Margherita Napoli (University of Salerno, Italy) <br>Mimmo Parente (University of Salerno, Italy) <br>Wolfgang Thomas (RWTH Aachen University, Germany) <br>Wieslaw Zielonka (University of Paris7, France) <br><br><br>INFO <br><br>Please visit the conference website <a href="http://gandalf.di.univr.it/">http://gandalf.di.univr.it/</a><br>for more information.</div></body></html>