***************************************************************** *** *** *** 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/ _______________________________________________ clean-list mailing list [email protected] http://mailman.science.ru.nl/mailman/listinfo/clean-list
