Sylvain Soliman's Den


Official Inria photograph
Inria - Lifeware team - Office 809
Domaine de Voluceau
Rocquencourt - BP 105

78153Le Chesnay Cedex - France
GnuPG public key: 0x98CB90AE
Telephone: +33 1 39 63 57 61
Fax: +33 1 39 63 54 69
Add to Address Book [valid hCard logo]

Research activities

Upcomming CFPs of interest
2014-04-17CFP IEVC'14
2014-04-20CFP SBB'14
2014-04-24CFP FMMB'14
2014-04-29CFP ICBEE'14
2014-04-29CFP Scala'14
2014-04-29CFP WMLLS'14
2014-05-05CFP FMCAD'14
2014-05-09CFP ICBMS'14
2014-05-10CFP Erlang'14
2014-05-14CFP PBio'14
2014-05-18CFP BIDM'14
2014-05-19CFP CAMDA'14
2014-05-19CFP ICEBS'14
2014-05-29CFP GPCE'14
2014-05-29CFP JBEMI'14
2014-05-29CFP MuCoCoS'14
2014-05-30CFP AEI'14
2014-05-30CFP AVOCS'14
2014-05-30CFP PPPJ'14
2014-05-31CFP CMSB'14
2014-05-31CFP PROLE'14
2014-05-31CFP TCBB-ACCBIO'14
2014-06-05CFP INForum'14
2014-06-07CFP DLS'14
2014-06-12CFP Systems Approach to Metabolic Diseases'14
2014-06-14CFP APCBEES-ICPBS'14
2014-06-14CFP ICBEC'14
2014-06-18CFP BigLS'14
2014-06-18CFP VCBM'14
2014-06-19CFP IWBE'14
2014-06-26CFP Recomb-CG'14
2014-07-07CFP SBMF'14
2014-07-20CFP CIBEC'14
2014-07-30CFP ASPLOS'15
2014-08-07CFP IJCBDD-Special Issue'14
2014-09-29CFP ICIME'14

Since I got to Inria Paris-Rocquencourt, I've been mostly working on the following topics (you can go directly to my publications list):

Since the beginning of 2004 I am also the "responsable permanent" of the Lifeware project-team, which basically means that I second the group-head for most administrative tasks. I am a president of Paris-Rocquencourt's Comité de Suivi Doctoral (doctoral fellowship agreement comittee), and thus member of the Bureau du Comité des projets. I've been promoted to "CR1" at the end of 2005.

From September 1st 1996 to August 31st 2003 I was working for the DGA (some kind of French DARPA), which gave me a scholarship during my studies. It allowed me to work "externally" in the CONTRAINTES team of Inria, from September 2002 to my transfer to Inria, when I was hired as junior researcher (CR2) on September 1st 2003.

My Ph.D. was started when I was at Laboratoire d'Informatique de l'Ecole Normale Superieure in Paris, continued in Inria Rocquencourt and defended on April 20th 2001 had for title: Programmation Concurrente par Contraintes et Logique Linéaire i.e. Concurrent Constraint Programming and Linear Logic. Begun in October 1997, is was a sequel of my DEA as I was still studying the Linear Concurrent Constraint (LCC) paradigm, its links with Linear Logic, its own proof techniques, its problems of balance between expressivity and semantics, etc...

From February 2001 to September 2002, I was working at Centre Technique d'Arcueil, a laboratory from DGA, where I studied Natural Language Processing. I also got the role of Information Systems Security Correspondent for my department , and was named Project Manager for the future High Throughput Network for Scientific Computing.


I teach/taught in the following frameworks:

See also the programming project for the MPRI classes.

I am also propose some internships on the dedicated page of the Lifeware team.

Prolog and more

I use Prolog a lot in my work, and especially GNU Prolog-RH. I was thus naturally led into developing some tools to help in using it:

I welcome any remark, question or comment on the above.

Here's what you might find here if you're lucky:

If you're looking for the team's documentation pages, started up by your's truly, they are in the team's internal pages

Search the pages of the team: DuckDuckGo logo