JiscMail Logo
Email discussion lists for the UK Education and Research communities

Help for CPHC-CONF Archives


CPHC-CONF Archives

CPHC-CONF Archives


cphc-conf@jiscmail.ac.uk


View:

Message:

[

First

|

Previous

|

Next

|

Last

]

By Topic:

[

First

|

Previous

|

Next

|

Last

]

By Author:

[

First

|

Previous

|

Next

|

Last

]

Font:

Proportional Font

LISTSERV Archives

LISTSERV Archives

CPHC-CONF Home

CPHC-CONF Home

CPHC-CONF  January 2011

CPHC-CONF January 2011

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Subject:

Fwd: Call for Papers GandALF 2011

From:

dario della monica <[log in to unmask]>

Reply-To:

dario della monica <[log in to unmask]>

Date:

Mon, 31 Jan 2011 19:06:51 +0100

Content-Type:

text/plain

Parts/Attachments:

Parts/Attachments

text/plain (157 lines)

[We apologize if you have received multiple copies of this message]


********************************************************************************

                          GandALF 2011

********************************************************************************


Second International Symposium on Games, Automata, Logics, and Formal Verification
                Minori, Amalfi Coast, Italy, June 15-17, 2011

                         http://gandalf.dia.unisa.it/

                 ************************************************
                                    CALL   FOR  PAPERS

                 ************************************************




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 concrete applications, and to stimulate
cross-fertilization. Papers focused on formal methods are especially
welcome. Authors are invited to submit original research or tool papers on
any relevant
topic in these areas. Papers discussing new ideas that are at an early
stage of
development are also welcome.

INDICATIVE LIST OF TOPICS

The topics covered by the conference include, but are not limited to, the
following:

Automata Theory
Automated Deduction
Logical aspects of Computational Complexity
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
Game Theory
Hybrid, Embedded, and Mobile Systems Verification
Logics of Programs
Modal and Temporal Logics
Model Checking
Models of Reactive and Real-Time Systems
Program Analysis and Software Verification
Specification and Verification of Finite and Infinite-state Systems
Synthesis and Execution

PAPER SUBMISSION

Submitted papers should not exceed fourteen (14) pages using EPTCS format,
be unpublished and contain original research. For papers reporting
experimental results, authors are encouraged to make their data available
with their submission.
Submissions must be in  PDF or PS format and will be handled via EasyChair.

IMPORTANT DATES

Abstract submission                 March 13,   2011
Paper submission                    March 20,   2011
Acceptance notification             April 22,   2011
Final version                       May   15,   2011
Conference                          June 15-17, 2011

INVITED SPEAKERS

Thomas Colcombet         (CNRS, Paris FRANCE)
Erich Graedel            (RWTH Aachen University, GERMANY)
Moshe Vardi              (Rice University, Houston USA)

PROCEEDINGS

The proceedings will be published by Electronic Proceedings in Theoretical
Computer Science.
A special issue of a major international journal to publish an extended
and revised version of the best symposium papers is also under
consideration. Revised versions of the selected papers from the last
GandALF (GandALF 2010) will be published as a special issue of the
International Journal of Foundation of Computer Science
(http://www.cs.ucsb.edu/~ijfcs/).


INFO

Please visit the conference website (http://gandalf.dia.unisa.it) for more
information.

GENERAL CHAIR

Angelo Montanari (University of Udine, ITALY)

PROGRAM  CHAIRS

Giovanna D'Agostino (University of Udine, ITALY)
Salvatore La Torre (University of Salerno, ITALY)

PROGRAM COMMITTEE

  Krishnendu Chatterjee (Inst. of Science and Tech, AUSTRIA)
  Swarat Chaudhuri (Pennsylvania State University, USA)
  Giorgio Delzanno (University of Genova, ITALY)
  Javier Esparza (Technische Universitat Munchen, GERMANY)
  Eric Graedel (RWTH Aachen University, GERMANY)
  Neil Immerman, (University of Massachusetts, USA)
  Wojtek Jamroga (University of Luxembourg, LUXEMBOURG)
  Vineet Kahlon, (NEC Labs, Princeton, USA)
  Martin Leucker (University of Lubeck, GERMANY)
  Jerzy Marcinkowski (University of Wroclaw, POLAND)
  Aniello Murano (University of Napoli "Federico II", ITALY)
  Mimmo Parente (University of Salerno, ITALY)
  Gabriele Puppis (Oxford University, UK)
  Alexander Rabinovich (Tel Aviv University, ISRAEL)
  Jean Francois Raskin (University of Bruxelles, BELGIUM)
  Colin Stirling (University of Edinburgh, UK)
  Tayssir Touili (University Paris Diderot,  FRANCE)
  Yde Venema (ILLC, University of Amsterdam,  HOLLAND)
  Bow-Yaw Wang  (INRIA, FRANCE and Tsinghua University, CHINA)
  Igor Walukiewicz (LaBRI, University of Bordeaux1, FRANCE)


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)
Oscar H. Ibarra (University of California, USA)
Andrea Maggiolo-Schettini (University of Pisa, ITALY)

ORGANIZING COMMITTEE

TBA

Top of Message | Previous Page | Permalink

JISCMail Tools


RSS Feeds and Sharing


Advanced Options


Archives

April 2014
March 2014
February 2014
January 2014
December 2013
November 2013
October 2013
September 2013
August 2013
July 2013
June 2013
May 2013
April 2013
March 2013
February 2013
January 2013
December 2012
November 2012
October 2012
September 2012
August 2012
July 2012
June 2012
May 2012
April 2012
March 2012
February 2012
January 2012
December 2011
November 2011
October 2011
September 2011
August 2011
July 2011
June 2011
May 2011
April 2011
March 2011
February 2011
January 2011
December 2010
November 2010
October 2010
September 2010
August 2010
July 2010
June 2010
May 2010
April 2010
March 2010
February 2010
January 2010
December 2009
November 2009
October 2009
September 2009
August 2009
July 2009
June 2009
May 2009
April 2009
March 2009
February 2009
January 2009
December 2008
November 2008
October 2008
September 2008
August 2008
July 2008
June 2008
May 2008
April 2008
March 2008
February 2008
January 2008
December 2007
November 2007
October 2007
September 2007
August 2007
July 2007
June 2007
May 2007
April 2007
March 2007
February 2007
January 2007
2006
2005
2004
2003
2002
2001
2000
1999
1998


WWW.JISCMAIL.AC.UK

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager