Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
27 results · clear filters Sort: newest oldest name
- 31st International Conference on Types for Proofs and Programs, TYPES 2025, University of Strathclyde, Glasgow, Scotland, UK, June 9-13, 2025Computer and information sciencese11xdhj
- 30th International Conference on Types for Proofs and Programs, TYPES 2024, Copenhagen, Denmark, June 10-14, 2024Computer and information sciencese11xdgm
- 29th International Conference on Types for Proofs and Programs, TYPES 2023, ETSInf, Universitat Politècnica de València, Spain, June 12-16, 2023Computer and information sciencese11xdfq
- 28th International Conference on Types for Proofs and Programs, TYPES 2022, LS2N, University of Nantes, France, June 20-25, 2022Computer and information sciencese11xdes
- 27th International Conference on Types for Proofs and Programs, TYPES 2021, Leiden, The Netherlands (Virtual Conference), June 14-18, 2021Computer and information sciencese11xddv
- 26th International Conference on Types for Proofs and Programs, TYPES 2020, University of Turin, Italy, March 2-5, 2020Computer and information sciencese11xdcx
- 25th International Conference on Types for Proofs and Programs, TYPES 2019, Oslo, Norway, June 11-14, 2019Computer and information sciencese11xdbz
- 24th International Conference on Types for Proofs and Programs, TYPES 2018, Braga, Portugal, June 18-21, 2018 (TYPES)Computer and information sciencese11xda1
- 23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, May 29 - June 1, 2017 (TYPES)Computer and information sciencese11xd93
- 22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia, May 23-26, 2016 (TYPES)Computer and information sciencese11xd85
- 21st International Conference on Types for Proofs and Programs, TYPES 2015, Tallinn, Estonia, May 18-21, 2015 (TYPES)Computer and information sciencese11xd77
- 20th International Conference on Types for Proofs and Programs, TYPES 2014, Paris, France, May 12-15, 2014 (TYPES)Computer and information sciencese11xd69
- 19th International Conference on Types for Proofs and Programs, TYPES 2013, Toulouse, France, April 22-26, 2013 (TYPES)Computer and information sciencese11xd5b
- 18th International Workshop on Types for Proofs and Programs, TYPES 2011, Bergen, Norway, September 8-11, 2011 (TYPES)Computer and information sciencese11xd4d
- International Workshop on Types for Proofs and Programs (TYPES)Computer and information sciencese108h3q
- International Workshop on Types for Proofs and Programs (TYPES)Computer and information sciencese108h2s
- International Workshop on Types for Proofs and Programs (TYPES)Computer and information sciencese108h1v
- International Workshop on Types for Proofs and Programs (TYPES)Computer and information sciencese108h0x
- International Workshop on Types for Proofs and Programs (TYPES)Computer and information sciencese108gzz
- International Workshop on Types for Proofs and Programs (TYPES)Computer and information sciencese108gy1
- International Workshop on Types for Proofs and Programs (TYPES)Computer and information sciencese108gx3
- International Workshop on Types for Proofs and Programs (TYPES)Computer and information sciencese108gw5
- International Workshop on Types for Proofs and Programs (TYPES)Computer and information sciencese108gv7
- International Workshop on Types for Proofs and Programs (TYPES)Computer and information sciencese108gt9
- International Workshop on Types for Proofs and Programs (TYPES)Computer and information sciencese108gsb
As JSON: https://labs.confref.org/api/search?kind=event&field=1&series=s10aq3d