16-19 Aug 2016
Puebla, Mexico
TWENTY-THIRD ANNUAL WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND
COMPUTATION (WoLLIC 2016)
16-19 August 2016, Puebla, Mexico
http://wollic.org/wollic2016/
http://www.wollic.cs.buap.mx/registration.html
* EVENT
WoLLIC 2016 will be hosted in Puebla, Mexico during August 16-18, 2016.
* INVITED TALKS
Pablo Barceló (Universidad de Chile, Chile): "Semantic Acyclicity for
Conjunctive Queries: Approximations and Constraints"
Dana Barto?ová (Univ São Paulo, Brazil): "Ultrafilters in dynamics and
Ramsey theory"
Johann A. Makowsky (Technion - Israel Institute of Technology,
Israel): "Semantic
Equivalence of Graph Polynomials Definable in Second Order Logic"
Alessandra Palmigiano (TU Delft, The Netherlands): "Proof systems for
the logics for social behavior"
Sonja Smets (University of Amsterdam, The Netherlands): "Informational
Cascades: A Test for Rationality?"
Andres Villaveces (Universidad Nacional de Colombia, Colombia): "Sheaves
of Metric Structures"
* TUTORIALS
Pablo Barceló: "Query languages for graph databases"
Alessandra Parmigiano: "Sahlqvist correspondence via duality and its
applications"
Andres Villaveces: "Generalized amalgamation classes and limit models:
implicit logics"
Johann A. Makowsky: "When is P=NP over arbitrary structures?"
* SPECIAL SESSION
As a tribute to a recent breakthrough in mathematics, there will be a
screening of G. Csicsery's "Counting from Infinity: Yitang Zhang and the
Twin Prime Conjecture" (2015) which centers on the life and work of Yitang
Zhang in the celebrated Twin Prime Conjecture, the result that there are
infinitely pairs of primes separated by at most 70 million.
* ACCEPTED PAPERS
http://www.wollic.cs.buap.mx/accepted.html
* SCIENTIFIC SPONSORSHIP
ASL, EACSL, EATCS, FoLLI, IGPL, SBC, SBL
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam