From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id C28B17EF21; Sun, 15 Jun 2014 11:02:29 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sophie.tison@lifl.fr) identity=pra; client-ip=193.49.225.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sophie.tison@lifl.fr"; x-sender="sophie.tison@lifl.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sophie.tison@lifl.fr) identity=mailfrom; client-ip=193.49.225.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sophie.tison@lifl.fr"; x-sender="sophie.tison@lifl.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp02.univ-lille1.fr) identity=helo; client-ip=193.49.225.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sophie.tison@lifl.fr"; x-sender="postmaster@smtp02.univ-lille1.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiwFACdgnVPBMeEUnGdsb2JhbABag19Tu2CHNwSBBhYPAQEBAQEICwkJFCiEJ0sDO30UKIgxBKE4rUAXkTMPRCSBFgQnApoagUOFN4ZhiT+Bfw X-IPAS-Result: AiwFACdgnVPBMeEUnGdsb2JhbABag19Tu2CHNwSBBhYPAQEBAQEICwkJFCiEJ0sDO30UKIgxBKE4rUAXkTMPRCSBFgQnApoagUOFN4ZhiT+Bfw X-IronPort-AV: E=Sophos;i="5.01,480,1400018400"; d="scan'208";a="80133485" Received: from smtp02.univ-lille1.fr ([193.49.225.20]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 15 Jun 2014 11:02:29 +0200 Received: from smtps1.univ-lille1.fr (smtps1.univ-lille1.fr [193.49.225.52]) by smtp02.univ-lille1.fr (8.14.3/8.14.3) with ESMTP id s5F8sDBo024049; Sun, 15 Jun 2014 10:54:13 +0200 Received: from [192.168.0.18] (ip-152.net-81-220-205.roubaix.rev.numericable.fr [81.220.205.152]) (authenticated bits=0) by smtps1.univ-lille1.fr (8.14.3/8.14.3/Debian-5) with ESMTP id s5F8s4lB027529 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO); Sun, 15 Jun 2014 10:54:05 +0200 From: Sophie Tison Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Date: Sun, 15 Jun 2014 10:54:04 +0200 To: Tison Sophie Message-Id: Mime-Version: 1.0 (Mac OS X Mail 6.6 \(1510\)) X-Mailer: Apple Mail (2.1510) X-USTL-MailScanner-Information: Please contact the ISP for more information X-USTL-MailScanner-ID: s5F8sDBo024049 X-USTL-MailScanner: Found to be clean X-USTL-MailScanner-From: sophie.tison@lifl.fr X-Validation-by: sophie.tison@lifl.fr Subject: [Caml-list] Vienna Summer of Logic: Call for participation ***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=F6del 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 * Veronique Cortier * Patrick Cousot * Rod Chapman * Leonardo de Moura * Jasmin Fisher * Nicola Gambino * Rajeev Gor=E9 * Orna Kupferman * Assia Mahboubi * Ken McMillan * David Monniaux * Jakob Nordstr=F6m * 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=E4ger * 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=F6del Research Prize Fellowship Competition: At the Vienna Summer of Logic, the Kurt G=F6del Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt G=F6del 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=F6del 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=F6nbrunn 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 =20 =20