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
(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.