Introducing MetaCoq: A Safe Tactic Language for Coq (TTT 2017)

Sun 15 - Sat 21 January 2017

Track

TTT 2017

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 15 Jan 2017 16:50 - 17:10 at Salle 105, Barre 44-54 - Second Afternoon Session Chair(s): Hugo Herbelin

Bio

Currently researcher in the group LIIS at FAMAF, UNC / CONICET (Argentina).

From 04/2015 to 10/2015 Postdoc at LIIS.

PhD from MPI-SWS (Germany), supervisor Dr. Derek Dreyer.

MSc from FCEyN, UBA.

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Sun 15 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00	Second Afternoon SessionTTT at Salle 105, Barre 44-54 Chair(s): Hugo Herbelin

16:00 50m Talk		Invited Talk -- Iris: a framework for higher-order concurrent separation logic in Coq TTT Robbert Krebbers Delft University of Technology, Netherlands
16:50 20m Talk		Introducing MetaCoq: A Safe Tactic Language for Coq TTT Beta Ziliani FAMAF, UNC (Argentina) / CONICET (Argentina)
17:10 50m Other		COST EUTypes session TTT

Introducing MetaCoq: A Safe Tactic Language for Coq

Sun 15 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Beta Ziliani

FAMAF, UNC (Argentina) / CONICET (Argentina)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Introducing MetaCoq: A Safe Tactic Language for Coq

Program Display Configuration

Program Display Configuration

Sun 15 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Beta Ziliani

FAMAF, UNC (Argentina) / CONICET (Argentina)

Sun 15 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change