Foundations of Programming Languages (Rewriting, Lambda Calculus, Type Theory, Process Calculi, Proof Theory) and their application to Computer Security
- Interaction and Concurrency Experience Workshop, satellite event of CONCUR 2009, Bologna, Italy. (ICE'09)
- 20th International Conference on Rewriting Techniques and Applications, June 28th to July 3rd, Brasilia, Brazil (RTA'09)
- International School on Rewriting, Universidade de Brasília, June 22-26, 2009. (ISR'09)
- August 2007-present. Introducción a la Programación, Depto. de Ciencia y Tecnología, UNQ.
- March 2009. Fundamentos de concurrencia y movilidad, Depto. de Computación, UBA.
- August 2005-December 2008. Paradigmas de Lenguajes de Programación, Depto. de Computación, UBA.
- Fall 2004. Theory of Programming Languages (CS 510A). (Dept. of Computer Science, Stevens Institute of Technology)
- Spring 2004. Theory of Programming Languages (CS 510A) (Dept. of Computer Science, Stevens Institute of Technology)
- Fall 2003. Certifying Compilers (CS 765A) (Dept. of Computer Science, Stevens Institute of Technology)
- November-December 2002.Proofs and Programs, Postgraduate Department, Faculty of Informatics, UNLP.
- WS-FM 2008 5th International Workshop on Web Services and Formal Methods September 4-5, 2008, Milan, Italy (WS-FM'08)
- Third Workshop on Logical and Semantic Frameworks, with Applications, August 26th 2008, Salvador, Brazil (LSFA'08)
- Escuela de verano de Ciencias Informáticas 2008, Depto. de Computación, UNRC (más datos)
- Second
Workshop on Logical and Semantic Frameworks
(LSFA07), August 28
th 2007, Ouro Preto, Brazil. - XXXVI Summer School of the Maths Department, University of Brasilia, February, 2007 (more info).
- 5th International Workshop on Reduction Strategies in Rewriting and Programming (WRS05), Nara, Japan, April 22nd, 2005
- Call for papers: Latin American Theoretical Informatics symposiun (LATIN 2004)
- EST03 Symposium for Student Work (part of JAIIO 2003)
- 29 Conferencia Latinoamericana de Informática (CLEI 2003)
Click here
- My wife, Jimena, is an artist. You may take a look at her webpage.
- Useful links
Do
you recognize this badge? If you do then you probably went to Grey
Junior School (Port Elizabeth, South Africa) too. I am interested in contacting my former
classmates. I started SubA in 1979 and finished Standard 5 in 1984. Please write to me.
| eduardo AT lifia DOT info DOT unlp DOT edu DOT ar | |
| Postal Address |
LIFIA |
| Telephone | +54-221-4228252 # 222 |
| Cel | +54-9-221-511-1803 |
| Fax | +54-221-4228252 |
| vcard |
 |
