[Sidiraka] PROLE 2009: Llamada a la participación

[Paqui Lucio]

	LLAMADA A LA PARTICIPACIÓN

	IX Jornadas sobre Programación y Lenguajes
	I Taller de Programación Funcional TPF

	San Sebastián, 8 al 11 de Septiembre de 2009

	El  PLAZO DE INSCRIPCIÓN ADELANTADA  para PROLE 2009 se encuentra
abierto hasta el próximo martes ***30 de JUNIO***. 

	Dicha inscripción se puede realizar a través de la página:
https://www.mondragon.edu/form/prole/formulario.asp

	Conferencia invitada: Understanding program verification by K.
Rustan M. Leino (Microsoft Research)
	http://research.microsoft.com/en-us/um/people/leino/

	Para más información sobre PROLE 2009:
http://www.mondragon.edu/prole2009/


	--------------------------------- 
	Paqui Lucio                                
	Dpto de LSI                    
	Facultad de Informática
	Paseo Manuel de Lardizabal, 1
	20080-San Sebastián
	SPAIN
	---------------------------------
	e-mail: paqui.lucio en ehu.es
	Tfn: (+34) (9)43 015049  
	Fax: (+34) (9)43 015590
	Web: http://www.sc.ehu.es/paqui
	---------------------------------


--------------------------------- 
Paqui Lucio                                
Dpto de LSI                    
Facultad de Informática
Paseo Manuel de Lardizabal, 1
20080-San Sebastián
SPAIN
---------------------------------
e-mail: paqui.lucio en ehu.es
Tfn: (+34) (9)43 015049  
Fax: (+34) (9)43 015590
Web: http://www.sc.ehu.es/paqui
---------------------------------

------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: http://list.ehu.es/pipermail/sidiraka/attachments/20090622/8f1d426f/attachment.html