Coq's Prolog and application to defining semi-automatic tactics (TTT 2017)

Sun 15 - Sat 21 January 2017

Who

Théo Zimmermann, Hugo Herbelin

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 15:10 - 15:30 at Salle 105, Barre 44-54 - First Afternoon Session Chair(s): Bas Spitters

Abstract

Abstract and slides can be found at: https://github.com/Zimmi48/TTT2017

File attachments

Abstract (coq-prolog.pdf)	116KiB

Théo Zimmermann

IRIF, Université Paris Diderot

France

Hugo Herbelin