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

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] |

| **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. |