20 results · clear filters Sort: newest oldest name

1. 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
2. 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
3. 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
4. 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
5. 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
6. 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
7. 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
8. International Workshop on Types for Proofs and Programs (TYPES)
   2008-03-26/29 · Turin, Italy
   Computer and information sciences
   e108h3q
9. International Workshop on Types for Proofs and Programs (TYPES)
   2007-05-02/05 · Cividale del Friuli, Italy
   Computer and information sciences
   e108h2s
10. International Workshop on Types for Proofs and Programs (TYPES)
    2006-04-18/21 · Nottingham, United Kingdom
    Computer and information sciences
    e108h1v
11. International Workshop on Types for Proofs and Programs (TYPES)
    2004-12-15/18 · Jouy-en-Josas, France
    Computer and information sciences
    e108h0x
12. International Workshop on Types for Proofs and Programs (TYPES)
    2003-04-30 to 2003-05-04 · Turin, Italy
    Computer and information sciences
    e108gzz
13. International Workshop on Types for Proofs and Programs (TYPES)
    2002-04-24/28 · Kingdom of the Netherlands
    Computer and information sciences
    e108gy1
14. International Workshop on Types for Proofs and Programs (TYPES)
    2000-12-08/12 · Durham, United Kingdom
    Computer and information sciences
    e108gx3
15. International Workshop on Types for Proofs and Programs (TYPES)
    1999-06-12/16 · Lökeberg, Sweden
    Computer and information sciences
    e108gw5
16. International Workshop on Types for Proofs and Programs (TYPES)
    1998-03-27/31 · Germany
    Computer and information sciences
    e108gv7
17. International Workshop on Types for Proofs and Programs (TYPES)
    1996-12-15/19 · Aussois, France
    Computer and information sciences
    e108gt9
18. International Workshop on Types for Proofs and Programs (TYPES)
    1995-06-05/08 · Turin, Italy
    Computer and information sciences
    e108gsb
19. International Workshop on Types for Proofs and Programs (TYPES)
    1994-06-06/10 · Båstad, Sweden
    Computer and information sciences
    e108grd
20. 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?kind=event&discipline=Q21198&series=s10aq3d