<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><br class=""></div><div class="">CALL FOR PARTICIPATION</div><div class=""><br class=""></div><div class="">WoLLIC 2015</div><div class="">22nd Workshop on Logic, Language, Information and Computation </div><div class="">July 20-23, 2015</div><div class="">Bloomington, IN, USA</div><div class=""><br class=""></div><div class="">CO-LOCATED WITH</div><div class="">Conference on Computing Natural Reasoning (<a href="http://www.indiana.edu/~iulg/wollic/coconat.htm" target="_blank" class="">CoCoNat'15</a>)</div><div class="">July 19-20, 2015</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">SCIENTIFIC SPONSORSHIP</div><div class="">Interest Group in Pure and Applied Logics (IGPL) </div><div class="">The Association for Logic, Language and Information (FoLLI) </div><div class="">Association for Symbolic Logic (ASL) </div><div class="">European Association for Theoretical Computer Science (EATCS) </div><div class="">European Association for Computer Science Logic (EACSL) </div><div class="">Sociedade Brasileira de Computação (SBC) </div><div class="">Sociedade Brasileira de Lógica (SBL)</div><div class=""><br class=""></div><div class="">ORGANISATION</div><div class="">Department of Computer Science, Indiana University, USA</div><div class="">Program in Pure and Applied Logic, Indiana University, USA</div><div class="">Centro de Informática, Universidade Federal de Pernambuco, Brazil </div><div class=""><br class=""></div><div class="">HOSTED BY</div><div class="">Department of Computer Science, Indiana University, USA </div><div class=""><br class=""></div><div class="">CALL FOR PARTICIPATION</div><div class="">WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-second WoLLIC will be held at the Department of Computer Science, Indiana University, Bloomington, from July 20th to 23rd, 2015. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).</div><div class=""><br class=""></div><div class="">PROCEEDINGS</div><div class="">The proceedings of WoLLIC 2015, including both invited and contributed papers, will be published in advance of the meeting as volume 9160 in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2015 issue of Mathematical Structures in Computer Science, CUP (tbc).</div><div class=""><br class=""></div><div class="">INVITED TALKS</div><div class="">. Adriana Compagnoni (Stevens Institute, USA) </div><div class=""> <i class="">Modeling Language Design for Complex Systems Simulation</i></div><div class="">. Nina Gierasimczuk (University of Amsterdam) </div><div class=""> <i class="">Learning in the Limit, General Topology and Modal Logic</i></div><div class="">. John Harrison (Intel, USA) </div><div class=""> <i class="">Formalization of Mathematics for Fun and Profit</i> </div><div class="">. Peter Jipsen (Chapman U, USA) </div><div class=""> <i class="">From Residuated Lattices via GBI-algebras to BAOs</i> </div><div class="">. André Joyal (U du Québec Montreal, Canada) </div><div class=""> <i class="">Categories of Games</i> </div><div class="">. Mehrnoosh Sadrzadeh (Queen Mary, UK) </div><div class=""> <i class="">Multi-Linear Algebraic Semantics for Natural Language </i></div><div class="">. Chung-chieh Shan (Indiana U, USA) </div><div class=""> (tba)</div><div class="">. Alexandra Silva (Radboud U Nijmegen, The Netherlands) </div><div class=""> <i class="">Towards a Nominal Chomsky Hierarchy.</i></div><div class=""><br class=""></div><div class="">TUTORIALS</div><div class="">Nina Gierasimczuk (University of Amsterdam) </div><div class="">John Harrison (Intel, USA) </div><div class="">André Joyal (U du Québec Montreal, Canada) </div><div class="">Alexandra Silva (Radboud U Nijmegen, The Netherlands) </div><div class=""><br class=""></div><div class="">SPECIAL SESSION: SCREENING OF MOVIES ABOUT MATHEMATICIANS</div><div class="">In remembrance of the 30th anniversary of the passing away of Julia Hall Bowman Robinson (December 8, 1919 – July 30, 1985), an American mathematician best known for her work on decision problems and Hilbert's Tenth Problem, the program of the meeting will include a screening of George Csicsery's documentary "Julia Robinson and Hilbert's Tenth Problem" (2008). As a tribute to a recent breakthrough in mathematics, there will also be a screening of Csicsery's "Counting from Infinity: Yitang Zhang and the Twin Prime Conjecture" (2015) which centers on a very exciting string of mathematical discoveries that occurred during 2013, started when Yitang Zhang, a virtually unknown mathematician working as adjunct professor at the University of New Hampshire, submitted a paper to the Annals of Mathematics in April 2013.</div><div class=""><br class=""></div><div class="">PROGRAMME COMMITTEE</div><div class="">Juliana Küster Filipe Bowles (U St Andrews, Scotland)</div><div class="">Robin Cooper (U Gothenburg, Sweden)</div><div class="">Martín Escardó (U Birmingham, UK)</div><div class="">Nikos Galatos (U Denver, USA)</div><div class="">Achim Jung (U Birmingham, UK)</div><div class="">Sara Kalvala (U Warwick, UK)</div><div class="">Elham Kashefi (Edinburgh U, Scotland)</div><div class="">Peter Lefanu Lumsdaine (Institute for Advanced Study, USA)</div><div class="">Ian Mackie (U Sussex, UK)</div><div class="">Gerard de Melo (Tsinghua U, China)</div><div class="">Vivek Nigam (Federal U of Paraíba, Brazil)</div><div class="">Catarina Dutilh Novaes (U Groningen, The Netherlands)</div><div class="">Valeria de Paiva (Nuance Comm, USA) (CHAIR) </div><div class="">Luiz Carlos Pereira (PUC-Rio, Brazil)</div><div class="">Elaine Pimentel (Federal U of Rio Grande do Norte, Brazil)</div><div class="">Alexandra Silva (Radboud Nijmegen U, The Netherlands)</div><div class="">Carolyn Talcott (SRI International, USA)</div><div class="">Josef Urban (Radboud Nijmegen U, The Netherlands)</div><div class="">Laure Vieu (IRIT-Toulouse, France) </div><div class="">Renata Wasserman (U São Paulo, Brazil)</div><div class="">Anna Zamansky (U Haifa, Israel)</div><div class=""><br class=""></div><div class="">STEERING COMMITTEE</div><div class="">Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Ruy de Queiroz.</div><div class=""><br class=""></div><div class="">ORGANISING COMMITTEE</div><div class="">Daniel Leivant (Indiana U) (Local co-chair)</div><div class="">Larry Moss (Indiana U) (Local co-chair)</div><div class="">Anjolina G. de Oliveira (U Fed Pernambuco) </div><div class="">Ruy de Queiroz (U Fed Pernambuco) (co-chair)</div><div class=""><br class=""></div><div class="">REGISTRATION</div><div class="">Now open at <a href="http://www.indiana.edu/~iulg/wollic/registration.html" target="_blank" class="">http://www.indiana.edu/~iulg/wollic/registration.html</a></div><div class=""><br class=""></div><div class="">ACCOMODATION</div><div class="">Please visit <a href="http://www.indiana.edu/~iulg/wollic/venue.html" target="_blank" class="">http://www.indiana.edu/~iulg/wollic/venue.html</a></div><div class=""><br class=""></div><div class="">FURTHER INFORMATION</div><div class="">Contact one of the Co-Chairs of the Organising Committee.</div><div class=""><br class=""></div><div class="">WEB PAGE</div><div class=""> <a href="http://www.indiana.edu/~iulg/wollic" target="_blank" class="">www.indiana.edu/~iulg/wollic</a></div></body></html>