Email Gateway (Aug 18 2022 at 15:06): Email Gateway (Aug 18 2022 at 15:06):From: Milad Niqui <M.Niqui@cwi.nl>
========================================================================
Call for Informal Presentations and Participation
PAR 2010
Workshop on Partiality And Recursion in Interactive Theorem Provers
Edinburgh, UK, 15 July 2010
(satellite workshop of ITP'10)
a mid-FLoC 2010 workshop
<http://www.cs.st-andrews.ac.uk/~ek/PAR-10/>
========================================================================
PAR'10 is a one-day workshop organised as a part of FLoC'10. It is a
venue for researchers working on new approaches to cope with partial
recursive or corecursive functions in interactive theorem provers.
See <http://www.cs.st-andrews.ac.uk/~ek/PAR-10/> for further details.
The programme of the workshop will comprise of two invited talks, and
several regular paper presentations. Additionally, we wish to provide
an opportunity for informal discussion of ongoing research on partial
recursion and co-recursion in interactive theorem provers.
If you wish to contribute an informal presentation, please upload a
title and an abstract by 28 April 2010 to EasyChair via
<http://www.easychair.org/conferences/?conf=par10> . We will try to
accommodate as many short presentations as our schedule allows.
We take the opportunity to remind you that the early registration to
FLoC and its workshops is open until the 17th of May. Please register
and participate in PAR'10 even if you do not wish to submit any talks.
-- PAR'10 organising committee
Last updated: Apr 25 2024 at 01:08 UTC