Workshop on Reverse Mathematics and Type Theory

25(Mon) ~ 29(Fri) March, 2013

Hoam Faculty House, Seoul, Korea

About this workshop

This workshop is part of a Korea-France research project on Reverse Mathematics in Coq. The main goal of the research is to develop and implement formal systems that support doing “reverse mathematics” in the proof assistant Coq. This workshop aims at bringing together all participants of the project. Some external experts who could be interested by this line of research are invited.

Schedule and talks

Participation & registration

Everyone who is seriously interested in the subject of the workshop is welcome to the meeting. Registration is required although there is no registration fee. If you intend to attend the workshop, please send an email to the local organizer including full name, position, and affiliation.


The Hoam Faculty House is located on the campus of Seoul National University in Seoul, Korea. The place is easily reachable by public transportation.

Travel Information



Local organizers