[Agda] TLCA'09 - Call for Participation

Luca Paolini paolini at di.unito.it
Wed May 6 13:05:01 CEST 2009


   *****************************************************************
   ***                                                           ***
   ***                         TLCA 2009                         ***
   ***                   July 1 - July 3, 2009                   *** 
   ***                       Brasília, Brazil                    ***
   ***                                                           ***
   ***             http://rdp09.cic.unb.br/index.html            ***
   ***                                                           ***
   ***                  CALL FOR PARTICIPATION                   ***
   ***                                                           ***
   ***        Early-registration: before 10th May, 2009          ***
   ***        Registration      : before 10th June, 2009         ***
   ***                                                           ***
   *****************************************************************

The Ninth  International Conference on Typed Lambda Calculi and
Applications (TLCA 2009) is organized as part of the Federated
Conference on Rewriting, Deduction, and Programming (RDP 2009), 
together with the RTA 2009 and several related events.
* General details - http://rdp09.cic.unb.br/tlca.html .
* Programme - http://rdp09.cic.unb.br/programme-tlca.htm .

INVITED SPEAKERS:
=================
* Marcelo Fiore (Univ. of Cambridge)
* Bob Harper (Carnegie Mellon Univ.- Joint Speaker RTA+TLCA))
* Jean-Louis Krivine (Univ. Paris 7)


REGISTRATION and ACCOMMODATION:
==============================
 Early-registration: before 10th May, 2009 
 Registration      : before 10th June, 2009  

Registration issue 
http://rdp09.cic.unb.br/registration.html

Accomodation issue
http://rdp09.cic.unb.br/accommodation.html



^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Luca Paolini (TLCA Publicity Chair)
http://www.mimuw.edu.pl/tlca/







More information about the Agda mailing list