WoLLIC 2011
18th Workshop on Logic, Language, Information and Computation

May 18th to 20th, 2011

University of Pennsylvania
Philadelphia, USA

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)
European Association for Computer Science Logic (EACSL)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)

Organisation
Department of Mathematics, University of Pennsylvania, USA
Centro de Informática, Universidade Federal de Pernambuco, Brazil


Programme

All talks will be held in the David Rittenhouse Laboratory, on the SE corner of Walnut and 33rd Streets, on the ground floor in the back, in room A-6. The main entrance to the building is on the East side of 33rd Street, a few steps South of Walnut Street.

(In PDF: here)

Wednesday, May 18, 2011

8:00 Light breakfast and registration
8:45 Opening remarks

9:00-10:00 Invited lecture. V. Voevodsky (Institute for Advanced Study): UNIVALENT FOUNDATIONS OF MATHEMATICS

10:00-10:30 R. Clouston (Australian National Univ.): NOMINAL LAWVERE THEORIES

10:30-11:00 Coffee break and registration

11:00-11:30 R. Statman (Carnegie Mellon Univ.): POLYMORPHIC TYPINGS OF UNTYPED TERMS
11:30-12:00 F.-J. de Vries (Univ. of Leicester) and P. Severi (Univ. of Leicester): DECOMPOSING THE LATTICE OF MEANINGLESS SETS IN THE INFINITARY LAMBDA CALCULUS
12:00-12:30 D.S. Shamkanov (Lomonosov Moscow State Univ.): STRONG NORMALIZATION AND CONFLUENCE FOR REFLEXIVE COMBINATORY LOGIC

12:30-2:00 Lunch break

2:00-3:00 Invited lecture. M. Zakharyaschev (Birkbeck College, Univ. of London): LOGIC IN THE TIME OF WWW: AN OWL VIEW

3:00-3:30 J. Gutierrez (Univ. of Edinburgh): CONCURRENT LOGIC GAMES ON PARTIAL ORDERS

3:30-4:00 Coffee break

4:00-4:30 J. Kontinen (Univ. of Helsinki) and J. Szymanik (Univ. of Groningen): CHARACTERIZING DEFINABILITY OF SECOND-ORDER GENERALIZED QUANTIFIERS
4:30-5:00 S. Bucheli (Univ. of Bern), R. Kuznets (Univ. of Bern), and T. Studer (Univ. of Bern): PARTIAL REALIZATION IN DYNAMIC JUSTIFICATION LOGIC
5:00-5:30 A. Achilleos (City Univ. of New York Graduate Center): A COMPLEXITY QUESTION IN JUSTIFICATION LOGIC

Thursday, May 19, 2011

8:30 Light breakfast

9:00-10:00 Invited lecture. Y. Winter (Utrecht Univ.): RELATIONAL CONCEPTS AND THE LOGIC OF RECIPROCITY

10:00-10:30 C. Thorne (Free Univ. of Bolzano-Bozen): QUERYING THE FRAGMENTS OF ENGLISH

10:30-11:00 Coffee break

11:00-11:30 I. Yanovich (MIT): HOW MUCH EXPRESSIVE POWER IS NEEDED FOR NATURAL LANGUAGE TEMPORAL INDEXICALITY?
11:30-12:00 S. Figueira (Univ. of Buenos Aires), D. Gorín (Univ. of Buenos Aires), and R. Grimson (Univ. of Buenos Aires): ON THE EXPRESSIVE POWER OF IF-LOGIC WITH CLASSICAL NEGATION
12:00-12:30 P. Verdée (Univ. of Ghent): STRONG PARACONSISTENCY BY SEPARATING COMPOSITION AND DECOMPOSITION IN CLASSICAL LOGIC

12:30-2:00 Lunch break

2:00-3:00 Invited lecture. M. Kanovich (Queen Mary, Univ. of London): BOUNDED MEMORY DOLEV-YAO ADVERSARIES IN COLLABORATIVE SYSTEMS

3:00-3:30 G. Mints (Stanford Univ.): COUNTABLE VERSION OF OMEGA-RULE

3:30-4:00 Coffee break

4:00-4:30 C. Areces (INRIA Nancy), F. Carreiro (Univ. of Buenos Aires), S. Figueira (Univ. of Buenos Aires), and S. Mera (Univ. of Buenos Aires): BASIC MODEL THEORY FOR MEMORY LOGICS
4:30-5:00 F.M. Ferreira (Federal Univ. of Ceará), C.M. Freire (Univ. of São Paulo – São Carlos), M.R.F. Benevides (Federal Univ. of Rio de Janeiro), L. Menasché Schechter (Federal Univ. of Rio de Janeiro) and A.T. Martins (Federal Univ. of Ceará): HYBRID LOGICS AND NP GRAPH PROPERTIES
5:00-5:30 A. Horn (Magdalen College School, Oxford): DYNAMIC EPISTEMIC ALGEBRA WITH POST-CONDITIONS TO REASON ABOUT ROBOT NAVIGATION

Friday, May 20, 2011

8:30 Light breakfast

9:00-10:00 Invited lecture. R. Alur (Univ. of Pennsylvania): STREAMING STRING TRANSDUCERS

10:00-10:30 C. Jordan (Hokkaido Univ.) and T. Zeugmann (Hokkaido Univ.): UNTESTABLE PROPERTIES IN THE KAHR-MOORE-WANG CLASS

10:30-11:00 Coffee break

11:00-11:30 M. Donders (McDaniel College), S. Miner More (McDaniel College), and P. Naumov (McDaniel College): INFORMATION FLOW ON DIRECTED ACYCLIC GRAPHS
11:30-12:00 F. Ferrarotti (Victoria Univ. of Wellington), S. Hartmann (Clausthal Univ. of Technology), H. Koehler (Univ. of Queensland), S. Link (Victoria Univ. of Wellington), and M. Vincent (Univ. of South Australia): THE BOYCE-CODD-HEATH NORMAL FORM FOR SQL
12:00-12:30 N. Charlton (Univ. of Sussex): HOARE LOGIC FOR HIGHER ORDER STORE USING SIMPLE SEMANTICS

12:30-2:00 Lunch break

2:00-2:30 A. da Cunha (Univ. of Michigan): TURING MACHINES ON CAYLEY GRAPHS
2:30-2:45 Short talk. N. Gierasimczuk (Univ. of Groningen): INDUCTIVE INFERENCE AND EPISTEMIC LOGIC: AN OVERVIEW
2:45-3:00 Short talk. S.R.M. Veloso (State Univ. of Rio de Janeiro), P.A.S. Veloso (Federal Univ. of Rio de Janeiro), and P.M. Veloso (Federal Univ. of Minas Gerais): ON PIAGET-LIKE MONOIDS: STRUCTURE AND CHARACTERIZATION

3:00-3:20 Coffee break

3:20-4:20 Special Session Honoring M. Kanovich on the Occasion of His 65th Birthday
M. Okada (Keio Univ.): SOME SOURCES OF TERM REWRITING LOGIC AND DIAGRAMMATIC LOGIC IN THE HUSSERL-HILBERT INTERACTION AND IN EULER
P. Rowe (Mitre Corp.): THE CRYPTOGRAPHIC PROTOCOL SHAPES ANALYZER (CPSA)

4:20-4:30 Coffee break

4:30-5:30 Invited lecture. J.C. Mitchell (Stanford University): A SYMBOLIC LOGIC WITH EXACT BOUNDS FOR CRYPTOGRAPHIC PROTOCOLS

6:30 Conference banquet

Last modified: May 16, 01:20pm GMT-3.