coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Call For Participation to TYPES-ITRS 2020: early registration expires on 16th February
Chronological Thread
- From: "Ugo de'Liguoro" <deligu AT di.unito.it>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Call For Participation to TYPES-ITRS 2020: early registration expires on 16th February
- Date: Mon, 10 Feb 2020 13:57:26 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=deligu AT di.unito.it; spf=Pass smtp.mailfrom=deligu AT di.unito.it; spf=None smtp.helo=postmaster AT mail.di.unito.it
- Dkim-filter: OpenDKIM Filter v2.11.0 mail.di.unito.it 01ACvQOF017908
- Ironport-phdr: 9a23:pgtlnh/LLdCxcv9uRHKM819IXTAuvvDOBiVQ1KB41uIcTK2v8tzYMVDF4r011RmVBNmdtasP17ae8/i5HzBZutDZ6DFKWacPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVvO+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oIxi6sArcutMXjId/Jao8xRTEqWZMd+hK2G9kP12ekwvy68uq4JJv7yFcsO89+sBdVqn3Y742RqFCAjQ8NGA16szrtR3dQgaK+3ARTGYYnAdWDgbc9B31UYv/vSX8tupmxSmVJtb2QqwuWTSj9KhkVhnlgzoaOjEj8WHXjstwjL9HoB+kuhdyzZLYbJ2TOfFjeK7WYNEUSndbXstJVyJPH52yYYgBAeUPMulXs5LwqEESoRakHwSgGO3ixztOi3Tr3aM6yeMhEQTe0QAuEd0Ov3PUp8joO6gMUuy7yqjIzTreb/NRwzf974bEeQ0mrP6RQ71wdcvRyUYyFw7ek1qQqJbpPy6T1uQMr2ib6PBsVeOzi2M+rQx6vzahxsApiobTh4IVzEjJ9Th/wIY0Od24T1R3Yd+4EJZWqiqUNJN2T9s/T2xmpCo20KAKtJqlcCQQ1Zgqxx/SZ+aaf4WO/xntTvyeIS1ii3JgYL+/hwi98UynyuDkU8m7yldKri5fntbRt3ABzQHT6s6GSvth+UetwzeP1xzL5uFFJ0A7i7bbJoY8zrM+ipYfq1nPEyvolEnskaObdkQp9vK15+j/Z7XpvJ6cN4t6igHkNaQun9SyDvkmPQgKXmib9vm82ab+8k34WrlKk/s2kqjFsJDdP8gbp7K5DxdP0ok/8xa/Eyum0NMAkHYbK1JFYQuLgJTtO1HTO//1Fuy/glSpkDdz3f/KJLzhApPXLnjCirjtZ7h961QPgDY0mNtY/tdfDqwLCPP1QE748tLCXTEjNAnhidvoD51x28w6WG2SBbWeeuuGvVKM5+0yC+WNIpITuSr6bfk5sa29xUQlkEMQKPH6laAcb2q1S6w/chepJEH0i9JEKl8k+w83TejkklqHCGUBa3f0QqQ9+jZ9CZ70VN6fFLDou6SI2WKAJrMTfnpPUwveHXauaoOFR/BKaT7AepY8wAxBbqCoTsoa7T/rtAL+zOM3fO/d+yleuZOlyd50++qVlA1grTE=
==============================================================
26th INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS
2020 - 2-5 MARCH
10th WORKSHOP ON INTERSECTION TYPES AND RELATED SYSTEMS - 6 MARCH
==============================================================
https://types2020.di.unito.it
Turin, Italy
The TYPES meetings are a forum to present new and on-going work in
all
aspects of type theory and its applications, especially in
formalised
and computer assisted reasoning and computer programming.
The TYPES areas of interest include, but are not limited to:
* foundations of type theory and constructive mathematics;
* applications of type theory;
* dependently typed programming;
* industrial uses of type theory technology;
* meta-theoretic studies of type systems;
* proof assistants and proof technology;
* automation in computer-assisted reasoning;
* links between type theory and functional programming;
* formalizing mathematics using type theory.
We encourage talks proposing new ways of applying type theory. In
the
spirit of workshops, talks may be based on newly published papers,
work submitted for publication, but also work in progress.
The EUTypes Cost Action CA15123 (eutypes.cs.ru.nl) focuses on the
same
research topics as TYPES and partially sponsors the TYPES
Conference:
Part of the program is organised under the auspices of EUTypes.
INVITED SPEAKERS
* Ulrik Buchholtz
* Pierre Marie-Pédrot
* Leonardo de Moura
* Sara Negri
The ITRS 2020 workshop aims to bring together researchers working
on both the theory and practical applications of systems based on
intersection types and related approaches.
Possible topics for submitted papers include, but are not limited
to:
* Results for related systems, such as union types, refinement types, or singleton types.
* Applications to lambda calculus, pi-calculus and similar systems.
* Applications for programming languages, program analysis, and program verification.
* Applications for other areas, such as database query languages and program extraction from proofs.
* Related approaches using behavioural/intensional types and/or denotational semantics to characterize
computational properties.
* Quantitative refinements of intersection types.
Invited Speaker
- Jeremy Siek
Registration form: https://types2020.di.unito.it/registration.html
Early registration: 16th February
CONTACT
Email: ugo.deliguoro AT unito.it
-- Ugo de'Liguoro Associate Professor Dept. of Computer Science University of Torino Corso Svizzera 185, 10149, Torino (Italy) phone +39 011 6706766 - fax +39 011 751603
- [Coq-Club] Call For Participation to TYPES-ITRS 2020: early registration expires on 16th February, Ugo de'Liguoro, 02/10/2020
Archive powered by MHonArc 2.6.18.