Aller à : contenu haut bas recherche
 
 
EN     FR
Vous êtes ici:   UNIL > HEC > RECHERCHE
Liens directs
Contact
 
 

Jacques Duparc

Coordonnées

Professeur ordinaire
Département des systèmes d'information


Contact
Jacques.Duparc@unil.ch
Internef, bureau 134
Tél 021.692.35.88

Adresse postale
Université de Lausanne
Quartier UNIL-Dorigny
Bâtiment Internef
1015 Lausanne

Enseignements

bachelor Introduction à la logique
Formation concernée
Baccalauréat universitaire ès Sciences en management

Recherches

Axes de recherche

AutoMathA
De la théorie des automates des mathématiques aux applications
Pour plus d'information : www.esf.org/automatha

Complexité Topologique, Jeux, Logique et Automates
L'un des projets consiste à déméler la fine structure topologique des omega-langages d'arbres réguliers. En d'autres termes, il s'agit de découvrir la hierarchie de Wadge des automates d'arbres infinis non déterministes
L'autre cherche à caractériser les fonctions boréliennes comme des stratégies dans des jeux correctement définis. Le cas des fonctions de classe de Baire un entier fini fournissant une première étape déjà difficile

GAMES
Mise en oeuvre des méthodes formelles qui garantissent la fiabilité, la rectitude et l'efficacité des systèmes informatiques, en dévellopant des méthodes de spécification et de validation qui sont basées sur les jeux et les automates

Topologies profinies en théorie des automates
Etude des relations de réduction entre langages réguliers, basées sur fonctions uniformément continues - pour diverses topologies profinies.

Compétences

Logique mathématique
Fondement des mathématiques (théorie des ensembles) et fondement de l'informatique (informatique théorique).


Evénements

Conferences

CSL'07
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL)<br />
The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science <br />
CSL'07, the 16th annual EACSL conference will be organized in Lausanne by the Western Swiss Center for Logic, History and Philosophy of Sciences, and the University of Lausanne<br />
The Ackermann Award for 2007 is sponsored by Logitech and will be presented to the recipients at CSL'07<br />
<br />
A joint session with GAMES 07, the annual meeting of the European Network will take place on 11 September, 2007
Suisse

GAMES'07
The Annual GAMES-Meeting 2007 will be held in Lausanne, Switzerland, on September 10-13, 2007. It will be co-located with CSL 2007, with a joint programme on September 11. As in previous years, GAMES 2007 will be an informal workshop, without proceedings, with a programme consisting of five invited tutorials (90 min), contributed talks (30 min) and short presentations (15 min). Contributed talks and short presentations will be selected by the programme committee on the basis of submitted abstracts<br />
<br />
<br />

Suisse

Assistants

Gianluca Basso
gianluca.basso@unil.ch



page personnelle
  Alessia Spadini
alessia.spadini@unil.ch



 
Louis Vuilleumier
louis.vuilleumier.1@unil.ch



page personnelle
 

Publications

37 publications classées par: type de publication  -  année

: Revue avec comité de lecture

Articles

Jacques Duparc (Ed.). (2015). Easy Proofs of Löwenheim-Skolem Theorems by Means of Evaluation Games. abs/1507.03665. [url] [abstract]

Duparc J. , Finkel O. (Eds.). (2007). Wadge games and sets of reals recognized by simple machines: An omega power of a finite context-free language which is Borel above Delta^ø_omega. 11, 109-122. Revue avec comité de lecture

Duparc J. , Riss M. (Eds.). (2006). The Missing Link for omega-Rational Sets, Automata, and Semigroups. 16, 161-186. [abstract] Revue avec comité de lecture

Duparc J. (Ed.). (2003). A Hierarchy of Deterministic Context-Free omega-languages. 290, 1253-1300. [abstract] Revue avec comité de lecture

Duparc J. (Ed.). (2003). The Steel Hierarchy of Ordinal Valued Borel Mappings. 68, 187-234. [url] [abstract] Revue avec comité de lecture

Duparc J. (Ed.). (2001). Wadge Hierarchy and Veblen Hierarchy. Part I: Borel Sets of Finite Rank. 66, 56-86. Revue avec comité de lecture

Duparc J., Finkel O. ; Ressayre J-P. (Eds.). (2001). Computer Science and the Fine Structure of Borel Sets. 257, 85-105. [abstract] Revue avec comité de lecture

Duparc J. (Ed.). (1999). The Normal Form of Borel Sets. Part II: Borel Sets of Infinite Rank. t. 328, 735-740. [abstract] Revue avec comité de lecture

Duparc J. (Ed.). (1995). The Normal Form of Borel Sets. Part I: Borel Sets of Finite Rank. t. 320, p. 651-656. [abstract] Revue avec comité de lecture

Parties de livre

Duparc J., Finkel O. ; Ressayre J-P. (2014). The Wadge Hierarchy of Petri Nets omega-Languages. In 1 (Ed.), Logic, Computation, Hierarchies (Vol. 4, pp. 109-138). De Gruyter. [doi] [abstract]

Arnold A., Duparc J., Murlak F. ; Niwiński D. (2007). On the topological complexity of tree languages. In 12 (Ed.), Logic and Automata: History and Perspectives (Vol. 2, pp. 9-28). Amsterdam University Press. [url] [abstract]

Actes de conférence (partie)

Duparc J., Finkel O. ; Ressayre J.-P. (2013). The Wadge Hierarchy of Petri Nets \emph\(\omega\)-Languages. In 1 (Ed.), Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings, 7734 (pp. 179-193). [doi] [url] [abstract]

Duparc J., Facchini A. ; Murlak F. (2011). Definable Operations On Weakly Recognizable Sets of Trees. In 1 (Ed.), IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011, December 12-14, 2011, Mumbai, India (pp. 363-374). [doi] [url] [abstract]

Cabessa J., Duparc J., Facchini A. ; Murlak F. (2009). The Wadge Hierarchy of Max-Regular Languages. In 12 (Ed.), IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), 4 (pp. 121-132). Schloss Dagstuhl-Leibniz-Zentrum für Informatik. [doi] [url] Revue avec comité de lecture

Duparc J., Facchini A. ; Murlak F. (2009). Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata. In 1 (Ed.), Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings, 5771 (pp. 225-239). Springer. [url] Revue avec comité de lecture

Facchini A. , Duparc J. (2009). A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata. In 1 (Ed.), Selected Papers of the International Conference Infinity in Logic and Computation, Cape Town, South Africa, November 2007. Springer. Revue avec comité de lecture

Duparc J. , Facchini A. (2008). Describing the Wadge Hierarchy for the Alternation Free Fragment of μ -Calculus (I) The Levels Below ω 1. In 1 (Ed.), Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008, Athens, Greece, June 2008, Proceedings, 5028. Springer. Revue avec comité de lecture

Cabessa J. , Duparc J. (2007). An infinite game on omega-semigroups. In 1 (Ed.), Infinite Games, Papers of the conference Foundations of the Formal Sciences V, held in Bonn, November 26-29, 2004, 11 (pp. 63-78). Bold S. Löwe B. Räsch T. van Benthem J. Revue avec comité de lecture

Duparc J. , Finkel O. (2007). An ω-power of a finite context-free language which is Borel above ∆0ω. In 1 (Ed.), Infinite Games, Papers of the conference Foundations of the Formal Sciences V, held in Bonn, November 26-29, 2004, 11 (pp. 109-122). Bold S. Löwe B. Räsch T. van Benthem J. Revue avec comité de lecture

Duparc J. , Henzinger T.A. (2007). Computer Science Logic. In 9 (Ed.), 21st International Workshop, CSL 2007 16th Annual Conference of the EACSL Lausanne, Switzerland, 4646. Springer. Revue avec comité de lecture

Duparc J. , Murlak F. (2007). On the Topological Complexity of Weakly Recognizable Tree Languages. In 1 (Ed.), Proceedings of the 16th International Symposium, Funda,mentals of Computation Theory, 4639 (pp. 261-273). Revue avec comité de lecture

Duparc J., Bradfield J. ; Quickert S. (2005). Transfinite extension ot the mu-calculus. In 1 (Ed.), Proceedings 14th annual European conference Computer Science Logic, 3634. Springer Berlin / Heidelberg. Revue avec comité de lecture

Duparc J. (2003). Posivitive Games and persistent Strategies. In 1 (Ed.), 12th Annual Conference of the European Association for Computer Science Logic, 2803 (pp. 182-196). Springer. Revue avec comité de lecture

Cachat T., Duparc J. ; Thomas W. (2002). Solving Pushdown Games with a Sigma_3 Winning Condition. In 1 (Ed.), Proceedings of the 11th Annual Conference of the European Association for Computer Science Logic, CSL 2002, 2471 (pp. 322-336). Revue avec comité de lecture

Duparc J., Finkel O. ; Ressayre J-P. (2000). Infinite Games, Finite Machines. In 1 (Ed.), Proceedings of the Joint Conference of the 5th Barcelona Logic Meeting and the 6th Kurt Gödel colloquium, Collegium Logicum, Annals of the Kurt-Gödel-Society Vol 4, 2000. Revue avec comité de lecture

Duparc J. (1994). The Normal Form of Borel Sets of Finite Rank. In 1 (Ed.), Contibuted Papers of the Logic Colloquium'94. Revue avec comité de lecture

Rapports

Duparc J. , Facchini A. (2009). The Topological Complexity of Models of the Modal μ-Calculus: On The Alternation Free Fragment and Beyond. Laboratoire Bordelais de Recherche en Informatique et Université de Lausanne. [url]

Thèses

Fournier K., Duparc J. (Dir.) (2016). The Wadge Hierarchy: Beyond Borel Sets. Université de Lausanne, Faculté des hautes études commerciales.

Carroy R., Duparc J. , Finkel O. (Dir.) (2013). Fonctions de première classe de Baire. Université de Lausanne, Faculté des hautes études commerciales.

Bach C. W., Jacques D. , Hans P. (Dir.) (2010). Interactive Epistemology and Reasoning: On the Foundations of Game Theory. Université de Lausanne, Faculté des hautes études commerciales. [abstract]

Facchini A., Duparc J. (Dir.) (2010). A study on the expressive power of some fragments of the modal µ-Calculus. Université de Lausanne, Faculté des hautes études commerciales. [abstract]

Duparc J. (1995). La Forme Normale des Boréliens de Rang fini. University Paris 7.

Non publié

Duparc J. (In Press). A Normal Form for Borel Sets. [abstract]

Duparc J. (In Press). Wadge Degrees of Louveau's (Wadge) Classes. [abstract]

Duparc J. (In Press). Wadge Hierarchy and Veblen Hierarchy. Part II: Borel Sets of Infinite Rank. [abstract]

Duparc J. (2008). A Normal Form of Borel Sets of Finite Rank. [abstract]

Autres

Duparc J. , Cabessa J. (2004). Games on Semigroups.

Curriculum

Formations

Doctorat de mathématiques
Université Paris VII-Denis Diderot, (1995)

Mots-clés

  • automatha
  • informatique théorique
  • logique mathématique
  • systèmes d'information (8)
  • théorie descriptive des ensembles

 
 
Recherche


       
HEC Lausanne fait sa rentrée
Blog de la recherche
Des idées qui ont de l'impact! www.HECimpact.ch
Internef - CH-1015 Lausanne - Suisse  -   Tél. +41 21 692 33 00  -   Fax +41 21 692 33 05
Swiss University