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) 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
* Patrick Cousot
* Rod Chapman
* Leonardo de Moura
* Jasmin Fisher
* Nicola Gambino
* Rajeev Goré
* 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 Kołodziejczyk
* 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 1st 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
--
+------------------------------------------------------------------------------+
| Manuel Carro --- E.T.S. Ing. Informaticos -- U. Politécnica de Madrid (UPM) |
| Campus de Montegancedo --- E-28660 Boadilla del Monte --- Spain |
| Phone: +34-91-101-2202 ext 4140 |
