<div dir="ltr">TWENTY-THIRD ANNUAL WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2016)<br><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote">
  16-19 August 2016, Puebla, Mexico<br>  <a href="http://wollic.org/wollic2016/" target="_blank">http://wollic.org/wollic2016/</a><br>  <a href="http://www.wollic.cs.buap.mx/registration.html" target="_blank">http://www.wollic.cs.buap.mx/registration.html</a><br>
* EVENT<br>
  WoLLIC 2016 will be hosted in Puebla, Mexico during August 16-18, 2016.<br>
* INVITED TALKS<br>   Pablo Barceló (Universidad de Chile, Chile): "<span style="font-size:13px">Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints"</span></div><div class="gmail_quote">   Dana Bartošová (Univ São Paulo, Brazil): "<span style="font-size:13px">Ultrafilters in dynamics and Ramsey theory"</span></div><div class="gmail_quote">   Johann A. Makowsky (Technion - Israel Institute of Technology, Israel): "<span style="font-size:13px">Semantic Equivalence of Graph Polynomials Definable in Second Order Logic"</span> <br><div class="gmail_quote">   Alessandra Palmigiano (TU Delft, The Netherlands): "Proof systems for the logics for social behavior" </div><div class="gmail_quote">   Sonja Smets (University of Amsterdam, The Netherlands): "<span style="font-size:13px">Informational Cascades: A Test for Rationality?"</span> </div><div class="gmail_quote">   Andres Villaveces (Universidad Nacional de Colombia, Colombia): "<span style="font-size:13px">Sheaves of Metric Structures"</span></div><div class="gmail_quote"><span style="font-size:13px">* TUTORIALS</span></div><div class="gmail_quote"><span style="font-size:13px">   </span>Pablo Barceló: "Query languages for graph databases"</div><div class="gmail_quote">   Alessandra Parmigiano: "Sahlqvist correspondence via duality and its applications"</div><div class="gmail_quote">   Andres Villaveces: "Generalized amalgamation classes and limit models: implicit logics"</div><div class="gmail_quote">   Johann A. Makowsky: "When is P=NP over arbitrary structures?"</div><div class="gmail_quote">* SPECIAL SESSION</div><div class="gmail_quote">   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.  </div>
* ACCEPTED PAPERS<br>  <a href="http://www.wollic.cs.buap.mx/accepted.html" target="_blank">http://www.wollic.cs.buap.mx/accepted.html</a><br>* SCIENTIFIC SPONSORSHIP</div><div class="gmail_quote">  ASL, EACSL, EATCS, FoLLI, IGPL, SBC, SBL</div><div class="gmail_quote"><br>   </div></div>
</div><br></div>