Fecha: 22 de abril de 2008 14:36:03 GMT+02:00
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
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
--
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
Url : www-sop.inria.fr/members/Luigi.Liquori
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!
