(please circulate; apologies for any cross-postings)
WoLLIC 2010
17th Workshop on
Logic, Language, Information and Computation
July 6th to 9th, 2010
Universidade de Brasília,
Brasília, Brazil
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)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)
Funding
(tbc)
Special:
A screening of I want to be a
mathematician: A conversation with Paul Halmos
Organisation
Department of Mathematics, Universidade
de Brasília, Brazil
Centro de Informática, Universidade
Federal de Pernambuco, Brazil
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
Seventeenth WoLLIC will be held in Brasília, Brazil, from July 6th to
9th, 2010. It is sponsored by theAssociation
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 Sociedade
Brasileira de Computação (SBC),
and the Sociedade Brasileira de Lógica (SBL).
Special Event
2010 will mark the 50-th anniversary of the first publication of Paul
Halmos' classic book Naïve
Set Theory by Springer
Verlag. WoLLIC will celebrate this by screening the documentary about
Paul Halmos which was directed by George Csicsery: "I want to be a
mathematician. A conversation with Paul Halmos"
http://zalafilms.com/films/halmos.html
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;
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 2010 EasyChair website (soon to be announced). A title
and single-paragraph abstract should be submitted by February 28, and
the full paper by March 7 (firm date). Notifications are expected by
April 12, and final papers for the proceedings will be due by May 3
(firm date).
Proceedings
The proceedings of WoLLIC 2010, including both invited and contributed
papers, will be published in advance of the meeting as a volume in
Springer's LNCS series (TBC). 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 2010 issue of a scientific journal
(soon to be announced).
Invited Speakers
(tba)
Student Grants
ASL sponsorship of WoLLIC 2010 will permit ASL student members to apply
for a modest travel grant (deadline: April 1, 2010). Seehttp://www.aslonline.org/studenttravelawards.html for details.
Important Dates
February 28, 2010: Paper title and abstract deadline
March 7, 2010: Full paper deadline (firm)
April 12, 2010: Author notification
May 3, 2010: Final version deadline (firm)
Programme Committee
Organising Committee
Further information
Contact one of the Co-Chairs of the Organising Committee.
Web page
http://wollic.org/wollic2010/
Steering committee
Samson Abramsky, Johan van Benthem, Joe Halpern, Wilfrid Hodges, Daniel
Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz
|