615, rue du Jardin Botanique BP-101 54602 Villers-lès-Nancy FRANCE
Assistante : Chantal Llorens 33 +3 54 95 84 02 Chantal.Llorens'@'loria.fr
Parc de Saurupt CS 14 234 54042 Nancy cedex France
Assistante : Françoise Laurent 33 +3 83 58 42 70 Francoise.Laurent'@'mines.inpl-nancy.fr
33 +3 54 95 84 60 Jean-Yves.Marion'@'loria.fr
Teaching
QSL
Research interests :
ICC Virus Cooperation of deductive tools Grammatical Inference
ICC
Virus
Cooperation of deductive tools
Grammatical Inference
Carte
Responsabilities
CS 27 INPL
Publications
PhD Students
News
Pour la science : La virologie informatique
TLCA'07 : Predicative analysis of feasibility and diagonalization
CIE'07 : A Classification of Viruses through Recursion theorems
Conferences : TCV 2007 - MCU 2007 - Wollic 2007
Survey on Quasi-interpreations (TCS)
Learning Tree Languages from Positive Examples and Membership Queries (TCS)
Specif : La virologie informatique : genèse d’un concept ?
Characterizations of Alogtime by sup-interpretations, LPAR 2006
Misc 28 : Les paradoxes de la défense virale, le cas Bradley.
Towards an implicit characterization of NCk, CSL 2006
30 September : Special issue of TOCL on Implicit computational complexity
TCV special issue of Journal in Computer Virology (soon)
Call for paper ! Workshop Theoretical Computer Viruses (TCV), Loria - May 4 and 5 2006 - A Picture !
Distinction : Prix région Lorraine et news du Loria
Slides of Geocal school : (1) Data Ramification and (2) Quasi-Interpretations