- Third Workshop on Logical and Semantic Frameworks, with Applications, August 26th 2008, Salvador, Brazil (LSFA'08)
- WS-FM 2008 5th International Workshop on Web Services and Formal Methods September 4-5, 2008, Milan, Italy (WS-FM'08)
- 20th International Conference on Rewriting Techniques and Applications, June 28th to July 3rd, Brasilia, Brazil (RTA'09)
Foundations of Programming Languages (Rewriting, Lambda Calculus, Type Theory, Process Calculi, Proof Theory) and their application to Computer Security
- August 2007-present. Introducción a la Programación, Depto. de Ciencia y Tecnología, UNQ.
- August 2005-present. 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.
- 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 |
 |
