Activities per year
Activities
- 9 results
Search results
-
ECOOP/ISSTA 2024 Doctoral Symposium
Burcu Kulahcioglu Ozkan (Organiser)
16 Sept 2024 → 20 Sept 2024Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
ACM Student Research Competition’24
Burcu Kulahcioglu Ozkan (Organiser)
11 Mar 2024 → 14 Mar 2024Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Dagstuhl Seminar 23441: Ensuring the Reliability and Robustness of Database Systems
Burcu Kulahcioglu Ozkan (Participant)
29 Oct 2023 → 3 Nov 2023Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Dagstuhl Seminar 23112: Unifying Formal Methods for Trustworthy Distributed Systems
Burcu Kulahcioglu Ozkan (Participant)
12 Mar 2023 → 15 Mar 2023Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Erlang'23 - The 22nd Edition of the ACM SIGPLAN Erlang Workshop
Burcu Kulahcioglu Ozkan (Chair of programme committee)
4 Sept 2023Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Verification Mentoring Workshop 2023 - colocated with CAV'23
Burcu Kulahcioglu Ozkan (Organiser)
18 Jul 2023Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Dagstuhl Seminar 22492: Formal Methods and Distributed Computing: Stronger Together
Burcu Kulahcioglu Ozkan (Participant)
4 Dec 2022 → 9 Dec 2022Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Erlang'22 - The 21st ACM SIGPLAN Erlang Workshop
Burcu Kulahcioglu Ozkan (Chair of programme committee)
16 Sept 2022Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Alice and Eve 2022
Burcu Kulahcioglu Ozkan (Organiser)
18 Nov 2022Activity: Participating in or organising an event › Participation in workshop, seminar, course