[Agda] PAR'10: Call for Participation

Ana Bove bove at chalmers.se
Mon May 3 19:08:45 CEST 2010


========================================================================
                        Call for 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
functions and terminating general recursion in (interactive) theorem
provers. See <http://www.cs.st-andrews.ac.uk/~ek/PAR-10/> for further
details.

Registration is now open via FLoC 2010 registration form
<http://www.floc-conference.org/registration.html>
Early registration is open until May 17th.

The programme of the workshop will comprise:

Invited Speakers:
1. Alexander Krauss (Technische Universitat Muenchen): Recursive
    Definitions of Monadic Functions.
2. Conor McBride (University of Strathclyde): Djinn, monotonic.

Contributed Talks:
1. Andreas Abel: Integrating Sized and Dependent Types.
2. Nils Anders Danielsson: Beating the Productivity Checker Using
    Embedded Languages.
3. Issam Maamria and Michael Butler: Rewriting and Well-Definedness
    within a Proof System.
4. Claudio Sacerdoti Coen and Silvio Valentini: General Recursion and
    Formal Topology.
5. Aaron Stump, Vilhelm Sjöberg and Stephanie Weirich: Termination
    Casts: A Flexible Approach to Termination with General Recursion.

Informal presentations:
1. Thorsten Altenkirch and Nils Anders Danielsson: Termination
    Checking Nested Inductive and Coinductive Types.
2. Gavin Mendel-Gleason and Geoff Hamilton. Inhabitation of
    (Co)-inductive Types using Transition Systems.
3. Tarmo Uustalu. Antifounded coinduction in type theory.

See also the workshop program at
<http://www.cs.st-andrews.ac.uk/~ek/PAR-10/program.html>

At PAR'10, we envisage an open, friendly, and inspiring discussion of
the latest trends and achievements in the area.

Looking forward to seeing you in Edinburgh,

-- PAR'10 organising committee



More information about the Agda mailing list