RDP                     
Home page
Organization
Sponsors

MEETINGS        
RTA
TLCA
FTP
WG1.6
RULE
UNIF
WFLP
WRS
WST

VENUE               
Valencia
Registration
Accomodation
Travelling
Program
Conference Venue
Internet
TLCA'03
6th International Conference on Typed Lambda Calculi and Applications
Valencia, Spain, June 10-12, 2003


PRELIMINARY PROGRAM

Sunday Monday Tuesday Wednesday Thursday Friday Saturday
8 9 10 11 12 13 14
09:00 - 11:00 Session 1 Session 5 Session 7
11:00 - 11:30 Coffee break Coffee break Coffee break
11:30 - 13:00 Session 2 Session 6 Session 8
13:00 - 15:00 Lunch Lunch Lunch
15:00 - 16:30 Session 3
16:30 - 17:00 Coffee break
17:00 - 18:30 Session 4
18:30 - 19:00 TLCA'03 meeting

Please, check the exact starting time for that session.

    Conference Room:
    Ground Floor - ´Sala de Grados´

    Equipped with:
    1. a blackboard (or similar),
    2. an overhead projector,
    3. a video projector (for laptops),
    4. a PC running under Windows with
      • Adobe Acrobat Reader 5.0, and
      • MS PowerPoint 2000 installed.

 

Tuesday, June 10


09:00 - 11:00 Session 1
Conference room: Ground Floor - ´Sala de Grados´
09:00 - 10:00 Higher order beta matching (INVITED TALK)
Ralph Loader
10:00 - 10:30 A Fully Abstract Bidomain Model of Unary FPC
J. Laird
10:30 - 11:00 Relative definability and models of Unary PCF
A. Bucciarelli and B. Leperchey and V. Padovani
11:00 - 11:30Coffee break
11:30 - 13:00Session 2
Conference room: Ground Floor - ´Sala de Grados´
11:30 - 12:00 Principal Typing in elementary Affine Logic
P. Coppola and S. Ronchi della Rocca
12:00 - 12:30 Nondederministic Light Logics and NP-Time
F. Maurel
12:30 - 13:00 Proof-Nets with cycles and fixpoint semantics
R. Montelatici
13:00 - 15:00Lunch
15:00 - 16:30 Session 3
Conference room: Ground Floor - ´Sala de Grados´
15:00 - 15:30 Max-plus quasi-interpretations
R. Amadio
15:30 - 16:00 Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts
L. Pinto and J. Espirito Santo
16:00 - 16:30 Functional In-place Update with Layered Datatype Sharing
M. Konecny
16:30 - 17:00Coffee break
17:00 - 18:30Session 4
Conference room: Ground Floor - ´Sala de Grados´
17:00 - 17:30 Parameterizations and Fixed-Point Operators on Control Categories
Y. Kakutani and M. Hasegawa
17:30 - 18:00 A sound and complete CPS-translation for lambda-mu-calculus
K. Fujita
18:00 - 18:30 A universal embedding for the higher order structure of computational effects
J. Power
18:30 - 19:00Business meeting

Wednesday, June 11


09:00 - 10:00 Session 5
Conference room: Ground Floor - ´Salón de Actos´ & ´Sala de Grados´
09:00 - 10:00 A Logical Algorithm for ML Type Inference (RTA/TLCA INVITED TALK)
David McAllester
10:00 - 10:30Coffee break
10:30 - 13:00 Session 6
Conference room: Ground Floor - ´Sala de Grados´
10:30 - 11:00 On strong normalisation in the intersection type discipline
G. Boudol
11:00 - 11:30 Well-Going Programs Can Be Typed
S. Kahrs
11:30 - 12:00 Termination and Productivity Checking with Continuous Types
A. Abel
12:00 - 12:30 Derivatives of containers
M. Abbott, T. Altenkirch, N. Ghani, and C. McBride
12:30 - 13:00 Inductive types in the Calculus of Algebraic Constructions
F. Blanqui

Thursday, June 12


09:00 - 11:00 Session 7
Conference room: Ground Floor - ´Sala de Grados´
09:00 - 10:00 Formalizing the proof of the four-color-theorem Inference (INVITED TALK)
Georges Gonthier
10:00 - 10:30 A Logical Framework with Dependently Typed Records
T. Coquand, R. Pollack, M. Takeyama
10:30 - 11:00 Observational equivalence and program extraction in the Coq proof assistant
N. Oury
11:00 - 11:30Coffee break
11:30 - 13:00Session 8
Conference room: Ground Floor - ´Sala de Grados´
11:30 - 12:00 Encoding of the Monster Type into the Halting Problem & Applications
T. Joly
12:00 - 12:30 Abstraction Barrier-Observing Relational Parametricity
J. Hannay
12:30 - 13:00 On a Semantic Definition of Data Independence
R. Lazic and D. Nowak
13:00 - 15:00Lunch

End of TLCA'03                                                                                                                                                                                                                


Last update May 2003 #
sescobar@dsic.upv.es