EN FR
EN FR
PARSIFAL - 2019
PARSIFAL - 2019
Project-Team Parsifal
Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Project-Team Parsifal
Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography


previous Previous | up Home | Next next


Section: Highlights of the Year

Highlights of the Year

  • The journal Mathematical Structures in Computer Science published “A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday” – volume 29, Special issue 8, September 2019.

  • Accattoli was invited speaker at the international conference FSCD 2019.



previous Previous | up Home | Next next