You are here

Automatically Mining and Proving Generic Invariants on Integer Sequences

Date: 
Monday, 27 August, 2018
Organising Body: 
ACP
Event Type: 
Workshop
Presentation Type: 
Plenary talk
Event: 
PTHG-18: The Second Workshop on Progress Towards the Holy Grail
Venue: 
CP 2018, Lille
Location: 
France
Insight Researchers: 
Non-Insight Researchers: 
Ekaterina Arafailova
Nicolas Beldiceanu
Involved Institute: 
National University of Ireland, Cork (UCC)