User contributions
Jump to navigation
Jump to search
- 10:24, 30 January 2013 diff hist +24 m Internships →For non-European students
- 10:21, 30 January 2013 diff hist +8 Internships →CV
- 10:21, 30 January 2013 diff hist +8 m Internships →Application
- 10:20, 30 January 2013 diff hist -5 Internships →Locale
- 09:50, 30 January 2013 diff hist +47 2012-01-28 Verification day →Mnacho Echenim: On an abductive approach to error detection current
- 09:49, 30 January 2013 diff hist +50 2012-01-28 Verification day →Marie-Laure Potet: Les besoins pour l'analyse de vulnérabilités
- 09:49, 30 January 2013 diff hist +29 N File:Marie-Laure Potet 2013-01-28.pdf Marie-Laure Potet, 2013-01-28 current
- 09:49, 30 January 2013 diff hist +61 N File:Mnacho Echenim 2013-01-28.pdf Mnacho Echenim & Nicolas Peltier & Sophie Tourret, 2013-01-28 current
- 21:22, 29 January 2013 diff hist +47 Internships →Basic prerequisites
- 21:21, 29 January 2013 diff hist +90 User:David Monniaux current
- 21:20, 29 January 2013 diff hist +15 Internships →For non-European students
- 21:20, 29 January 2013 diff hist +141 Internships →For non-European students
- 21:17, 29 January 2013 diff hist +33 Internships →Locale
- 21:17, 29 January 2013 diff hist +378 Internships →Application
- 21:13, 29 January 2013 diff hist +292 Internships →Application
- 21:11, 29 January 2013 diff hist +264 Internships →Basic prerequisites
- 21:09, 29 January 2013 diff hist +280 Internships
- 21:06, 29 January 2013 diff hist +497 Internships →CV
- 21:03, 29 January 2013 diff hist +479 Internships
- 20:59, 29 January 2013 diff hist +317 Internships →Application
- 20:56, 29 January 2013 diff hist +234 Internships →CV
- 20:54, 29 January 2013 diff hist +545 Internships →CV
- 20:50, 29 January 2013 diff hist +608 Internships →Application
- 20:45, 29 January 2013 diff hist +481 Internships →Application
- 20:42, 29 January 2013 diff hist +449 N Internships Created page with "==General conditions== The STATOR project may accept as interns : * Masters students, e.g. "Research masters" (French M2R). * Graduate students pursuing PhDs in other groups...."
- 16:11, 29 January 2013 diff hist +48 2012-01-28 Verification day →Laurent Mounier: Analyse de teinte sur du code binaire
- 16:11, 29 January 2013 diff hist 0 N File:Laurent Mounier 2013-01-28.pdf current
- 15:44, 29 January 2013 diff hist +45 2012-01-28 Verification day →Goran Frehse: Calcul "lazy" avec des ensembles convexes représentés par des fonctions de support
- 15:43, 29 January 2013 diff hist +24 N File:Goran Frehse 2013-01-28.pdf Goran Frehse, 2013-01-28 current
- 13:15, 29 January 2013 diff hist +46 2012-01-28 Verification day →Julien Henry: Big steps for static analysis
- 13:15, 29 January 2013 diff hist +33 N File:Julien Henry 2013-01-28.pdf Julien Henry's talk on 2013-01-28 current
- 11:35, 29 January 2013 diff hist -83 2012-01-28 Verification day →Lunch Break
- 11:34, 29 January 2013 diff hist -1 2012-01-28 Verification day →Nicolas Peltier: On an abductive approach to error detection
- 11:33, 29 January 2013 diff hist +42 2012-01-28 Verification day →Radu Iosif: Acceleration Techniques for Program Verification
- 11:33, 29 January 2013 diff hist +22 N File:Radu Iosif 2013-01-28 talk.pdf Radu Iosif, 2013-01-28 current
- 11:24, 29 January 2013 diff hist +1 m 2012-01-28 Verification day →David Monniaux: Path-focusing and policy iteration
- 11:24, 29 January 2013 diff hist +44 2012-01-28 Verification day →David Monniaux: Path-focusing and policy iteration
- 11:23, 29 January 2013 diff hist +60 N File:DMonniaux VERIMAG 2013.pdf Slides for talk on policy iteration at VERIMAG on 2013-01-28 current
- 14:46, 28 January 2013 diff hist -15 2012-01-28 Verification day →Laurent Mounier: Analyse de teinte sur du code binaire
- 14:09, 28 January 2013 diff hist 0 2012-01-28 Verification day →Radu Iosif: Acceleration Techniques for Program Verification
- 14:09, 28 January 2013 diff hist +2 2012-01-28 Verification day →Laurent Mounier: Analyse de teinte sur du code binaire
- 14:06, 28 January 2013 diff hist -13 2012-01-28 Verification day →Marie-Laure Potet: Les besoins pour l'analyse de vulnérabilités
- 13:01, 28 January 2013 diff hist 0 2012-01-28 Verification day
- 11:27, 24 January 2013 diff hist +112 2012-01-28 Verification day
- 11:05, 24 January 2013 diff hist -712 2012-01-28 Verification day program
- 11:00, 24 January 2013 diff hist +106 2012-01-28 Verification day +Goran
- 15:21, 17 January 2013 diff hist +1 m 2012-01-28 Verification day →=David Monniaux: Quick presentation of the VERASCO and STATOR projects
- 15:21, 17 January 2013 diff hist +220 2012-01-28 Verification day
- 15:11, 17 January 2013 diff hist +1,313 2012-01-28 Verification day
- 15:00, 17 January 2013 diff hist +14 N STATOR:Community portal Created page with "* Seminars" current
