STATOR - User contributions [en-gb]

VerifGroup

2018-02-09T08:55:51Z

Laure Gonnord:

== Verification WG -Grenoble/Lyon ==

<ul>
<li>The reading group is open to anyone interested in program
verification in Lip and Verimag. </li>
<li> RAVERIF should not last more than an hour,
including visioconferences problems</li>
<li> Tuesday, Jan 31 2017 : Julien Braine, SAS13 on horn clauses and
array abstractions
[https://www7.informatik.tu-muenchen.de/~rybal/papers/2013-sas-solving-universally-quantified-horn-clauses.pdf paper] [[Media:julien_2017_01.pdf]]</li>
<li> Tuesday, Feb 7, 2017 : Rémy Boutonnet, on interprocedural polyhedral
invariant generation : cite papers ? [slides|remi_2017_02.pdf]</li>
<li> Tuesday, Feb 14, 2017 : Laure Gonnord, on termination of
sequential programs [https://hal.archives-ouvertes.fr/hal-01144622 paper(HAL)] (PLDI15) [http://laure.gonnord.org/pro/talks/pldi_june15.pdf slides] Lyon : Salle du Conseil. Verimag : TBD. </li>
<li> Tuesday, Feb 21, 2017 : [[Media:Valentin_Touzeau_2017-02-21.pdf]] A Survey on Cache Analysis for Real-Time System (M. Lv, N. Guang, W. Yi, J. Reineke, R. Wilhelm), Valentin Touzeau </li>
<li> Tuesday, March 7, 2017 : Mickaël Perin, on Polyhedra certification. Lyon : Ekiga . Verimag : TBD. </li>
<li> 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</li>
<li> 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</li>
<li> 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</li>
<li> Tuesday, April 18 2017 : [[Media:NRevol-2017-04-18.pdf]] Intervals in multiprecision, Nathalie Revol. Lyon Salle du Conseil </li>
<li> Tuesday, May 5, 2017 : Goran Frehse. Support functions Lyon 313 Grenoble 258</li>
<li> Tuesday, July 3 2017 : [[Media:Valentin_Touzeau_2017-07-03.pdf]] Ascertaining Uncertainty for Efficient Exact Cache Analysis, Valentin Touzeau (practise CAV17 talk)</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>
<li> Tuesday, Jan 16 2018, Monniaux MELTDOWNSPECTRE ouvert à l'extérieur avec le pont visio renater </li>

<li> Séminaire CASH / RAVERIF Mercredi 25 avril 2018 Tierless Web Programming in ML. Gabriel Radanne, voir aussi [https://www.irif.fr/~gradanne/phdthesis.html] Heure et salle à déterminer.</li>
</ul>

VerifGroup

2018-02-08T14:57:03Z

Laure Gonnord:

VerifGroup

2018-01-07T10:37:00Z

Laure Gonnord: /* Verification WG -Grenoble/Lyon */

== Verification WG -Grenoble/Lyon ==

<ul>
<li>The reading group is open to anyone interested in program
verification in Lip and Verimag. </li>
<li> RAVERIF should not last more than an hour,
including visioconferences problems</li>
<li> Tuesday, Jan 31 2017 : Julien Braine, SAS13 on horn clauses and
array abstractions
[https://www7.informatik.tu-muenchen.de/~rybal/papers/2013-sas-solving-universally-quantified-horn-clauses.pdf paper] [[Media:julien_2017_01.pdf]]</li>
<li> Tuesday, Feb 7, 2017 : Rémy Boutonnet, on interprocedural polyhedral
invariant generation : cite papers ? [slides|remi_2017_02.pdf]</li>
<li> Tuesday, Feb 14, 2017 : Laure Gonnord, on termination of
sequential programs [https://hal.archives-ouvertes.fr/hal-01144622 paper(HAL)] (PLDI15) [http://laure.gonnord.org/pro/talks/pldi_june15.pdf slides] Lyon : Salle du Conseil. Verimag : TBD. </li>
<li> Tuesday, Feb 21, 2017 : Valentin Touzeau, on cache analysis [[Media:Valentin_Touzeau_2017-02-21.pdf]]
<li> Tuesday, March 7, 2017 : Mickaël Perin, on Polyhedra certification. Lyon : Ekiga . Verimag : TBD. </li>
<li> 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</li>
<li> 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</li>
<li> 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</li>
<li> Tuesday, April 18 2017 : [[Media:NRevol-2017-04-18.pdf]] Intervals in multiprecision, Nathalie Revol. Lyon Salle du Conseil </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, 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>

VerifGroup

2018-01-07T10:36:38Z

Laure Gonnord:

== Verification WG -Grenoble/Lyon ==

<ul>
<li>The reading group is open to anyone interested in program
verification in Lip and Verimag. </li>
<li> RAVERIF should not last more than an hour,
including visioconferences problems</li>
<li> Tuesday, Jan 31 2017 : Julien Braine, SAS13 on horn clauses and
array abstractions
[https://www7.informatik.tu-muenchen.de/~rybal/papers/2013-sas-solving-universally-quantified-horn-clauses.pdf paper] [[Media:julien_2017_01.pdf]]</li>
<li> Tuesday, Feb 7, 2017 : Rémy Boutonnet, on interprocedural polyhedral
invariant generation : cite papers ? [slides|remi_2017_02.pdf]</li>
<li> Tuesday, Feb 14, 2017 : Laure Gonnord, on termination of
sequential programs [https://hal.archives-ouvertes.fr/hal-01144622 paper(HAL)] (PLDI15) [http://laure.gonnord.org/pro/talks/pldi_june15.pdf slides] Lyon : Salle du Conseil. Verimag : TBD. </li>
<li> Tuesday, Feb 21, 2017 : Valentin Touzeau, on cache analysis [[Media:Valentin_Touzeau_2017-02-21.pdf]]
<li> Tuesday, March 7, 2017 : Mickaël Perin, on Polyhedra certification. Lyon : Ekiga . Verimag : TBD. </li>
<li> 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</li>
<li> 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</li>
<li> 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</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, 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, 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>

VerifGroup

2017-07-03T07:19:04Z

Laure Gonnord:

== Verification WG -Grenoble/Lyon ==

<ul>
<li>The reading group is open to anyone interested in program
verification in Lip and Verimag. </li>
<li> Each week, on Tuesday, at 2pm, a student explains a paper (or a bench of
papers) in less that 30 min. This should not last more than an hour,
including visioconferences problems</li>
<li> Tuesday, Jan 31 2017 : Julien Braine, SAS13 on horn clauses and
array abstractions
[https://www7.informatik.tu-muenchen.de/~rybal/papers/2013-sas-solving-universally-quantified-horn-clauses.pdf paper] [[Media:julien_2017_01.pdf]]</li>
<li> Tuesday, Feb 7, 2017 : Rémy Boutonnet, on interprocedural polyhedral
invariant generation : cite papers ? [slides|remi_2017_02.pdf]</li>
<li> Tuesday, Feb 14, 2017 : Laure Gonnord, on termination of
sequential programs [https://hal.archives-ouvertes.fr/hal-01144622 paper(HAL)] (PLDI15) [http://laure.gonnord.org/pro/talks/pldi_june15.pdf slides] Lyon : Salle du Conseil. Verimag : TBD. </li>
<li> Tuesday, Feb 21, 2017 : Valentin Touzeau, on cache analysis [[Media:Valentin_Touzeau_2017-02-21.pdf]]
<li> Tuesday, March 7, 2017 : Mickaël Perin, on Polyhedra certification. Lyon : Ekiga . Verimag : TBD. </li>
<li> 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</li>
<li> 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</li>
<li> 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</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 25 2017 : No workgroup </li>
<li> Tuesday, July 3 2017 : 2pm Valentin Touzeau, on cache analysis (practise talk CAV17) Visio ENS + Verimag TBA</li>

</ul>

VerifGroup

2017-04-22T15:55:24Z

Laure Gonnord: /* Verification WG -Grenoble/Lyon */

File:NRevol-2017-04-18.pdf

2017-04-22T15:53:30Z

Laure Gonnord:

File:Monniaux smt compressed.pdf

2017-04-22T15:53:04Z

Laure Gonnord:

VerifGroup

2017-04-03T09:47:39Z

Laure Gonnord: /* Verification WG -Grenoble/Lyon */

== Verification WG -Grenoble/Lyon ==

<ul>
<li>The reading group is open to anyone interested in program
verification in Lip and Verimag. </li>
<li> Each week, on Tuesday, at 2pm, a student explains a paper (or a bench of
papers) in less that 30 min. This should not last more than an hour,
including visioconferences problems</li>
<li> Tuesday, Jan 31 2017 : Julien Braine, SAS13 on horn clauses and
array abstractions
[https://www7.informatik.tu-muenchen.de/~rybal/papers/2013-sas-solving-universally-quantified-horn-clauses.pdf paper] [[Media:julien_2017_01.pdf]]</li>
<li> Tuesday, Feb 7, 2017 : Rémy Boutonnet, on interprocedural polyhedral
invariant generation : cite papers ? [slides|remi_2017_02.pdf]</li>
<li> Tuesday, Feb 14, 2017 : Laure Gonnord, on termination of
sequential programs [https://hal.archives-ouvertes.fr/hal-01144622 paper(HAL)] (PLDI15) [http://laure.gonnord.org/pro/talks/pldi_june15.pdf slides] Lyon : Salle du Conseil. Verimag : TBD. </li>
<li> Tuesday, Feb 21, 2017 : Valentin Touzeau, on cache analysis [[Media:Valentin_Touzeau_2017-02-21.pdf]]
<li> Tuesday, March 7, 2017 : Mickaël Perin, on Polyhedra certification. Lyon : Ekiga . Verimag : TBD. </li>
<li> 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</li>
<li> 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</li>
<li> Tuesday, April 4 2017 : A survey on SMT, David Monniaux Lyon : petite salle visio, Grenoble 348 and ligne visio INRIA 10</li>
<li> Tuesday, April 11 2017 : No workgroup </li>
<li> Tuesday, April 18 2017 : Intervals in multiprecision, Nathalie Revol. Lyon Salle du Conseil </li>
<li> Tuesday, April 25 2017 : No workgroup </li>

</ul>

VerifGroup

2017-03-26T10:07:13Z

Laure Gonnord:

== Verification WG -Grenoble/Lyon ==

<ul>
<li>The reading group is open to anyone interested in program
verification in Lip and Verimag. </li>
<li> Each week, on Tuesday, at 2pm, a student explains a paper (or a bench of
papers) in less that 30 min. This should not last more than an hour,
including visioconferences problems</li>
<li> Tuesday, Jan 31 2017 : Julien Braine, SAS13 on horn clauses and
array abstractions
[https://www7.informatik.tu-muenchen.de/~rybal/papers/2013-sas-solving-universally-quantified-horn-clauses.pdf paper] [[Media:julien_2017_01.pdf]]</li>
<li> Tuesday, Feb 7, 2017 : Rémy Boutonnet, on interprocedural polyhedral
invariant generation : cite papers ? [slides|remi_2017_02.pdf]</li>
<li> Tuesday, Feb 14, 2017 : Laure Gonnord, on termination of
sequential programs [https://hal.archives-ouvertes.fr/hal-01144622 paper(HAL)] (PLDI15) [http://laure.gonnord.org/pro/talks/pldi_june15.pdf slides] Lyon : Salle du Conseil. Verimag : TBD. </li>
<li> Tuesday, Feb 21, 2017 : Valentin Touzeau, on cache analysis [[Media:Valentin_Touzeau_2017-02-21.pdf]]
<li> Tuesday, March 7, 2017 : Mickaël Perin, on Polyhedra certification. Lyon : Ekiga . Verimag : TBD. </li>
<li> 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</li>
<li> 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</li>
<li> Tuesday, April 4 2017 : A survey on SMT, David Monniaux </li>
<li> Tuesday, April 11 2017 : No workgroup </li>
<li> Tuesday, April 18 2017 : Intervals in multiprecision, Nathalie Revol. Lyon Salle du Conseil </li>
<li> Tuesday, April 25 2017 : No workgroup </li>

</ul>

VerifGroup

2017-03-26T09:39:05Z

Laure Gonnord: /* Verification WG -Grenoble/Lyon */

== Verification WG -Grenoble/Lyon ==

<ul>
<li>The reading group is open to anyone interested in program
verification in Lip and Verimag. </li>
<li> Each week, on Tuesday, at 2pm, a student explains a paper (or a bench of
papers) in less that 30 min. This should not last more than an hour,
including visioconferences problems</li>
<li> Tuesday, Jan 31 2017 : Julien Braine, SAS13 on horn clauses and
array abstractions
[https://www7.informatik.tu-muenchen.de/~rybal/papers/2013-sas-solving-universally-quantified-horn-clauses.pdf paper] [[Media:julien_2017_01.pdf]]</li>
<li> Tuesday, Feb 7, 2017 : Rémy Boutonnet, on interprocedural polyhedral
invariant generation : cite papers ? [slides|remi_2017_02.pdf]</li>
<li> Tuesday, Feb 14, 2017 : Laure Gonnord, on termination of
sequential programs [https://hal.archives-ouvertes.fr/hal-01144622 paper(HAL)] (PLDI15) [http://laure.gonnord.org/pro/talks/pldi_june15.pdf slides] Lyon : Salle du Conseil. Verimag : TBD. </li>
<li> Tuesday, Feb 21, 2017 : Valentin Touzeau, on cache analysis [[Media:Valentin_Touzeau_2017-02-21.pdf]]
<li> Tuesday, March 7, 2017 : Mickaël Perin, on Polyhedra certification. Lyon : Ekiga . Verimag : TBD. </li>
<li> 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</li>
<li> Tuesday, March 28, 2017 : Verimag Keynote, Nicolas Bjørner, Network Verification for Microsoft Azure </li>
<li> Tuesday, April 4 2017 : A survey on SMT, David Monniaux </li>
<li> Tuesday, April 11 2017 : No workgroup </li>
<li> Tuesday, April 18 2017 : Intervals in multiprecision, Nathalie Revol. Lyon Salle du Conseil </li>
<li> Tuesday, April 25 2017 : No workgroup </li>

</ul>

VerifGroup

2017-03-21T15:38:37Z

Laure Gonnord: /* Verification WG -Grenoble/Lyon */

== Verification WG -Grenoble/Lyon ==

<ul>
<li>The reading group is open to anyone interested in program
verification in Lip and Verimag. </li>
<li> Each week, on Tuesday, at 2pm, a student explains a paper (or a bench of
papers) in less that 30 min. This should not last more than an hour,
including visioconferences problems</li>
<li> Tuesday, Jan 31 2017 : Julien Braine, SAS13 on horn clauses and
array abstractions
[https://www7.informatik.tu-muenchen.de/~rybal/papers/2013-sas-solving-universally-quantified-horn-clauses.pdf paper] [[Media:julien_2017_01.pdf]]</li>
<li> Tuesday, Feb 7, 2017 : Rémy Boutonnet, on interprocedural polyhedral
invariant generation : cite papers ? [slides|remi_2017_02.pdf]</li>
<li> Tuesday, Feb 14, 2017 : Laure Gonnord, on termination of
sequential programs [https://hal.archives-ouvertes.fr/hal-01144622 paper(HAL)] (PLDI15) [http://laure.gonnord.org/pro/talks/pldi_june15.pdf slides] Lyon : Salle du Conseil. Verimag : TBD. </li>
<li> Tuesday, March 7, 2017 : Mickaël Perin, on Polyhedra certification. Lyon : Ekiga . Verimag : TBD. </li>
<li> 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</li>
<li> Tuesday, March 28, 2017 : Verimag Keynote, TBA</li>
<li> Tuesday, April 4 2017 : A survey on SMT, David Monniaux </li>
<li> Tuesday, April 11 2017 : No workgroup </li>
<li> Tuesday, April 18 2017 : Intervals in multiprecision, Nathalie Revol. Lyon Salle du Conseil </li>
<li> Tuesday, April 25 2017 : No workgroup </li>

</ul>

VerifGroup

2017-03-21T12:53:01Z

Laure Gonnord: /* Verification WG -Grenoble/Lyon */

== Verification WG -Grenoble/Lyon ==

<ul>
<li>The reading group is open to anyone interested in program
verification in Lip and Verimag. </li>
<li> Each week, on Tuesday, at 2pm, a student explains a paper (or a bench of
papers) in less that 30 min. This should not last more than an hour,
including visioconferences problems</li>
<li> Tuesday, Jan 31 2017 : Julien Braine, SAS13 on horn clauses and
array abstractions
[https://www7.informatik.tu-muenchen.de/~rybal/papers/2013-sas-solving-universally-quantified-horn-clauses.pdf paper] [[Media:julien_2017_01.pdf]]</li>
<li> Tuesday, Feb 7, 2017 : Rémy Boutonnet, on interprocedural polyhedral
invariant generation : cite papers ? [slides|remi_2017_02.pdf]</li>
<li> Tuesday, Feb 14, 2017 : Laure Gonnord, on termination of
sequential programs [https://hal.archives-ouvertes.fr/hal-01144622 paper(HAL)] (PLDI15) [http://laure.gonnord.org/pro/talks/pldi_june15.pdf slides] Lyon : Salle du Conseil. Verimag : TBD. </li>
<li> Tuesday, March 7, 2017 : Mickaël Perin, on Polyhedra certification. Lyon : Ekiga . Verimag : TBD. </li>
<li> Tuesday, March 14, 2017 : Christophe Alias, on Farkas Lemma and all that for compilation. [[Media:Christophe-21-03-2017.pdf]] ‎Lyon : petite salle Visio . Verimag : 258</li>
<li> Tuesday, March 21, 2017 : </li>
<li> Tuesday, March 28, 2017 : </li>
<li> Tuesday, April 4 2017 : </li>
<li> Tuesday, April 11 2017 : No workgroup </li>
<li> Tuesday, April 18 2017 : Lyon Salle du Conseil </li>
<li> Tuesday, April 25 2017 : No workgroup </li>

</ul>

VerifGroup

2017-03-21T12:52:08Z

Laure Gonnord: /* Verification WG -Grenoble/Lyon */

== Verification WG -Grenoble/Lyon ==

<ul>
<li>The reading group is open to anyone interested in program
verification in Lip and Verimag. </li>
<li> Each week, on Tuesday, at 2pm, a student explains a paper (or a bench of
papers) in less that 30 min. This should not last more than an hour,
including visioconferences problems</li>
<li> Tuesday, Jan 31 2017 : Julien Braine, SAS13 on horn clauses and
array abstractions
[https://www7.informatik.tu-muenchen.de/~rybal/papers/2013-sas-solving-universally-quantified-horn-clauses.pdf paper] [[Media:julien_2017_01.pdf]]</li>
<li> Tuesday, Feb 7, 2017 : Rémy Boutonnet, on interprocedural polyhedral
invariant generation : cite papers ? [slides|remi_2017_02.pdf]</li>
<li> Tuesday, Feb 14, 2017 : Laure Gonnord, on termination of
sequential programs [https://hal.archives-ouvertes.fr/hal-01144622 paper(HAL)] (PLDI15) [http://laure.gonnord.org/pro/talks/pldi_june15.pdf slides] Lyon : Salle du Conseil. Verimag : TBD. </li>
<li> Tuesday, March 7, 2017 : Mickaël Perin, on Polyhedra certification. Lyon : Ekiga . Verimag : TBD. </li>
<li> Tuesday, March 14, 2017 : Christophe Alias, on Farkas Lemma and all that for compilation. [slides|Christophe-21-03-2017.pdf] ‎Lyon : petite salle Visio . Verimag : 258</li>
<li> Tuesday, March 21, 2017 : </li>
<li> Tuesday, March 28, 2017 : </li>
<li> Tuesday, April 4 2017 : </li>
<li> Tuesday, April 11 2017 : No workgroup </li>
<li> Tuesday, April 18 2017 : Lyon Salle du Conseil </li>
<li> Tuesday, April 25 2017 : No workgroup </li>

</ul>

File:Christophe-21-03-2017.pdf

2017-03-21T12:51:24Z

Laure Gonnord:

VerifGroup

2017-03-21T12:50:54Z

Laure Gonnord:

== Verification WG -Grenoble/Lyon ==

<ul>
<li>The reading group is open to anyone interested in program
verification in Lip and Verimag. </li>
<li> Each week, on Tuesday, at 2pm, a student explains a paper (or a bench of
papers) in less that 30 min. This should not last more than an hour,
including visioconferences problems</li>
<li> Tuesday, Jan 31 2017 : Julien Braine, SAS13 on horn clauses and
array abstractions
[https://www7.informatik.tu-muenchen.de/~rybal/papers/2013-sas-solving-universally-quantified-horn-clauses.pdf paper] [[Media:julien_2017_01.pdf]]</li>
<li> Tuesday, Feb 7, 2017 : Rémy Boutonnet, on interprocedural polyhedral
invariant generation : cite papers ? [slides|remi_2017_02.pdf]</li>
<li> Tuesday, Feb 14, 2017 : Laure Gonnord, on termination of
sequential programs [https://hal.archives-ouvertes.fr/hal-01144622 paper(HAL)] (PLDI15) [http://laure.gonnord.org/pro/talks/pldi_june15.pdf slides] Lyon : Salle du Conseil. Verimag : TBD. </li>
<li> Tuesday, March 7, 2017 : Mickaël Perin, on Polyhedra certification. Lyon : Ekiga . Verimag : TBD. </li>
<li> Tuesday, March 14, 2017 : Christophe Alias, on Farkas Lemma and all that for compilation. [[[File:Example.jpg]] Lyon : petite salle Visio . Verimag : 258</li>
<li> Tuesday, March 21, 2017 : </li>
<li> Tuesday, March 28, 2017 : </li>
<li> Tuesday, April 4 2017 : </li>
<li> Tuesday, April 11 2017 : No workgroup </li>
<li> Tuesday, April 18 2017 : Lyon Salle du Conseil </li>
<li> Tuesday, April 25 2017 : No workgroup </li>

</ul>

VerifGroup

2017-03-21T12:20:43Z

Laure Gonnord:

== Verification WG -Grenoble/Lyon ==

<ul>
<li>The reading group is open to anyone interested in program
verification in Lip and Verimag. </li>
<li> Each week, on Tuesday, at 2pm, a student explains a paper (or a bench of
papers) in less that 30 min. This should not last more than an hour,
including visioconferences problems</li>
<li> Tuesday, Jan 31 2017 : Julien Braine, SAS13 on horn clauses and
array abstractions
[https://www7.informatik.tu-muenchen.de/~rybal/papers/2013-sas-solving-universally-quantified-horn-clauses.pdf paper] [[Media:julien_2017_01.pdf]]</li>
<li> Tuesday, Feb 7, 2017 : Rémy Boutonnet, on interprocedural polyhedral
invariant generation : cite papers ? [slides|remi_2017_02.pdf]</li>
<li> Tuesday, Feb 14, 2017 : Laure Gonnord, on termination of
sequential programs [https://hal.archives-ouvertes.fr/hal-01144622 paper(HAL)] (PLDI15) [http://laure.gonnord.org/pro/talks/pldi_june15.pdf slides] Lyon : Salle du Conseil. Verimag : TBD. </li>
<li> Tuesday, March 7, 2017 : Mickaël Perin, on Polyhedra certification. Lyon : Ekiga . Verimag : TBD. </li>
<li> Tuesday, March 14, 2017 : Christophe Alias, on Farkas Lemma and all that for compilation. Lyon : Ekiga 316 Centre. Verimag : TBA</li>
<li> Tuesday, March 21, 2017 : </li>
<li> Tuesday, March 28, 2017 : </li>
<li> Tuesday, April 4 2017 : </li>
<li> Tuesday, April 11 2017 : No workgroup </li>
<li> Tuesday, April 18 2017 : Lyon Salle du Conseil </li>
<li> Tuesday, April 25 2017 : No workgroup </li>

</ul>

VerifGroup

2017-03-20T12:55:55Z

Laure Gonnord: /* Verification WG -Grenoble/Lyon */

== Verification WG -Grenoble/Lyon ==

<ul>
<li>The reading group is open to anyone interested in program
verification in Lip and Verimag. </li>
<li> Each week, on Tuesday, at 2pm, a student explains a paper (or a bench of
papers) in less that 30 min. This should not last more than an hour,
including visioconferences problems</li>
<li> Tuesday, Jan 31 2017 : Julien Braine, SAS13 on horn clauses and
array abstractions
[https://www7.informatik.tu-muenchen.de/~rybal/papers/2013-sas-solving-universally-quantified-horn-clauses.pdf paper] [[Media:julien_2017_01.pdf]]</li>
<li> Tuesday, Feb 7, 2017 : Rémy Boutonnet, on interprocedural polyhedral
invariant generation : cite papers ? [slides|remi_2017_02.pdf]</li>
<li> Tuesday, Feb 14, 2017 : Laure Gonnord, on termination of
sequential programs [https://hal.archives-ouvertes.fr/hal-01144622 paper(HAL)] (PLDI15) [http://laure.gonnord.org/pro/talks/pldi_june15.pdf slides] Lyon : Salle du Conseil. Verimag : TBD. </li>
<li> Tuesday, March 7, 2017 : Mickaël Perin, on Polyhedra certification. Lyon : Ekiga . Verimag : TBD. </li>
<li> Tuesday, March 14, 2017 : Christophe Alias, on Farkas Lemma and all that for compilation. Lyon : Ekiga 316 Centre. Verimag : TBA</li>
<li> Tuesday, March 21, 2017 : </li>
<li> Tuesday, March 28, 2017 : </li>
<li> Tuesday, April 4 2017 : </li>
<li> Tuesday, April 11 2017 : Lyon Salle du Conseil </li>
<li> Tuesday, April 18 2017 : Lyon Salle du Conseil </li>
<li> Tuesday, April 25 2017 : No workgroup </li>

</ul>

VerifGroup

2017-03-20T12:40:57Z

Laure Gonnord: /* Verification WG -Grenoble/Lyon */

VerifGroup

2017-02-14T07:28:59Z

Laure Gonnord: /* Verification WG -Grenoble/Lyon */

File:Julien 2017 01.pdf

2017-02-10T13:26:25Z

Laure Gonnord: horn clauses SA13

horn clauses SA13

VerifGroup

2017-02-10T13:25:55Z

Laure Gonnord: /* Verification WG -Grenoble/Lyon */

VerifGroup

2017-02-10T13:24:37Z

Laure Gonnord:

VerifGroup

2017-02-10T13:19:43Z

Laure Gonnord: wg

Main Page

2017-02-10T13:18:30Z

Laure Gonnord: wg

==The STATOR project==
[[Image:ERC acronym.pdf|150px|right]]
'''STATOR''' is a 5-year research project funded by the [[wikipedia:European Research Council|European Research Council]], an organisation established by the [[wikipedia:European Union|European Union]]. [[Image:Flag of Europe.svg||40px]]
'

It focuses on developing new methods for [[static analysis]] of software — that is, mathematically and automatically proving that software behaves in the desired way.

The project is led by [[User:David Monniaux|Dr David Monniaux]], senior researcher at [[wikipedia:CNRS|CNRS]]. See other [[members]].

For more detail, see [[:File:STATOR PE6 306595 description of work shortened.pdf|description of work]].

==Work openings==
* [[Hiring/BDDPolyhedra|PhD on BDD+polyhedra]]

== Reading group==
[[VerifGroup|Reading Group (Grenoble/Lyon)]]

==Laboratory==
[[Image:Logo VERIMAG vectorise.svg|100px]]
[[Image:UJFquadriBaseGauche.png|180px]]
[[Image:WEB CNRS-filaire-Quadri.jpg|80px]]

'''STATOR''' is hosted at [[VERIMAG]], a joint research laboratory of CNRS and [[wikipedia:Université Joseph Fourier|Université Joseph Fourier]] in [[wikipedia:Grenoble|Grenoble]], France.

[[File:Grenoble from Moucherotte IMG 0861 tuned.jpg|800px]]

Main Page

2017-02-10T13:18:02Z

Laure Gonnord:

==The STATOR project==
[[Image:ERC acronym.pdf|150px|right]]
'''STATOR''' is a 5-year research project funded by the [[wikipedia:European Research Council|European Research Council]], an organisation established by the [[wikipedia:European Union|European Union]]. [[Image:Flag of Europe.svg||40px]]
'

It focuses on developing new methods for [[static analysis]] of software — that is, mathematically and automatically proving that software behaves in the desired way.

The project is led by [[User:David Monniaux|Dr David Monniaux]], senior researcher at [[wikipedia:CNRS|CNRS]]. See other [[members]].

For more detail, see [[:File:STATOR PE6 306595 description of work shortened.pdf|description of work]].

==Work openings==
* [[Hiring/BDDPolyhedra|PhD on BDD+polyhedra]]

== Reading group==
[[Reading Group (Grenoble/Lyon)|VerifGroup]]

==Laboratory==
[[Image:Logo VERIMAG vectorise.svg|100px]]
[[Image:UJFquadriBaseGauche.png|180px]]
[[Image:WEB CNRS-filaire-Quadri.jpg|80px]]

'''STATOR''' is hosted at [[VERIMAG]], a joint research laboratory of CNRS and [[wikipedia:Université Joseph Fourier|Université Joseph Fourier]] in [[wikipedia:Grenoble|Grenoble]], France.

[[File:Grenoble from Moucherotte IMG 0861 tuned.jpg|800px]]

Link

2017-02-10T13:16:57Z

Laure Gonnord: /* Reading group / Groupe de Lecture */

== Reading group / Groupe de Lecture ==

test

Main Page

2017-02-10T13:16:31Z

Laure Gonnord:

==The STATOR project==
[[Image:ERC acronym.pdf|150px|right]]
'''STATOR''' is a 5-year research project funded by the [[wikipedia:European Research Council|European Research Council]], an organisation established by the [[wikipedia:European Union|European Union]]. [[Image:Flag of Europe.svg||40px]]
'

It focuses on developing new methods for [[static analysis]] of software — that is, mathematically and automatically proving that software behaves in the desired way.

The project is led by [[User:David Monniaux|Dr David Monniaux]], senior researcher at [[wikipedia:CNRS|CNRS]]. See other [[members]].

For more detail, see [[:File:STATOR PE6 306595 description of work shortened.pdf|description of work]].

==Work openings==
* [[Hiring/BDDPolyhedra|PhD on BDD+polyhedra]]

== Reading group==
[[Reading Group (Grenoble/Lyon|Reading Group (Grenoble/Lyon]]

==Laboratory==
[[Image:Logo VERIMAG vectorise.svg|100px]]
[[Image:UJFquadriBaseGauche.png|180px]]
[[Image:WEB CNRS-filaire-Quadri.jpg|80px]]

'''STATOR''' is hosted at [[VERIMAG]], a joint research laboratory of CNRS and [[wikipedia:Université Joseph Fourier|Université Joseph Fourier]] in [[wikipedia:Grenoble|Grenoble]], France.

[[File:Grenoble from Moucherotte IMG 0861 tuned.jpg|800px]]

Link

2017-02-10T13:14:39Z

Laure Gonnord: Created page with "== Reading group / Groupe de Lecture =="

== Reading group / Groupe de Lecture ==