Elektrine lite

← Feed

Loïc Pujet

typeintype@types.pl

<p>I am an associate professor in Strasbourg University, France. I enjoy all kinds of dependent type theory!</p>

Posts

  • View post

    It is that time of the year again -- please consider submitting an abstract to the Rocqshop 2026! https://coq-workshop.gitlab.io/2026/ This year&amp;#39;s Rocqshop will take place on July 25 in Lisbon, right before ITP&amp;#39;26. Remote presentations are welcome too! Submissions should take the form of a two-page PDF, and the deadline is on May 15, AoE.