[TYPES/announce] WoLLIC 2014 - Call for Papers (DEADLINE APPROACHING)

Ruy de Queiroz ruy at cin.ufpe.br
Wed Mar 12 17:17:48 EDT 2014


DEADLINE APPROACHING!


[Please circulate. Apologies for any cross-postings.]


WoLLIC 2014
21st Workshop on Logic, Language, Information and Computation
September 1st to 4th, 2014
Valparaiso, Chile


SCIENTIFIC SPONSORSHIP
Interest Group in Pure and Applied Logics (IGPL)
The Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL)
European Association for Theoretical Computer Science (EATCS)
European Association for Computer Science Logic (EACSL)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)

ORGANISATION
Department of Computer Science, Universidad de Chile, Chile
Department of Computer Science, Pontificia Universidad Católica de Chile,
Chile
Centro de Informática, Universidade Federal de Pernambuco, Brazil

HOSTED BY
Department of Informatics, Universidad Técnica Federico Santa María, Chile


CALL FOR PAPERS
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 twentieth WoLLIC will be held at the
Universidad Técnica Federico Santa María, from September 1st to 4th, 2014.
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).

PAPER SUBMISSION
Contributions are invited on all pertinent subjects, with particular
interest in cross-disciplinary topics. Typical but not exclusive areas of
interest are: foundations of computing and programming; novel computation
models and paradigms; broad notions of proof and belief; proof mining, type
theory, effective learnability; formal methods in software and hardware
development; logical approach to natural language and reasoning; logics of
programs, actions and resources; foundational aspects of information
organization, search, flow, sharing, and protection. Proposed contributions
should be in English, and consist of a scholarly exposition accessible to
the non-specialist, including motivation, background, and comparison with
related works. They must not exceed 10 pages (in font 10 or higher), with
up to 5 additional pages for references and technical appendices. The
paper's main results must not be published or submitted for publication in
refereed venues, including journals and other scientific meetings. It is
expected that each accepted paper be presented at the meeting by one of its
authors. Papers must be submitted electronically at the WoLLIC 2014
EasyChair website. (Please go to
http://wollic.org/wollic2014/instructions.html for instructions.) A title
and single-paragraph abstract should be submitted by Mar 24, 2014, and the
full paper by Mar 28, 2014 (firm date). Notifications are expected by May
2, 2014, and final papers for the proceedings will be due by May 15, 2014
(firm date).

PROCEEDINGS
The proceedings of WoLLIC 2014, including both invited and contributed
papers, will be published in advance of the meeting as a volume 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 2014
issue of a scientific journal (to be confirmed).

INVITED SPEAKERS
Verónica Becher (Universidad de Buenos Aires)
Juha Kontinen (University of Helsinki)
Aarne Ranta (University of Gothenburg)
Kazushige Terui (Kyoto University)
Luca Vigano (Università di Verona)
Thomas Wilke (Christian-Albrechts-Universität zu Kiel)

STUDENT GRANTS
ASL sponsorship of WoLLIC 2014 will permit ASL student members to apply for
a modest travel grant (deadline: May 1st, 2014). See
http://www.aslonline.org/studenttravelawards.html for details.

IMPORTANT DATES
Mar 24, 2014: Paper title and abstract deadline
Mar 28, 2014: Full paper deadline
May 2, 2014: Author notification
May 15, 2014: Final version deadline (firm)

PROGRAMME COMMITTEE
Ulrich Kohlenbach (Technische Universität Darmstadt) - Chair
Natasha Alechina (University of Nottingham)
Eric Allender (Rutgers University)
Marcelo Arenas (Pontificia Universidad Católica de Chile)
Steve Awodey (Carnegie Mellon University)
Stefano Berardi (Università di Torino)
Julian Bradfield (University of Edinburgh)
Xavier Caicedo (Universidad de los Andes de Chile)
Olivier Danvy (University of Aarhus)
Hans van Ditmarsch (LORIA)
Marcus Kracht (University of Bielefeld)
Michiel van Lambalgen (University of Amsterdam)
Klaus Meer (Technische Universität Cottbus)
George Metcalfe (University of Bern)
Dale Miller (INRIA/LIX)
Russell Miller (City University of New York)
Sara Negri (University of Helsinki)
Grigory Olkhovikov (Urals State University)
Nicole Schweikardt (Goethe-University Frankfurt am Main)
Sebastiaan Terwijn (Radboud University Nijmegen)

STEERING COMMITTEE
Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Daniel Leivant, Leonid Libkin, Angus Macintyre, Grigori Mints, Luke
Ong, Hiroakira Ono, Ruy de Queiroz.

ORGANISING COMMITTEE
Pablo Barceló (Universidad de Chile) (Local chair)
Anjolina G. de Oliveira (U Fed Pernambuco)
Ruy de Queiroz (U Fed Pernambuco) (co-chair)
Juan Reutter (Pontificia Universidad Católica de Chile)
Cristián Riveros (Pontificia Universidad Católica de Chile)

FURTHER INFORMATION
Contact one of the Co-Chairs of the Organising Committee.

WEB PAGE
http://wollic.org/wollic2014/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140312/600ea81e/attachment.html>


More information about the Types-announce mailing list