[TYPES/announce] WoLLIC 2016 Call for Participation

[Ruy de Queiroz]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160610/49d58cef/attachment.html>