9 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. 25th International Conference on Types for Proofs and Programs, TYPES 2019, Oslo, Norway, June 11-14, 2019
   2019 · Oslo, Norway
   Computer and information sciences
   e11xdbz
3. 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
4. 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
5. 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
6. 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
7. 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
8. 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
9. 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

As JSON: https://labs.confref.org/api/search?series=s10aq3d&from=2010&to=2019