Team marelle

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Dissemination

Conference and workshop attendance, travel

Anne Pacalet

attended several meetings with CEA, in Saclay, in January, February, May, September, and December.

Yves Bertot, Benjamin Grégoire, Thomas Hutchinson, and Jorge Luis Sacchini

attended a Coq meeting in La Ciotat, in February.

Benjamin Grégoire

visited IMDEA in Spain, in February and November, as part of his work for the SCALP ANR project.

Tuan Minh Pham

attended the SAC conference in Sierre, Switzerland, in March.

Laurence Rideau and Yves Bertot

attended the kick-off meeting for the Formath Workshop in Göteborg, in April.

Yves Bertot

attended the Unisciel conference in Valenciennes, in May.

Ioana Pasca

presented her work in Saclay, in May.

Laurence Rideau and Ioana Pasca

attended the CICM event in Paris in July, and Ioana Pasca presented her work at the Calculemus conference.

Yves Bertot, Thomas Hutchinson, Tuan Minh Pham, Jorge Luis Sacchini, and Laurent Théry

attended the FLOC event in Edinburgh, UK, where Yves Bertot presented work at the Coq workshop and at the ITP conference, Tuan Minh Pham presented work at UITP, and Laurent Théry presented work at ITP.

Laurent Théry and Tuan Minh Pham

attended the ADG conference in Munich, in July, where they presented extended abstracts.

Laurent Théry

attended a workshop on trusted extensions of theorem provers in Cambridge, UK, in August, where he gave an invited talk.

Yves Bertot

gave courses in Beijing, China, in August.

Yves Bertot, Loïc Pottier, and Laurence Rideau

attended the Types conference in Warsaw, in October, where Yves Bertot gave an invited talk.

Yves Bertot and Thomas Huchinson

attended a meeting of the Coq working group in October.

Jorge Luis Sacchini

attended the LPAR-17 conference in Yogyakarta (Indonesia), in October, where he presented work.

Laurence Rideau, Laurent Théry, Guillaume Cano, Benjamin Grégoire and Yves Bertot

attended several meetings of the INRIA-Microsoft Research common laboratory, in June, October, November.

Yves Bertot, Maxime Dénès, Laurence Rideau, and Loïc Pottier

attended the MAP conference in Logroño, Spain, in November.

Yves Bertot

gave an invited talk at the GDR-LAC Workshop in Paris in November.

Yves Bertot

visited the University of Bologna in December.

Michaël Armand and Benjamin Grégoire

attended a meeting of the ANR project DECERT in Paris, in November.


Logo Inria