Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Workshop on Intersection Types and Related Systems (ITRS)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

Venue Information

is part of (2002): Federated Logic Conference (FLoC)

12th DCM / 9th ITRS 2018: Oxford, UK

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-09561
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-09561
Michele Pagani, Sandra Alves:
Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018. EPTCS 293, 2019 [contents]

8th ITRS@FSCD 2016: Polto, Portugal

- view
  authority control:
- export record
  dblp key:
  - journals/corr/Kobayashi17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Kobayashi17
Naoki Kobayashi:
Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016. EPTCS 242, 2017 [contents]

7th ITRS@RTA 2014: Vienna, Austria

- view
  authority control:
- export record
  dblp key:
  - journals/corr/Rehof15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Rehof15
Jakob Rehof:
Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014. EPTCS 177, 2015 [contents]

6th ITRS@LICS 2012: Dubrovnik, Croatia

- view
  authority control:
- export record
  dblp key:
  - journals/corr/Graham-LengrandP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Graham-LengrandP13
Stéphane Graham-Lengrand, Luca Paolini:
Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012. EPTCS 121, 2013 [contents]

5th ITRS@LICS 2010: Edinburgh, UK

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1101-4104
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4104
Elaine Pimentel, Betti Venneri, Joe B. Wells:
Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010. EPTCS 45, 2010 [contents]

3rd ITRS@LICS 2004: Turku, Finland

- view
- export record
  dblp key:
  - conf/itrs/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itrs/2004
Mario Coppo, Ferruccio Damiani:
Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004. Electronic Notes in Theoretical Computer Science 136, Elsevier 2005 [contents]

2nd ITRS@FLoC 2002: Copenhagen, Denmark

- view
- export record
  dblp key:
  - conf/itrs/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itrs/2002
Steffen van Bakel:
Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002. Electronic Notes in Theoretical Computer Science 70(1), Elsevier 2003 [contents]

1st ITRS@ICALP 2000: Geneva, Italy

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.