18th International Workshop on Functional and (Constraint) Logic Programming WFLP’09

I am part of the program commitee for WFLP 2009, the 18th International Workshop on Functional and (Constraint) Logic Programming, part of RDP’09 which will take place in Brasilia.

FMSE’07 presentation slides

The file below contain the slides of my talk at the FMSE workshop. FMSE’07 slides

School on Rewriting

The second school on rewriting will take place in Nancy, France. I was in the organizing comitee of this school last year. I appreciatted very much the lectures, in special those of Thomas Genet and Gilles Dowek.  For the complete program and other info, click on the logo on the left.

Security Conferences

There are close deadlines for submitting papers to two important conferences on computer security, in particular, on access control: January, 8th is the deadline for SACMAT 2007, and February 5th is the deadline for CFSW.  For other conferences on security, check this the Carrie Gates’ site.

SBMF 2007

********************************************************************* ********************************************************************* SBMF 2007 – 10th Symposium on Formal Methods First Call for Papers ********************************************************************* ********************************************************************* 29-31 August, 2007 Ouro Preto, MG, Brazil http://www.sbmf2007.ufop.br/ ********************************************************************* SCOPE The aim of this event is to provide an opportunity for researchers with a broad range of interests in formal methods to discuss recent developments in this field. The [...]

PARISTIC 06

I am attending to PARISTIC, at LORIA, during the rest of this week. I am particularly interested in the SETIN track (sécurité et informatique) .