Business Meeting (CPP 2019 - - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 14-15 2019) - POPL 2019

Sun 13 - Sat 19 January 2019 Cascais, Portugal

Who

Assia Mahboubi, Magnus O. Myreen

Track

Time Zone

The program is currently displayed in (GMT) Belfast.

Use conference time zone: (GMT) BelfastSelect 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

When

Tue 15 Jan 2019 17:00 - 17:30 at Sala XII - Research Papers: Formalization of Mathematics and Computer Algebra Chair(s): Zhong Shao

Assia Mahboubi

INRIA

France

Magnus O. Myreen

Chalmers University of Technology, Sweden

Sweden

Time Zone

The program is currently displayed in (GMT) Belfast.

Use conference time zone: (GMT) BelfastSelect 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

Session Program

Tue 15 Jan
Displayed time zone: Belfast change

	16:00 - 17:30	Research Papers: Formalization of Mathematics and Computer AlgebraCPP at Sala XII Chair(s): Zhong Shao Yale University

	16:00 30m Research paper		On Synthetic Undecidability in Coq, with an Application to the Entscheidungsproblem CPP Yannick Forster Saarland University, Dominik Kirst Saarland University, Gert Smolka Saarland University DOI
	16:30 30m Research paper		Verified Solving and Asymptotics of Linear Recurrences CPP Manuel Eberl Technische Universität München DOI
	17:00 30m Meeting		Business Meeting CPP Assia Mahboubi INRIA, Magnus O. Myreen Chalmers University of Technology, Sweden