[Prev][Next][Index][Thread]
WoLLIC'2002 - Call for Participation
Call for Participation
9th Workshop on Logic, Language, Information and Computation
(WoLLIC'2002)
July 30 to August 2, 2002
Scientific Co-Sponsorship: IGPL, FoLLI, ASL, SBC, SBL
Rio de Janeiro, Brazil
(NEW: PROCEEDINGS AS A VOLUME OF
"Electronic Notes in Theoretical Computer Science" (Elsevier))
THE EVENT
The "9th Workshop on Logic, Language, Information and Computation"
(WoLLIC'2002), the nineth version of a series of workshops which started
in 1994 with the aim of fostering interdisciplinary research in pure and
applied logic, will be held in Rio de Janeiro, Brazil, from July 30 to
August 2, 2002.
SCOPE
Contributions will be presented in the form of short papers in
all areas related to logic, language, information and computation, including:
pure logical systems, proof theory, model theory, algebraic logic, type
theory, category theory, constructive mathematics, lambda and combinatorial
calculi, program logic and program semantics, logics and models of
concurrency, logic and complexity theory, proof complexity,
foundations of cryptography (zero-knowledge proofs), descriptive complexity,
nonclassical logics, nonmonotonic logic, logic and language,
discourse representation, logic and artificial intelligence,
automated deduction, foundations of logic programming,
logic and computation, and logic engineering.
SCIENTIFIC SPONSORSHIP
The 9th WoLLIC'2002 has the scientific sponsorship of 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 Sociedade Brasileira de Computação (SBC), and the Sociedade
Brasileira de Lógica (SBL).
GUEST SPEAKERS
Ricardo Bianconi (Universidade de São Paulo, Brazil)
Felipe Cucker (City University of Hong Kong, China)
Erich Graedel (RWTH Aachen, Germany)
Gopalan Nadathur (University of Minnesota, USA)
Rohit Parikh (City University of New York, USA)
Igor Walukiewicz (Bordeaux University, France)
THE VENUE
The meeting will take place in the campus of the Pontifícia Universidade
Católica do Rio de Janeiro (PUC-Rio). You can visit the University's
web site (in Portuguese) http://www.puc-rio.br, which features a map of
the campus http://www.puc-rio.br/mapa/. For information on Rio de Janeiro,
you may visit the web site for RIOTUR (the city's Official Tourism
Authority): http://www.riodejaneiro-turismo.com.br
TUTORIAL LECTURES
Some model theory of ordered structures
by Ricardo Bianconi
Computing with Real Numbers
by Felipe Cucker
Model Checking Games
by Erich Graedel
The Metalanguage Lambda Prolog and its Implementation
by Gopalan Nadathur
States of Knowledge (tutorial)
by Rohit Parikh
Automata theory and logic (tutorial)
by Igor Walukiewicz
INVITED TALKS
Definability in o-minimal expansions of the real numbers
by Ricardo Bianconi
On sparseness and Turing reducibility over the reals
by Felipe Cucker
Model Checking Games for Fixed Point Logics
by Erich Graedel
Explicit Substitutions and Lambda Term Representations in
Metalanguage Implementations
by Gopalan Nadathur
States of Knowledge
by Rohit Parikh
Deciding low levels of tree-automata hierarchy
by Igor Walukiewicz
BOOK EXHIBITION
The following publishers are expected to be exhibiting various books from
their catalogue, prospectuses, journal samples, etc., and there will be a
chance to purchase items at promotional prices:
The MIT Press
Springer-Verlag
CSLI Publications
A K Peters
Kluwer Acad. Pub.
Cambridge Univ. Press
Oxford Univ. Press
World Scientific
It is likely that a few other international publishers will also take part
in the book exhibit.
PROGRAMME COMMITTEE
Mauricio Ayala-Rincón (Univ de Brasília, Brazil)
Mario Benevides (Univ Federal do Rio de Janeiro, Brazil)
Anuj Dawar (Cambridge Univ, England)
Philippe de Groote (LORIA, France)
Roger Maddux (Iowa State Univ, USA)
Toni Pitassi (Toronto Univ, Canada)
Bruno Poizat (Univ Claude Bernard - Lyon I, France)
Alberto Policriti (Univ di Udine, Italy)
Glynn Winskel (Cambridge Univ, England)
ORGANISING COMMITTEE
Edward Hermann Haeusler (PUC-Rio)
Claus Akira Matsushigue (IME-USP)
Anjolina G. de Oliveira (UFPE)
Luiz Carlos Pereira (PUC-Rio) (Co-Chair)
Ruy de Queiroz (UFPE) (Co-Chair)
Jorge Petrúcio Viana (UFF/UFRJ)
FURTHER INFORMATION
Contact one of the Co-Chairs of the Organising Committee:
Ruy de Queiroz, Centro de Informática, Univ. Federal de Pernambuco,
Av. Prof. Luis Freire s/n, Cidade Universitaria, 50740-540 Recife, PE,
Brazil. E-mail: ruy@cin.ufpe.br, tel. +55 81 3271-8430 fax +55 81 3271-8438.
Luiz Carlos Pereira, Departamento de Filosofia, Pontifícia Universidade
Católica do Rio de Janeiro, R. Marques de Sao Vicente 225,
Rio de Janeiro, RJ, Brazil. E-mail: luiz@inf.puc-rio.br.
WEB PAGE
http://www.cin.ufpe.br/~wollic/wollic2002/
PROGRAMME
TUESDAY, July 30th, 2002 (Tutorial Day)
Tutorials:
08:15-10:15 (with a 10min break) Chair: Igor Walukiewicz
Some model theory of ordered structures
by Ricardo Bianconi (Departamento de Matemática, Instituto de Matemática e Estatística, Universidade de São Paulo, Brazil)
10:15-10:30 Coffee/tea break
10:30-12:30 (with a 10min break) Chair: Gopalan Nadathur
Computing with Real Numbers
by Felipe Cucker (Department of Mathematics, City University of Hong Kong, China)
12:30-14:00 Lunch break
14:00-16:00 (with a 10min break) Chair: Rohit Parikh
Model Checking Games
by Erich Grädel (Mathematische Grundlagen der Informatik, RWTH Aachen, Germany)
16:00-16:15 Coffee/tea break
16:15-18:15 (with a 10min break) Chair: Felipe Cucker
Automata theory and logic: Tutorial
by Igor Walukiewicz (LaBRI, Bordeaux University, France)
WEDNESDAY, July 31st, 2002
Morning: Logic and Language
08:00-08:30 OPENING
08:30-10:30 (with a 10min break) (Tutorial) Chair: Erich Grädel
States of Knowledge (Tutorial)
by Rohit Parikh (Department of Computer and Information Science, Brooklyn College, City University of New York, USA)
10:30-10:45 Coffee/tea break
10:45-11:55 2 contributed papers (35min each) Chair: (tba)
10:45-11:20 A Logic for Ambiguous Description
by Arthur Buchsbaum (Departamento de Informática e Estatística, Universidade Federal de Santa Catarina, Brazil)
11:20-11:55 Dynamic Semantics of Plurals DPL_Q^*
by Norihiro Ogata (Faculty of Language and Culture, Osaka University, Japan)
11:55-13:10 (Invited talk) Chair: Rohit Parikh
On sparseness and Turing reducibility over the reals
by Felipe Cucker (Department of Mathematics, City University of Hong Kong, China)
13:10-14:30 Lunch break
Afternoon: Proof Theory
14:30-16:30 (with a 10min break) (Tutorial) Chair: Felipe Cucker
The Metalanguage Lambda Prolog and its Implementation
by Gopalan Nadathur (Department of Computer Science, University of Minnesota, USA)
16:30-16:45 Coffee/tea break
16:45-18:30 3 contributed papers (35min each) Chair: (tba)
16:45-17:20 Comparing Calculi of Explicit Substitutions with Eta-reduction
by Mauricio Ayala-Rincón (Departamento de Matemática, Universidade de Brasília, Brazil),
Flávio L. C. de Moura (Departamento de Matemática, Universidade de Brasília, Brazil)
and
Fairouz Kamareddine (School of Mathematical and Computational Sciences, Heriot-Watt University, Scotland)
17:20-17:55 Studying provability in implicational intuitionistic logic: the formula tree approach
by Sabine Broda (Departamento de Ciência dos Computadores, Universidade do Porto, Portugal)
and
Luís Damas (Departamento de Ciência dos Computadores, Universidade do Porto, Portugal)
17:55-18:30 On automating the extraction of programs from proofs using product types
by Fairouz Kamareddine (School of Mathematical and Computational Sciences, Heriot-Watt University, Scotland),
François Monin (IRISA, France)
and
Mauricio Ayala-Rincón (Departamento de Matemática, Universidade de Brasília, Brazil)
THURSDAY, August 1st, 2002
Morning: Logic and Knowledge Representation
08:30-09:45 (Invited talk) Chair: Ricardo Bianconi
States of Knowledge
by Rohit Parikh (Department of Computer and Information Science, Brooklyn College, City University of New York, USA)
09:45-10:00 Coffee/tea break
10:00-11:10 2 contributed papers (35min each) Chair: (tba)
10:00-10:35 The Logic of Risky Knowledge
by Henry E. Kyburg, Jr. (Departaments of Philosophy and Computer Science, University of Rochester, and Institute for Human and Machine Cognition, University of West Florida, USA)
and
Choh Man Teng (Institute for Human and Machine Cognition, University of West Florida, USA)
10:35-11:10 A logical approach to A-Prolog
by Mauricio Osorio (Centro de Investigación en Tecnologías de Información y Automatización, Universidad de las Américas, Puebla, México),
Juan Antonio Navarro (Centro de Investigación en Tecnologías de Información y Automatización, Universidad de las Américas, Puebla, México)
and
José Arrazola (Centro de Investigación en Tecnologías de Información y Automatización, Universidad de las Américas, Puebla, México)
11:10-11:25 Coffee/tea break
11:25-12:40 (Invited talk) Chair: Erich Grädel
Explicit Substitutions and Lambda Term Representations in Metalanguage Implementations
by Gopalan Nadathur (Department of Computer Science, University of Minnesota, USA)
12:40-14:30 Lunch break
Afternoon: Logic and Computation Theory
14:30-15:45 (Invited talk) Chair: Ricardo Bianconi
Deciding low levels of tree-automata hierarchy
by Igor Walukiewicz (LaBRI, Bordeaux University, France)
15:45-16:00 Coffee/tea break
16:00-17:10 2 contributed papers (35min each) Chair: (tba)
16:00-16:35 Rank-Based Symbolic Bisimulation (and Model Checking)
by Agostino Dovier (Dipartimento di Matematica e Informatica, Università di Udine, Italy),
Raffaella Gentilini (Dipartimento di Matematica e Informatica, Università di Udine, Italy),
Carla Piazza (Dipartimento di Informatica, Università Cá Foscari di Venezia, Italy),
and
Alberto Policriti (Dipartimento di Matematica e Informatica, Università di Udine, Italy)
16:35-17:10 Continuous Domains and Their Information System Representation as Logical Systems
by Benjamín René Callejas Bedregal (Departamento de Informática e Matemática Aplicada, Universidade Federal do Rio Grande do Norte, Brazil)
and
Ivanosca Andrade da Silva (Departamento de Informática e Matemática Aplicada, Universidade Federal do Rio Grande do Norte, Brazil)
17:10-17:25 Coffee/tea break
17:25-18:35 2 contributed papers (35 min each) Chair: (tba)
17:25-18:00 A Branching Time Logical System for Open Distributed Systems Development
by Carlos H. C. Duarte (BNDES, and Universidade Estácio de Sá, Brazil)
and
Tom Maibaum (Departament of Computer Science, King's College London, England)
18:00-18:35 Requirements, specifications, and minimal refinement
by Nikos Gorogiannis (School of Computer Science, University of Birmingham, England)
and
Mark Ryan (School of Computer Science, University of Birmingham, England)
FRIDAY, August 2nd, 2002
Morning: Logic, Model Theory, and Definability
08:00-09:15 (Invited talk) Chair: Igor Walukiewicz
Model Checking Games for Fixed Point Logics
by Erich Grädel (Mathematische Grundlagen der Informatik, RWTH Aachen, Germany)
09:15-09:30 Coffee/tea break
09:30-11:15 3 contributed papers (35min each) Chair: (tba)
09:30-10:05 Computable Queries for Object Oriented Databases - The FINSET Case
by Klaus-Dieter Schewe (Department of Information Systems, Massey University, New Zealand)
and
Jose-Maria Turull-Torres (Department of Information Systems, Massey University, New Zealand)
10:05-10:40 A Completeness Result for Relation Algebra with Binders
by Renata P. de Freitas (COPPE-UFRJ, Brazil)
and
Jorge Petrúcio Viana (COPPE-UFRJ and IM-UFF, Brazil)
10:40-11:15 Non Truth-Functional Many-Valuedness
by Jean-Yves Béziau (Laboratório Nacional de Computação Científica, Rio de Janeiro, Brazil)
11:15-11:30 Coffee/tea break
11:30-12:45 (Invited talk) Chair: Gopalan Nadathur
Definability in o-minimal expansions of the real numbers
by Ricardo Bianconi (Departamento de Matemática, Instituto de Matemática e Estatística, Universidade de São Paulo, Brazil)
12:45 CLOSING
------------