Hotel Simon, Itatiaia National Park, Rio de Janeiro, Brazil
(In conjunction with XII Encontro Brasileiro de Lógica - EBL'99)
Scientific Sponsorship
Interest Group in Pure and Applied Logics (IGPL)
European Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)
10:00-10:15 Coffee/tea break
10:15-12:15 (with a 10min break)
Markov Decision Processes and Bayesian Networks
by Craig Boutilier
12:15-14:00 Lunch break
14:00-16:00 (with a 10min break)
A Crash Course in Distributive Lattices
by Francisco Miraglia
16:00-16:15 Coffee/tea break
16:15-18:15 (with a 10min break)
Stability and Finite Model Theory
by John Baldwin
18:15-18:30 Coffee/tea break
18:30-20:30 (with a 10min break)
Bounded Arithmetic, Nonstandard Models
by Alan Woods
09:00-10:00 (Invited talk WoLLIC'99/EBL'99) Chair: John Baldwin
Concurrent Games and Full Completeness
by Samson Abramsky, Division of Informatics, Edinburgh University,
United Kingdom
10:00-10:15 Coffee/tea break
10:15-11:15 3 contributed papers (20min each) Chair: Ruy de Queiroz
10:35-10:55 Alpha Conversion in Simply Typed Lambda Calculus
by Ana Bove, Department of Computing Science, Chalmers
University of Technology, Göteborg, Sweden, and
Paula Severi, Centro de Matemática, Facultad de Ciéncias,
Universidad de la República, Uruguay
10:55-11:15 Dependence Analysis Through Type Inference
by Ozan Hafizogullari and Christoph Kreitz, Department of
Computer Science, Cornell University, USA
11:30-12:30 (Invited talk EBL'99/WoLLIC'99) Chair: Antônio Carlos da Rocha Costa
On Generic Reasoning and Ultrafilter Logic
by Paulo Veloso, Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro, Brazil
12:30-14:00 Lunch break
15:00-15:15 Coffee/tea break
15:15-16:15 3 contributed papers (20min each) Chair: Ana Teresa de C. Martins
15:35-15:55 Irrevocable Belief Revision and Epistemic Entrenchment
by Eduardo Fermé, Departamento de Computación, Universidad
de Buenos Aires, Argentina
15:55-16:15 A logic-based system for controlling inconsistencies in
evolutionary databases
by Walter A. Carnielli, Centro de Lógica, Universidade Estadual de Campinas, Brazil, and
Sandra de Amo, Departamento de Informática, Universidade
Federal de Uberlândia, Minas Gerais, Brazil
10:00-10:15 Coffee/tea break
10:15-11:15 3 contributed papers (20min each) Chair: E. Hermann Hauesler
10:35-10:55 On clausal models
by Dusan Guller, Institute of Informatics, Comenius University,
Slovakia
10:55-11:15 (tba)
by (tba)
11:30-12:30 (Invited talk) Chair: Craig Boutilier
Intrinsic theories: a methodology for reasoning about functional
programs and their computational complexity
by Daniel Leivant, Department of Computer Science,
Indiana University, USA
12:30-14:00 Lunch break
15:00-15:15 Coffee/tea break
15:15-16:15 3 contributed papers (20min each) Chair: Mario Benevides
15:35-15:55 A Dynamic Modal Arrow Logic for the Interpretation of
Verb Stems and Voice Affixes in Tagalog
by Ralf Naumann and Anja Latrouite, Seminar für Allgemeine
Sprachwissenschaft, Universität Düsseldorf, Germany
15:55-16:15 The Taming (Timing) of the States
by Angelo Montanari, Adriano Peron and Alberto Policriti,
Dipartimento di Matematica e Informatica, Università
di Udine, Italy
10:00-10:15 Coffee/tea break
10:15-11:15 3 contributed papers (20min each) Chair: Luiz Carlos Pereira
10:35-10:55 A Sequent Calculus for a Paraconsistent Default Logic
by Ana Teresa de C. Martins, Tarcísio Pequeno and Marcelino Pequeno, Departamento
da Computação, Universidade Federal do Ceará,
Brazil
10:55-11:15 A sequent calculus for Lukasiewicz's three-valued logic based
on Suszko's bivalent semantics
by Jean-Yves Béziau, LNCC/CNPq, National Laboratory for
Scientific Computing, Rio de Janeiro, Brazil
11:30-12:30 (Invited talk EBL'99/WoLLIC'99) Chair: Tarcísio Pequeno
(title to be announced)
by Itala D'Ottaviano, Centro de Lógica, Epistemologia e História da Ciência, Universidade Estadual de Campinas, Brazil
12:30 CLOSING
Last modified: May 31, 1999, 16:21:40 GMT-0300.