CHI-ANNOUNCEMENTS Archives

ACM SIGCHI General Interest Announcements (Mailing List)

CHI-ANNOUNCEMENTS@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:
From:
Nello Murano <[log in to unmask]>
Reply To:
Nello Murano <[log in to unmask]>
Date:
Thu, 9 Aug 2012 09:32:48 +0200
Content-Type:
text/plain
Parts/Attachments:
text/plain (139 lines)
*****************************************************************
          ------            GandALF 2012            -----
*****************************************************************

Third International Symposium on Games, Automata, Logics, and Formal
Verification
Napoli, Italy, September 6th-8th, 2012

http://www.gandalf.unina.it

          ************************************************
          |           CALL  FOR  PARTICIPATION           |
          ************************************************


OBJECTIVES
The aim of the symposium is to bring together researchers from academia
and industry which are actively working in the fields of Games, Automata,
Logics, and Formal Verification. The idea is to cover an ample spectrum of
themes, ranging from theory to applications, and stimulate
cross-fertilization. Authors have been invited to submit original research
or tool papers on any relevant topic in the following areas:

LIST OF TOPICS
Automata Theory
Automated Deduction
Computational aspects of Game Theory
Concurrency and Distributed computation
Decision Procedures
Deductive, Compositional, and Abstraction Techniques for Verification
Finite Model Theory
First-order and Higher-order Logics
Formal Languages
Formal Methods for Complex Systems (e.g., Interactive Systems, Systems
Biology)
Games and Automata for Verification
Game Semantics
Hybrid, Embedded, and Mobile Systems Verification
Logical aspects of Computational Complexity
Logics of Programs
Modal and Temporal Logics
Model Checking
Models of Reactive and Real-Time Systems
Program Analysis and Software Verification
Run-time Verification and Testing
Specification and Verification of Finite and Infinite-state Systems
Synthesis

PROGRAMME

Programme of GandALF 2012 consists of 19 contributed talks (for the list of
accepted papers, please have a look at
http://www.gandalf.unina.it//accepted.php) that have been selected by the
programme committee on the basis of submitted papers. For the detailed
program of GandALF 2010, please have a look at

          http://www.gandalf.unina.it//program.php

REGISTRATION

GandALF 2012 has two registration periods (early and normal).
Early registration applies up to August 9th, 2012. On site registration
fee can be paid only in cash. Since September is considered high season in
Napoli, we suggest to book your hotel as soon as possible.

Registration fee:
Full: 300 euro (early registration) - 350 euro (normal registration)


CO-LOCATED EVENT
GAMES 2012, Annual Workshop of the ESF Networking Programme on Games for
Design and Verification (http://www.games.unina.it/).


INVITED SPEAKERS
Alberto Policriti (University of Udine, Italy).
Moreover, we have the following three joint invited speakers with the
co-located GAMES meeting:
- Joseph Halpern, Cornell University, USA
- Damian Niwinski, Warsaw University, Poland
- Jean-François Raskin, Université Libre de Bruxelles, Belgium

PROGRAM CHAIRS
Marco Faella (Universita’ di Napoli "Federico II", Italy)
Aniello Murano (Universita’ di Napoli "Federico II", Italy)


PROGRAM COMMITTEE
Veronique Bruyere (Universite' de Mons-Hainaut, Belgium)
Agostino Cortesi (Universita' Ca' Foscari di Venezia, Italy)
Luca de Alfaro, (University of California at Santa Cruz, USA)
Kousha Etessami, (University of Edinburgh, UK)
Erich Grädel, (RWTH Aachen University, Germany)
Arie Gurfinkel,  (Carnegie Mellon University, USA)
Orna Kupferman, (Hebrew Unversity, Israel)
Martin Lange, (University of Kassel, Germany)
Carsten Lutz, (University of Bremen, Germany)
Oded Maler    (CNRS-VERIMAG, University of Grenoble, France)
Nicolas Markey, (LSV, CNRS & ENS Cachan, France)
Anca Muscholl, (University of Bordeaux, France)
Margherita Napoli, (Universita’ di Salerno , Italy)
Damian Niwinski (University of Warsaw, Poland)
Carla Piazza, (University of Udine, Italy)
Nir Piterman, (University of Leicester,UK)
Gabriele Puppis, (University of Oxford, UK)
Ramaswamy Ramanujam, (IMSC Chennai, India)
Sven Schewe, (University of Liverpool, UK)
Natasha Sharygina, (University of Lugano, Switzerland)
Marielle Stoelinga, (University of Twente, Netherlands)
Enrico Tronci, (Universita’ di Roma "La Sapienza", Italy)
Helmut Veith, (TU Vienna, Austria)
Tiziano Villa, (Universita’ di Verona, Italy)
Mahesh Viswanathan, (University of Illinois, USA)


STEERING COMMITTEE
Mikolaj Bojanczyk (University of Warsaw,  POLAND)
Javier Esparza (University of Munich, GERMANY)
Angelo Montanari (University of Udine, ITALY)
Margherita Napoli (University of Salerno, ITALY)
Mimmo Parente (University of Salerno, ITALY)
Wolfgang Thomas (RWTH Aachen University, GERMANY)
Wieslaw Zielonka  (University of Paris7, FRANCE)


ADVISORY BOARD
Stefano Crespi Reghizzi (University of Milan, ITALY)
Jozef Gruska (Masaryk University, CZECH REPUBLIK)

    ---------------------------------------------------------------
    For news of CHI books, courses & software, join CHI-RESOURCES
     mailto: [log in to unmask]

    To unsubscribe from CHI-ANNOUNCEMENTS send an email to
     mailto:[log in to unmask]

    For further details of CHI lists see http://listserv.acm.org
    ---------------------------------------------------------------

ATOM RSS1 RSS2