[Maude-users] Fwd: Publicity Pierre Lescanne Day

[Salvador Lucas]

Inicio del mensaje reenviado:

> De: Luigi Liquori INRIA <Luigi.Liquori at sophia.inria.fr>
> Fecha: 22 de abril de 2008 14:36:03 GMT+02:00
> Para: Mariangiola Dezani <dezani at di.unito.it>, Salvador Lucas  
> <slucas at dsic.upv.es>
> Asunto: Publicity Pierre Lescanne Day
>
> Mariangiola, Salvador,
> can you help me to circulate this announcement
> (you better know mailing lists rewriting related).
>
>
> Grazie mille,
> Luigi
>
>
>
> ===
> ===
>
>
> A journey through term rewriting and lambda-calculi
>
> Colloquium in Honor of Pierre Lescanne
>
> http://www.loria.fr/equipes/cassis/PL60/
>
> May 29, 2008 - LORIA, Nancy
>
>
> This one-day Workshop will feature a series of state-of-the-art  
> invited talks on
> current research trends in automated deduction, term rewriting and
> lambda-calculi. The Workshop will celebrate the contribution of  
> Pierre Lescanne
> to different subjects of automated deduction, as well as his past  
> and ongoing
> contributions to running scientific groups, managing scientific  
> projects on
> national and international levels, supervising PhD students, and  
> promoting
> science.
>
> PROGRAMME
>
> 9-9:10 Welcome.  Karl Tombre, Organizers
>
> 9:10-10:30. Session 1
>
> Claude Pair.  Quelques souvenirs: que faisions-nous et qu'était le  
> CRIN à
> l'arrivée de Pierre ?
>
> Nachum Dershowitz. Church's Lambda Calculus and Church's Thesis.
>
> Pause
>
> 11-13. Session 2
>
> Mariangiola Dezani-Ciancaglini. Global Progress in Dynamically  
> Merged Multiparty
> Sessions.
>
> Dan Dougherty.  Rewriting, Strategies, and Games.
>
> Paliath Narendran. Intruders with Caps.
>
> Lunch break
>
> 14:10-15:30. Session 3
>
> Simona Ronchi Della Rocca. Soft Linear Logic and Polynomial  
> Complexity classes.
>
> Jean-Pierre Jouannaud.  From finite to transfinite to finite  
> semantic trees.
>
> Pause
>
> 16-17:30.  Session 4
>
> Hélène Kirchner.
>
> Jacques Jaray. Mon ami Pierre.
>
> 18. Réception.
>
>
> REGISTRATION IS FREE BUT MANDATORY  - CLICK ON
>
> http://registration.net-resa.com/cgi-bin/WebObjects/gnetresa.woa/3/ 
> portal/org/48/evt/252/
>
>
> Contact: pierrelescanne60 at gmail.com
>
>
> -- 
>  Luigi Liquori, H.d.R., Ph.D.
>  INRIA Researcher, Sophia Antipolis Méditerranée
>  LogNet Research Team
>  Vox      : +33 4 92 38 71 93
>  Fax      : +33 4 92 38 79 71
>  Hom    : +33 4 93 67 09 72
>  MobFr : +33 6 65 39 51 32
>  MobIt   : +39 3 49 16 56 45 1
>  SIP       : luigi_liquori at voip.wengo.fr
>  Url        : www-sop.inria.fr/members/Luigi.Liquori
>  Url        : www.inria.fr/recherche/equipes/lognet.en.html
>  Email   : Let (*,#)=(.,@) in Luigi*Liquori#inria*fr
>  Addr    : INRIA, 2004 Route des Lucioles - BP 93
>                 FR-06902 Sophia Antipolis, France
> ü
> 	Pensez à la planète et n'imprimez ce message que si nécessaire !
> 	Earth will kind ask you to print this message only if really needed!
> ü
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://maude.cs.uiuc.edu/pipermail/maude-users/attachments/20080422/b8df86f1/attachment-0001.htm