Difference between revisions of "VerifGroup"

From STATOR
Jump to navigation Jump to search
Line 4: Line 4:
 
<li>The reading group is open to anyone interested in program
 
<li>The reading group is open to anyone interested in program
 
   verification in Lip and Verimag. </li>
 
   verification in Lip and Verimag. </li>
<li> Each week, on Tuesday, at 2pm, a student explains a paper (or a bench of
+
<li> RAVERIF should not last more than an hour,
  papers) in less that 30 min. This should not last more than an hour,
 
 
   including visioconferences problems</li>
 
   including visioconferences problems</li>
 
<li> Tuesday, Jan 31 2017 : Julien Braine, SAS13 on horn clauses and
 
<li> Tuesday, Jan 31 2017 : Julien Braine, SAS13 on horn clauses and
Line 21: Line 20:
 
<li> Tuesday, April 11 2017 : No workgroup </li>
 
<li> Tuesday, April 11 2017 : No workgroup </li>
 
<li> Tuesday, April 18 2017 : [[Media:NRevol-2017-04-18.pdf]] Intervals in multiprecision, Nathalie Revol. Lyon Salle du Conseil </li>
 
<li> Tuesday, April 18 2017 : [[Media:NRevol-2017-04-18.pdf]] Intervals in multiprecision, Nathalie Revol. Lyon Salle du Conseil </li>
<li> Tuesday, April 25 2017 : No workgroup </li>
+
<li> Tuesday, May 5, 2017 : Goran Frehse. Support functions Lyon 313  Grenoble 258</li>
 
<li> Tuesday, July 3 2017 :  2pm Valentin Touzeau, on cache analysis (practise talk CAV17) Visio ENS + Verimag TBA</li>
 
<li> Tuesday, July 3 2017 :  2pm Valentin Touzeau, on cache analysis (practise talk CAV17) Visio ENS + Verimag TBA</li>
 
+
<li> Tuesday, Nov 20, 2017, 2:30pm : Henri Pierre Charles, from CEA. Joint seminar with ROMA [http://www.ens-lyon.fr/LIP/ROMA/news.php]
 +
<li>
 
</ul>
 
</ul>

Revision as of 11:36, 7 January 2018

Verification WG -Grenoble/Lyon

  • The reading group is open to anyone interested in program verification in Lip and Verimag.
  • RAVERIF should not last more than an hour, including visioconferences problems
  • Tuesday, Jan 31 2017 : Julien Braine, SAS13 on horn clauses and array abstractions paper Media:julien_2017_01.pdf
  • Tuesday, Feb 7, 2017 : Rémy Boutonnet, on interprocedural polyhedral invariant generation : cite papers ? [slides|remi_2017_02.pdf]
  • Tuesday, Feb 14, 2017 : Laure Gonnord, on termination of sequential programs paper(HAL) (PLDI15) slides Lyon : Salle du Conseil. Verimag : TBD.
  • Tuesday, Feb 21, 2017 : Valentin Touzeau, on cache analysis Media:Valentin_Touzeau_2017-02-21.pdf
  • Tuesday, March 7, 2017 : Mickaël Perin, on Polyhedra certification. Lyon : Ekiga . Verimag : TBD.
  • Tuesday, March 21, 2017 : Christophe Alias, on Farkas Lemma and all that for compilation. Media:Christophe-21-03-2017.pdf ‎Lyon : petite salle Visio . Verimag : 258
  • Tuesday, March 28, 2017 : Verimag Keynote, Nicolas Bjørner, Network Verification for Microsoft Azure. Verimag: IMAG 206 (attention accès badgé), Lyon : ekiga à partir du Bureau de Laure au LIP
  • Tuesday, April 4 2017 : Media:monniaux_smt_compressed.pdf A survey on SMT, David Monniaux Lyon : petite salle visio, Grenoble 348 and ligne visio INRIA 10
  • Tuesday, April 11 2017 : No workgroup
  • Tuesday, April 18 2017 : Media:NRevol-2017-04-18.pdf Intervals in multiprecision, Nathalie Revol. Lyon Salle du Conseil
  • Tuesday, May 5, 2017 : Goran Frehse. Support functions Lyon 313 Grenoble 258
  • Tuesday, July 3 2017 : 2pm Valentin Touzeau, on cache analysis (practise talk CAV17) Visio ENS + Verimag TBA
  • Tuesday, Nov 20, 2017, 2:30pm : Henri Pierre Charles, from CEA. Joint seminar with ROMA [1]