Parisian Master of Research in Computer Science
Master Parisien de Recherche en Informatique (MPRI)

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cours:c-1-36 [2019/09/10 14:16]
phs [WG2 Atelier “Loop-Elimination in FIFO automata” / Ph. Schnoebelen]
cours:c-1-36 [2019/09/10 14:18] (current)
phs [WG2 Atelier “Loop-elimination in FIFO automata” / Ph. Schnoebelen]
Line 143: Line 143:
 **Description:** By loop-elimination we mean computing the effect of repeating a sequence of instructions an arbitrary number of times. Loop elimination is possible for FIFO automata (Boigelot & Godefroid 1999, Bouajjanni & Habermehl 1999) and for lossy FIFO automata (Abdulla et al., 2004). The goal of this working group is to try to extend these two results by developping a common generalization. In summary we will tackle an open problem in theoretical computer science. The group will meet weekly and will use emails, chats, .. for exchanges between two meetings. **Description:** By loop-elimination we mean computing the effect of repeating a sequence of instructions an arbitrary number of times. Loop elimination is possible for FIFO automata (Boigelot & Godefroid 1999, Bouajjanni & Habermehl 1999) and for lossy FIFO automata (Abdulla et al., 2004). The goal of this working group is to try to extend these two results by developping a common generalization. In summary we will tackle an open problem in theoretical computer science. The group will meet weekly and will use emails, chats, .. for exchanges between two meetings.
  
-**Les objectifs pédagogiques:** The working group will be an opportunity for attacking a research problem while working *as a group*. We will see how tasks like bibliographical research, understanding complex results, inventing new techniques, validating them, writing down proofs, checking the proofs, can be done collectively.+**Les objectifs pédagogiques:** The working group will be an opportunity for attacking a research problem while working *as a group*. We will see how tasks like gathering bibliography, understanding complex results, inventing new techniques, validating them, writing down proofs, checking the proofs, can be done collectively.
  
 **Les attentes individuelles et collectives:** It is expected that each participant will contribute his/her ideas, time & energy, ensuring group success.  **Les attentes individuelles et collectives:** It is expected that each participant will contribute his/her ideas, time & energy, ensuring group success. 
 
Universités partenaires Université Paris-Diderot
Université Paris-Saclay
ENS Cachan École polytechnique Télécom ParisTech
ENS
Établissements associés Université Pierre-et-Marie-Curie CNRS INRIA CEA