Sylvain Soliman's Den

Coordinates

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

78153Le Chesnay Cedex - France
E-mail:
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-05-24CFP ACLS'14
2014-05-29CFP AiPL'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 DADA'14
2014-06-14CFP ICBEC'14
2014-06-18CFP BigLS'14
2014-06-18CFP VCBM'14
2014-06-19CFP IWBE'14
2014-06-21CFP MeCBIC'14
2014-06-24CFP ICFAS'14
2014-06-26CFP Recomb-CG'14
2014-07-06CFP GIW / ISCB-Asia '14
2014-07-07CFP ICAITA'14
2014-07-07CFP SBMF'14
2014-07-13CFP HIW'14
2014-07-14CFP ICECB'14
2014-07-20CFP CIBEC'14
2014-07-29CFP APBC'15
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.

Teaching

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