[Prev][Next][Index][Thread]
WoLLIC'98  Programme and CfP

To: types@cs.indiana.edu

Subject: WoLLIC'98  Programme and CfP

From: Ruy de Queiroz <ruy@di.ufpe.br>

Date: Fri, 26 Jun 1998 08:58:20 0300 (EST)

DeliveryDate: Fri, 26 Jun 1998 06:59:08 0500
5th Workshop on Logic, Language, Information and Computation (WoLLIC'98)
July 2831, 1998 (Tutorial Day: July 28th)
IMEUSP, Sao Paulo, Brazil
Scientific Sponsorship: IGPL, FoLLI, ASL, SBC, SBL
Financial Support: CAPES, CNPq, FAPESP
FINAL PROGRAMME and Call for Participation
For details (including Registration Form and Accommodation) see:
http://www.ime.usp.br/~wollic
***********************
Wednesday July 28th, 1998 (Tutorial Day)
***********************
TUTORIAL LECTURES:
08:1510:15 (with a 10min break)
Descriptive Complexity
by Heinz Dieter Ebbinghaus
(15min break)
10:3012:30 (with a 10min break)
Modal Model Theory
by Maarten de Rijke
12:3014:00 (Lunch Break)
14:0016:00 (with a 10min break)
(title to be announced)
by Edmund Clarke
(15min break)
16:1518:15 (with a 10min break)
Provability Operators
by Sergei Artemov
(15min break)
18:3020:30 (with a 10min break)
An Introduction to "Basic Logic"
by Giovanni Sambin
(Sam Buss' tutorial lecture will be given on Wednesday 29th, at 11:25am)

***********************
Wednesday July 29th, 1998
***********************
08:15: Opening
Morning: Logic and Language
08:3009:45 (Invited talk) Chair: Heinz Dieter Ebbinghaus
(title to be announced)
by Hans Kamp
09:4509:55 Coffee/Tea break
09:5511:15 4 contributed papers (20 min each) Chair: Ruy de Queiroz
09:5510:15 An Extension of DRT with Questions to Analyze Topic
Implicatures
by Peter Krause
10:1510:35 A Dynamic Logic of Events and States for the Interaction
between Plural Quantification and Verb Aspect in Natural Language
by Ralf Naumann
10:3510:55 Occurrence Graph Grammars
by Leila R. Korff
10:5511:15 Towards a General Model for the Representation of Negated
Nuanced Properties in a Fuzzy Context
by Daniel Pacholczyk and Bernard Levrat
11:1511:25 Coffee/Tea break
11:2513:25 (with a 15min break) (Tutorial)
(title to be announced)
by Sam Buss
13:2514:30 Lunch break
Afternoon: Modal and Temporal Logics
14:3015:45 (Invited talk) Chair: Giovanni Sambin
Managing Fragments
by Maarten de Rijke
15:4515:55 Coffee/Tea break
15:5517:15 4 contributed papers (20 min each) Chair: Ana Cristina V. de Melo
15:5516:15 Interpolation and Bisimulation in Temporal Logic
by Carlos Areces and Maarten de Rijke
16:1516:35 Temporal Logic of Causal Knowledge
by Wojciech Penczek
16:3516:55 Characterising Timing Analyses in Intuitionistic Modal Logic
by Michael Mendler
16:5517:15 The Algebraic MuCalculus and MTBDDs
by Christel Baier and Edmund Clarke
17:1517:25 Coffee/Tea break
17:2518:40 (Invited talk) Chair: Sergei Artemov
Symbolic Model Checking
by Edmund Clarke
20:30 Welcome Reception/Cocktail
**********************
Thursday July 30th, 1998
**********************
Morning: Proof Theory
08:3009:45 (Invited talk) Chair: Edmund Clarke
The Complexity of the Disjunction and Existential Properties
by Sam Buss
09:4509:55 Coffee/Tea break
09:5511:15 4 contributed papers (20 min each) Chair: Marcelo Finger
09:5510:15 A System of Analytic QuasiClassical Logic
by Carlos A. Oller
10:1510:35 Mixed Intuitionistic Linear Logic
by Akim Demaille
10:3510:55 Distributive Linear Logic
by Jean Leneutre
10:5511:15 FormulaeasResources Management for an Intuitionistic
Theorem Prover
by Didier Galmiche and D. LarcheyWendling
11:1511:25 Coffee/Tea break
11:2512:40 (Invited talk) Chair: Maarten de Rijke
Logic of Proofs
by Sergei Artemov
12:4014:30 Lunch break
Afternoon: Categorical Logic
14:3015:45 (Invited talk) Chair: Hans Kamp
xSLAM: The eXplicit Substitutions Linear Abstract Machine or
Implementing Linear Logic
by Valeria de Paiva
15:4515:55 Coffee/Tea break
15:5517:15 4 contributed papers (20 min each) Chair: E. Hermann Haeusler
15:5516:15 The Logic of a Tos
by Ryan Shelswell and Michael Johnson
16:1516:35 Selective Lambek Syntactic Calculus
by Marcelo da Silva Correa and Edward Hermann Haeusler
16:3516:55 A New Model Construction for Higher Type Systems
by Dieter Spreen
16:5517:15 Generalization in $\lambda 2$
by Jianguo Lu, Masateru Harao, and Masami Hagiya
**********************
Friday July 31st, 1998
**********************
Morning: Logic and Complexity Theory
08:3009:45 (Invited talk) Chair: Sam Buss
Is there a logic for polynomial time?
by Heinz Dieter Ebbinghaus
09:4509:55 Coffee/Tea break
09:5511:15 4 contributed papers (20 min each) Chair: Ruy de Queiroz
09:5510:15 Generating hard tautologies using predicate logic and
the symmetric group
by Soren Riis and Meera Sitharam
10:1510:35 Function Inversion
by Nachum Dershowitz and Subrata Mitra
10:3510:55 Very Efficient PatternMatching for Overlapping Patterns
by Nadia Nedjah and Luiza de Macedo Mourelle
10:5511:15 POM Semantics for 1Safe Petri Nets
by Edelweis H.A. Garcez, Francisco A.M. Nascimento and Wolfgang Rosenstiel
11:1511:25 Coffee/Tea break
11:2512:40 (Invited talk) Chair: Valeria de Paiva
On the Boundedness Problem for Fragments of FirstOrder Logic
by Phokion Kolaitis
12:4014:30 Lunch break
Afternoon: Constructive Logics and Semantics of Computation
14:3015:45 (Invited talk) Chair: Phokion Kolaitis
Formal Topology via the Basic Picture
by Giovanni Sambin
15:4515:55 Coffee/Tea break
15:5517:15 4 contributed papers (20 min each) Chair: Flavio Correa da Silva
15:5516:15 Models of Logic Programs w.r.t. Intuitionistic and
Minimal Logics
by Evgeny Makarov
16:1516:35 Extensions of the WFS Semantics for Logic Programming
by Mauricio Osorio and Jose Arrazola
16:3516:55 Semantics for Disjunctive Programs
by D. Guller
16:5517:15 Revising Concepts
by Renata Wassermann
17:15 Closing