Christophe Ringeissen Home Page

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Christophe Ringeissen Home Page

Christophe Ringeissen

LORIA - INRIA
615, rue du Jardin Botanique
BP 101, 54602 Villers-les-Nancy Cedex, France
Tel: (+33/0) 3 83 59 30 53
Fax: (+33/0) 3 83 27 83 19
Office: A 203
E-mail: Christophe . Ringeissen at loria . fr

Researcher at INRIA

CASSIS project, INRIA-Lorraine/LORIA

Quelques liens (in french)

: Une page locale sur les Programmes Européens

Liste de diffusion (LORIA) des Relations Internationales: rel-intnl

Some links

: IJCAR 2008 4th International Joint Conference on Automated Reasoning (Sidney, Australia)

FroCoS'2007 6th International Workshop on Frontiers of Combining Systems (Liverpool, UK)

Calculemus'06 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning

FroCoS'2005 5th International Workshop on Frontiers of Combining Systems (Vienna, Austria)

Special Issue of I&C; on Combining Logical Systems (Deadline: January 22, 2005)

RULE'04 Rule-based Programming (Workshop of RDP'04)

PDPAR'03 Pragmatics of Decision Procedures in Automated Reasoning (Workshop of CADE-19)

UNIF'2002 16th International Workshop on Unification (Copenhagen, Denmark)

AMAST'2002 9th International Conference on Algebraic Methodology And Software Technology (Saint Gilles les Bains, Ile de la Réunion)

FroCoS'2002 4th International Workshop on Frontiers of Combining Systems (Santa Margherita Ligure, Italy)

STRATEGIES'2001 4th International Workshop on Strategies in Automated Deduction, held in conjunction with IJCAR'2001

ETAPS'2001 tutorial Rule-based programming using ELAN

FroCoS'2000 Third International Workshop on Frontiers of Combining Systems (Nancy, France)

Research interests - keywords

: Automated Deduction (Rewriting Techniques)
Constraint Programming(Constraint Archive)
Combination Methods in Automated Reasoning
Rewriting Logic, Algebraic Specifications (CoFI)

Publications

Ph. D. Thesis

Title: Combination of constraint solvers.
In french: Combinaison de résolutions de contraintes (compressed PostScript file).
Defended on December 21th, 1993.

A summary of the Ph.D: english or french.

Teaching

Decision Procedures and Verification of Programs, Master Recherche Informatique, Nancy
Taught with Silvio Ranise: Introduction (December 3, 2008)

Decision Procedures for Equality (SC6, 14h --- December 3, 2008)
Decision Procedures for Numerical Domains (SC6, 14h --- December 10, 2008)
Combining Decision Procedures (SC7, 14h --- December 17, 2008)
Building Decision Procedures for Data Structures (SC6, 14h --- January 7, 2009). Old version available here.
Integrating Decision Procedures with Boolean Solving (SC6, 14h --- January 14, 2009). Old version available here.