[Agda] Vienna Summer of Logic: Call for participation

[Sophie Tison]

***Vienna Summer of Logic: Call for Participation***

Vienna, Austria

July 9-24, 2014

http://vsl2014.logic.at

Registration deadline: June 30, 2014

Link to VSL Video: http://vimeo.com/98030762

*The Vienna Summer of Logic (VSL) is organized by the Kurt Gödel Society
(http://kgs.logic.at <http://kgs.logic.at/>) and will be held in Vienna,
Austria in July 2014, at the Vienna University of Technology
(http://www.tuwien.ac.at).

*The VSL will consist of twelve large conferences and more than 80
workshops, attracting more than 2000 researchers from all over the
world. The event includes three streams, Logic in Computer
Science/Federated Logic Conference (FLoC), Mathematical Logic and Logic
in Artificial Intelligence.

Logic in Computer Science / Federated Logic Conference

  * 26th International Conference on Computer Aided Verification (CAV)
  * 27th IEEE Computer Security Foundations Symposium (CSF)
  * 30th International Conference on Logic Programming (ICLP)
  * 7th International Joint Conference on Automated Reasoning (IJCAR)
  * 5th Conference on Interactive Theorem Proving (ITP)
  * Joint meeting of the 23rd EACSL Annual Conference on Computer
    Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in
    Computer Science (LICS)
  * 25th International Conference on Rewriting Techniques and
    Applications (RTA) joint with the 12th International Conference on
    Typed Lambda Calculi and Applications (TLCA)
  * 17th International Conference on Theory and Applications of
    Satisfiability Testing (SAT)
  * FLoC Workshops
  *   FLoC Olympic Games (System Competitions)
  * SAT/SMT Summer School 2014

Mathematical Logic

  * Logic Colloquium 2014 (LC)
  * Logic, Algebra and Truth Degrees 2014 (LATD)
  * Compositional Meaning in Logic (GeTFun 2.0)
  * The Infinity Workshop (INFINITY)
  * Workshop on Logic and Games (LG)
  * Workshop on Nonclassical Proofs: Theory, Applications and Tools
  * Kurt Goedel Fellowship Competition

Logic in Artificial Intelligence

  * 14th International Conference on Principles of Knowledge
    Representation and Reasoning (KR)
  * 27th International Workshop on Description Logics (DL)
  * 15th International Workshop on Non-Monotonic Reasoning (NMR)
  * International Workshop on Knowledge Representation for Health Care
    2014 (KR4HC)


*Program:

Keynote talks:

  * Franz Baader
  * Edmund Clarke
  * Christos Papadmitriou
  * Dana Scott (opening talk)
  * Alex Wilkie

Invited talks of the FLoC conferences:

  * Alessandro Acquisti
  * Christel Baier
  * Gilles Barthe
  * Rance Cleaveland
  * Veronique Cortier
  * Patrick Cousot
  * Rod Chapman
  * Leonardo de Moura
  * Jasmin Fisher
  * Nicola Gambino
  * Rajeev Goré
  * Orna Kupferman
  * Assia Mahboubi
  * Ken McMillan
  * David Monniaux
  * Jakob Nordström
  * Frank Piessens
  * Manfred Schmidt-Schauss
  * Peter Sewell
  * Anna Slobodova
  * Fabio Somenzi
  * Erik Winfree
  * Nobuko Yoshida

Invited talks of the Logic in AI conferences:

  * Michael Benedikt
  * Philippe Besnard
  * Patrick Blackburn
  * Tony Cohn
  * Georg Gottlob
  * Alon Y. Halevy
  * Sheila McIlraith
  * Hans Rott


Invited talks of the Mathematical Logic conferences:

  * Krzysztof Apt
  * Franz Baader
  * Andrej Bauer
  * Patty Blanchette
  * Andres Cordon Franco
  * Kirsten Eisenträger
  * Vera Fischer
  * Melvin Fitting
  * Silvio Ghilardi
  * Noam Greenberg
  * Julia Knight
  * Leszek Kolodziejczyk
  * Vincenzo Marra
  * George Metcalfe
  * Ben Miller
  * Dale Miller
  * Alexandre Miquel
  * Mark Reynolds
  * Dana Scott
  * Mariya Soskova
  * Alasdair Urquhart
  * Albert Visser

Please consult the VSL website for further information on invited
speakers and contributed talks of all the participating conferences and
workshops.

*Kurt Gödel Research Prize Fellowship Competition:

At the Vienna Summer of Logic, the Kurt Gödel Society will award three
fellowship prizes endowed with 100.000 Euro each to the winners of the
Kurt Gödel Research Prize Fellowship Competition "Logical Mind:
Connecting Foundations and Technology."

*FLoC Olympic Games - Citius, Maius, Potentius:

The Federated Logic Conference (FLoC) 2014 will host the 1^st FLoC
Olympic Games.Intended as a new FLoC tradition, the Games will bring
together a multitude of established solver competitions by different
research communities. In addition to the competitions, the Olympic Games
will facilitate the exchange of expertise between communities, and
increase the visibility and impact of state-of-the-art solver
technology. The winners in the competition categories will be awarded
Kurt Gödel medals at the FLoC Olympic Games award ceremonies.

*Banquets and receptions:

The VSL social program offers a taste of Viennese architecture and
cuisine -- be prepared for the beauty of Schönbrunn Palace and its
gardens, as well as for the grandeur of the Vienna City Hall and the
Museum of Natural History.

*The city of Vienna:

A city rich in history and culture, Vienna is the perfect venue for the
summer of logic. Discover Vienna's museums, gardens, palaces and coffee
places while you experience the largest gathering of logicians in history.

*Registration:

For online registration for VSL, please follow the link on this VSL web
page: http://vsl2014.at/registration/

The registration deadline is June 30, 2014.

*VSL Chairs:

Matthias Baaz
Thomas Eiter
Helmut Veith