Activities per year
- 15 results
Search results
-
ISR 2021: 12th International School on Rewriting (IFIP Working Group 1.6)
Perez Parra, J. (Contributor)
1-Jun-2021 → 15-Jun-2021Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
TYPES 2021: 27th International Conference on Types for Proofs and Programs
Perez Parra, J. (Member of scientific committee)
14-Jun-2021 → 18-Jun-2021Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
Session Types and Higher-Order Concurrency
Perez Parra, J. (Invited speaker)
24-Feb-2021Activity: Talk and presentation › Academic presentation › Academic
-
FORTE 2021: 41th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems
Perez Parra, J. (Member of scientific committee)
14-Jun-2021 → 18-Jun-2021Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
Linearity, Control Effects, and Behavioral Types
Perez Parra, J. (Invited speaker)
12-Jan-2021Activity: Talk and presentation › Academic presentation › Academic
-
LSFA 2021: 16th Workshop on Logical and Semantic Framework with Applications
Perez Parra, J. (Member of scientific committee)
23-Jul-2021 → 24-Jul-2021Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
FACS 2021: 17th International Conference on Formal Aspects of Component Software
Perez Parra, J. (Member of scientific committee)
28-Oct-2021 → 29-Oct-2021Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming
Perez Parra, J. (Member of scientific committee)
6-Sept-2021 → 8-Sept-2021Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
Dutch National Association for Software Engineering (VERSEN) (External organisation)
Perez Parra, J. (Member of board)
2020 → …Activity: Membership › Academic
-
CONCUR 2020: 31st International Conference on Concurrency Theory
Perez Parra, J. (Member of scientific committee)
1-Sept-2020 → 4-Sept-2021Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
Combined 26th Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics
Perez Parra, J. (Chair/vice-chair of scientific committee)
26-Aug-2019Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
39th IFIP WG 6.1 Conference on Formal Techniques for Distributed Objects, Components, and Systems
Perez Parra, J. (Chair/vice-chair of scientific committee)
17-Jun-2019 → 21-Jun-2019Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
Young Academy of Groningen (YAG) (External organisation)
Perez Parra, J. (Member)
2019 → …Activity: Membership › Academic
-
Combined 25th Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics
Perez Parra, J. (Chair/vice-chair of scientific committee)
2018Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
11th International Workshop on Developments in Computational Models
Perez Parra, J. (Chair/vice-chair of scientific committee)
28-Oct-2015Activity: Organising and attending an event › Organising and contributing to an event › Academic