<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;"><div><br></div><div><div style="font-family: arial, sans-serif; font-size: 13px;">CALL FOR PARTICIPATION</div><div style="font-family: arial, sans-serif; font-size: 13px;"><br></div><div style="font-family: arial, sans-serif; font-size: 13px;">WoLLIC 2014</div><div style="font-family: arial, sans-serif; font-size: 13px;">21st Workshop on Logic, Language, Information and Computation </div><div style="font-family: arial, sans-serif; font-size: 13px;">September 1st to 4th, 2014</div><div style="font-family: arial, sans-serif; font-size: 13px;">Valparaiso, Chile</div><div style="font-family: arial, sans-serif; font-size: 13px;"><br></div><div style="font-family: arial, sans-serif; font-size: 13px;">(Co-located with ISR 2014 - <a href="http://isr2014.inf.utfsm.cl/" target="_blank">7th International School on Rewriting</a>)</div><div style="font-family: arial, sans-serif; font-size: 13px;"><br></div><div style="font-family: arial, sans-serif; font-size: 13px;">SCIENTIFIC SPONSORSHIP</div><div style="font-family: arial, sans-serif; font-size: 13px;">Interest Group in Pure and Applied Logics (IGPL) </div><div style="font-family: arial, sans-serif; font-size: 13px;">The Association for Logic, Language and Information (FoLLI) </div><div style="font-family: arial, sans-serif; font-size: 13px;">Association for Symbolic Logic (ASL) </div><div style="font-family: arial, sans-serif; font-size: 13px;">European Association for Theoretical Computer Science (EATCS) </div><div style="font-family: arial, sans-serif; font-size: 13px;">European Association for Computer Science Logic (EACSL) </div><div style="font-family: arial, sans-serif; font-size: 13px;">Sociedade Brasileira de Computação (SBC) </div><div style="font-family: arial, sans-serif; font-size: 13px;">Sociedade Brasileira de Lógica (SBL)</div><div style="font-family: arial, sans-serif; font-size: 13px;"><br></div><div style="font-family: arial, sans-serif; font-size: 13px;">ORGANISATION</div><div style="font-family: arial, sans-serif; font-size: 13px;">Department of Computer Science, Universidad de Chile, Chile</div><div style="font-family: arial, sans-serif; font-size: 13px;">Department of Computer Science, Pontificia Universidad Católica de Chile, Chile</div><div style="font-family: arial, sans-serif; font-size: 13px;">Centro de Informática, Universidade Federal de Pernambuco, Brazil </div><div style="font-family: arial, sans-serif; font-size: 13px;"><br></div><div style="font-family: arial, sans-serif; font-size: 13px;">HOSTED BY</div><div style="font-family: arial, sans-serif; font-size: 13px;">Department of Informatics, Universidad Técnica Federico Santa María, Chile </div><div style="font-family: arial, sans-serif; font-size: 13px;"><br></div><div style="font-family: arial, sans-serif; font-size: 13px;">CALL FOR PARTICIPATION</div><div style="font-family: arial, sans-serif; font-size: 13px;">WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and </div><div style="font-family: arial, sans-serif; font-size: 13px;">programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials </div><div style="font-family: arial, sans-serif; font-size: 13px;">as well as contributed papers. The twentieth WoLLIC will be held at the Universidad Técnica Federico Santa </div><div style="font-family: arial, sans-serif; font-size: 13px;">María, from September 1st to 4th, 2014. It is sponsored by the Association for Symbolic Logic (ASL), the </div><div style="font-family: arial, sans-serif; font-size: 13px;">Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information </div><div style="font-family: arial, sans-serif; font-size: 13px;">(FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for </div><div style="font-family: arial, sans-serif; font-size: 13px;">Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade </div><div style="font-family: arial, sans-serif; font-size: 13px;">Brasileira de Lógica (SBL).</div><div style="font-family: arial, sans-serif; font-size: 13px;"><br></div><div style="font-family: arial, sans-serif; font-size: 13px;">INVITED TALKS</div><div style="font-family: arial, sans-serif; font-size: 13px;"><div>Verónica Becher (Universidad de Buenos Aires): <i>On Normal Numbers</i></div><div>Juha Kontinen (University of Helsinki): <i>Dependence Logic</i></div><div>Aarne Ranta (University of Gothenburg): <i>Syntax and Semantics for Translation</i></div><div>Kazushige Terui (Kyoto University): <i>Intersection Types for Normalization and Verification</i></div><div>Luca Vigano (Università di Verona): <i>Modal and Temporal Deduction Systems for Quantum State Transformations</i></div><div>Thomas Wilke (Christian-Albrechts-Universität zu Kiel): <i>Backward Deterministic Büchi Automata</i></div></div><div style="font-family: arial, sans-serif; font-size: 13px;"><br></div><div style="font-family: arial, sans-serif; font-size: 13px;">TUTORIAL LECTURES</div><div style="font-family: arial, sans-serif; font-size: 13px;">Aarne Ranta (University of Gothenburg)<br></div><div style="font-family: arial, sans-serif; font-size: 13px;">Luca Vigano (Università di Verona)<br></div><div style="font-family: arial, sans-serif; font-size: 13px;"><br></div><div style="font-family: arial, sans-serif; font-size: 13px;"><div>EARLY REGISTRATION (UNTIL AUGUST 20TH)</div><div>General: US$ 300 </div><div>Latinamerican students: US$ 150 </div><div>LATE REGISTRATION</div><div>General: US$ 350 </div><div>Latinamerican students: US$ 200</div></div><div style="font-family: arial, sans-serif; font-size: 13px;"><br></div><div style="font-family: arial, sans-serif; font-size: 13px;">PROGRAMME COMMITTEE</div><div style="font-family: arial, sans-serif; font-size: 13px;"><div>Ulrich Kohlenbach (Technische Universität Darmstadt) - Chair</div><div>Natasha Alechina (University of Nottingham)</div><div>Eric Allender (Rutgers University)</div><div>Marcelo Arenas (Pontificia Universidad Católica de Chile)</div><div>Steve Awodey (Carnegie Mellon University)</div><div>Stefano Berardi (Università di Torino)</div><div>Julian Bradfield (University of Edinburgh)</div><div>Xavier Caicedo (Universidad de los Andes de Chile)</div><div>Olivier Danvy (University of Aarhus)</div><div>Hans van Ditmarsch (LORIA)</div><div>Marcus Kracht (University of Bielefeld)</div><div>Michiel van Lambalgen (University of Amsterdam)</div><div>Klaus Meer (Technische Universität Cottbus)</div><div>George Metcalfe (University of Bern)</div><div>Dale Miller (INRIA/LIX)</div><div>Russell Miller (City University of New York)</div><div>Sara Negri (University of Helsinki)</div><div>Grigory Olkhovikov (Urals State University)</div><div>Nicole Schweikardt (Goethe-University Frankfurt am Main)</div><div>Sebastiaan Terwijn (Radboud University Nijmegen)</div></div><div style="font-family: arial, sans-serif; font-size: 13px;"><br></div><div style="font-family: arial, sans-serif; font-size: 13px;">STEERING COMMITTEE</div><div style="font-family: arial, sans-serif; font-size: 13px;">Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, </div><div style="font-family: arial, sans-serif; font-size: 13px;">Leonid Libkin, Angus Macintyre, Grigori Mints (in memoriam), Luke Ong, Hiroakira Ono, Ruy de Queiroz.</div><div style="font-family: arial, sans-serif; font-size: 13px;"><br></div><div style="font-family: arial, sans-serif; font-size: 13px;">ORGANISING COMMITTEE</div><div style="font-family: arial, sans-serif; font-size: 13px;"><span class="" style="background-color: rgb(255, 255, 204);">Pablo</span> Barceló (Universidad de Chile) (Local chair) </div><div style="font-family: arial, sans-serif; font-size: 13px;">Anjolina G. de Oliveira (U Fed Pernambuco) </div><div style="font-family: arial, sans-serif; font-size: 13px;">Ruy de Queiroz (U Fed Pernambuco) (co-chair)</div><div style="font-family: arial, sans-serif; font-size: 13px;">Juan Reutter (Pontificia Universidad Católica de Chile)</div><div style="font-family: arial, sans-serif; font-size: 13px;">Cristián Riveros (Pontificia Universidad Católica de Chile)</div><div style="font-family: arial, sans-serif; font-size: 13px;"><br></div><div style="font-family: arial, sans-serif; font-size: 13px;">FURTHER INFORMATION<br></div><div style="font-family: arial, sans-serif; font-size: 13px;">Contact one of the Co-Chairs of the Organising Committee.</div><div style="font-family: arial, sans-serif; font-size: 13px;"><br></div><div style="font-family: arial, sans-serif; font-size: 13px;">WEB PAGE</div><div style="font-family: arial, sans-serif; font-size: 13px;"><a href="http://wollic.org/wollic2014/" target="_blank">http://wollic.org/wollic2014/</a></div></div></body></html>