Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PAR'10: Programme and Call for Participation


view this post on Zulip Email Gateway (Aug 18 2022 at 15:19):

From: Milad Niqui <M.Niqui@cwi.nl>
========================================================================
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


Last updated: Mar 29 2024 at 04:18 UTC