[DL] WoLLIC 2016 Call for Participation
Ruy de Queiroz
ruy at cin.ufpe.br
Fri Jun 10 17:56:43 CEST 2016
TWENTY-THIRD ANNUAL WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND
COMPUTATION (WoLLIC 2016)
16-19 August 2016, Puebla, Mexico
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
Johann A. Makowsky (Technion - Israel Institute of Technology,
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"
Pablo Barceló: "Query languages for graph databases"
Alessandra Parmigiano: "Sahlqvist correspondence via duality and its
Andres Villaveces: "Generalized amalgamation classes and limit models:
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
* SCIENTIFIC SPONSORSHIP
ASL, EACSL, EATCS, FoLLI, IGPL, SBC, SBL
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the dl