As a matter of policy, LINGUIST discourages the use of abbreviations
or acronyms in conference announcements unless they are explained in
the text. To post to LINGUIST, use our convenient web form at
http://linguistlist.org/LL/posttolinguist.html.

Meeting Description 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. Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics.

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 Fourteenth WoLLIC will be held in Rio de Janeiro, Brazil, from July 2 to July 5, 2007, and sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the European Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the Sociedade Brasileira de Computacao (SBC), and the Sociedade Brasileira de Logica (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; 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 www.cin.ufpe.br/~wollic/wollic2007/instructions.html A title and single-paragraph abstract should be submitted by February 23, and the full paper by March 2 (firm date). Notifications are expected by April 13, and final papers for the proceedings will be due by April 27 (firm date).

Proceedings Proceedings, including both invited and contributed papers, will be published in advance of the meeting. Publication venue: Springer's Lecture Notes in Computer Science.

The Linguistics Section of the Romance Department of the Faculty of Arts of the University of Porto and the Centre of Linguistics of the same University are organising an international colloquium with the goal of putting together specialists on theory of change and on change and variation in Romance languages.

Although governed by some abstract universal principles, languages are not a stable and fix phenomenon, being subject to change and variation. Romance languages are not an exception. In the last decades much research has been done in the fields of Historical Linguistics, History of Romance Languages, Sociolinguistics.

There is a lot of interesting questions that can be discussed in this forum:

(i) What recent approaches of the history of Romance Languages can bring to the more general understanding of language change? (ii) Is it possible to establish a correlation between the available results on change and sociolinguistic conditions? (iii) How far can ongoing changes in Romance languages and particularly in Portuguese help us to understand the mechanisms of language change? (iv) To what extent language contact in Africa and other continents is influencing Romance languages?

The International Colloquium on Change and Variation in Portuguese will take place in the Faculty of Arts of the University of Porto (FLUP), in December 13-15, 2007. There are 18 slots of 30 minutes for selected talks of 20m followed by 10m of discussion; the colloquium will also have two invited speakers:

Abstracts cannot exceed two pages of text, with 2.5cm margin of all four sides (A4 paper). Font: Times New Roman, 12 point, line spacing: single. Abstracts may include an extra page for references and examples.

Abstracts should be sent electronically only, as Word or PDR attachments to anamariabritonetcabo.pt (PDF required if it contains special fonts, as phonetic symbols or figures). One copy of the abstract must be sent anonymously and another one with author's name, email address and affiliation. Lay-out for the non-anonymous abstract: first line: title of the paper (in bold); second line: author's name and email address; third line: affiliation.

The languages of the colloquium will be Portuguese, or any other Romance Language, and English.

Deadline for abstract submission: 30th April 2007.

Acceptance notification: 8th June 2007

Further information about the International Colloquium ''Change and variation in Romance'' is available at anamariabritonetcabo.pt