|
|
 |
|
Vendredi 24 Novembre
| Heure: |
11:00 - 12:30 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
A discussion on the conjectures NP vs PSPACE and NP vs coNP |
| Description: |
Hermann Hauesler The aim of this talk is to open a discussion on the justification of the conjectures NP = coNP and NP = PSPACE by means of purely proof-theoretical arguments. |
| Heure: |
14:00 - 17:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
[répétition] répétition de soutenance de thèse |
| Description: |
Thomas Rubiano |
|
|
