21 results · clear filters Sort: newest oldest name

1. International Workshop on Types for Proofs and Programs (TYPES)
   series, 27 events, 1993 to 2025
   Computer and information sciences
   s10aq3d
2. 24th International Conference on Types for Proofs and Programs, TYPES 2018, Braga, Portugal, June 18-21, 2018 (TYPES)
   2018-06-18/21 · Braga, Portugal
   Computer and information sciences
   e11xda1
3. 23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, May 29 - June 1, 2017 (TYPES)
   2017-05-29 · Budapest, Hungary
   Computer and information sciences
   e11xd93
4. 22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia, May 23-26, 2016 (TYPES)
   2016-05-23/26 · Novi Sad, Serbia
   Computer and information sciences
   e11xd85
5. 21st International Conference on Types for Proofs and Programs, TYPES 2015, Tallinn, Estonia, May 18-21, 2015 (TYPES)
   2015-05-18/21 · Tallinn, Estonia
   Computer and information sciences
   e11xd77
6. 20th International Conference on Types for Proofs and Programs, TYPES 2014, Paris, France, May 12-15, 2014 (TYPES)
   2014-05-12/15 · Paris, France
   Computer and information sciences
   e11xd69
7. 19th International Conference on Types for Proofs and Programs, TYPES 2013, Toulouse, France, April 22-26, 2013 (TYPES)
   2013-04-22/26 · Toulouse, France
   Computer and information sciences
   e11xd5b
8. 18th International Workshop on Types for Proofs and Programs, TYPES 2011, Bergen, Norway, September 8-11, 2011 (TYPES)
   2011-09-08/11 · Bergen, Norway
   Computer and information sciences
   e11xd4d
9. International Workshop on Types for Proofs and Programs (TYPES)
   2008-03-26/29 · Turin, Italy
   Computer and information sciences
   e108h3q
10. International Workshop on Types for Proofs and Programs (TYPES)
    2007-05-02/05 · Cividale del Friuli, Italy
    Computer and information sciences
    e108h2s
11. International Workshop on Types for Proofs and Programs (TYPES)
    2006-04-18/21 · Nottingham, United Kingdom
    Computer and information sciences
    e108h1v
12. International Workshop on Types for Proofs and Programs (TYPES)
    2004-12-15/18 · Jouy-en-Josas, France
    Computer and information sciences
    e108h0x
13. International Workshop on Types for Proofs and Programs (TYPES)
    2003-04-30 to 2003-05-04 · Turin, Italy
    Computer and information sciences
    e108gzz
14. International Workshop on Types for Proofs and Programs (TYPES)
    2002-04-24/28 · Kingdom of the Netherlands
    Computer and information sciences
    e108gy1
15. International Workshop on Types for Proofs and Programs (TYPES)
    2000-12-08/12 · Durham, United Kingdom
    Computer and information sciences
    e108gx3
16. International Workshop on Types for Proofs and Programs (TYPES)
    1999-06-12/16 · Lökeberg, Sweden
    Computer and information sciences
    e108gw5
17. International Workshop on Types for Proofs and Programs (TYPES)
    1998-03-27/31 · Germany
    Computer and information sciences
    e108gv7
18. International Workshop on Types for Proofs and Programs (TYPES)
    1996-12-15/19 · Aussois, France
    Computer and information sciences
    e108gt9
19. International Workshop on Types for Proofs and Programs (TYPES)
    1995-06-05/08 · Turin, Italy
    Computer and information sciences
    e108gsb
20. International Workshop on Types for Proofs and Programs (TYPES)
    1994-06-06/10 · Båstad, Sweden
    Computer and information sciences
    e108grd
21. International Workshop on Types for Proofs and Programs (TYPES)
    1993-05-24/28 · Kingdom of the Netherlands
    Computer and information sciences
    e108gqf

As JSON: https://labs.confref.org/api/search?discipline=Q21198&series=s10aq3d