Activities per year
Activities
- 38 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
-
ASPLOS'24 - The 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
Burcu Kulahcioglu Ozkan (Member of programme committee)
27 Apr 2024 → 1 May 2024Activity: Participating in or organising an event › Participation in conference
-
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
-
VMCAI'24 - The 25th International Conference on Verification, Model Checking, and Abstract Interpretation
Burcu Kulahcioglu Ozkan (Member of programme committee)
17 Jan 2024 → 19 Jan 2024Activity: Participating in or organising an event › Participation in conference
-
OOPSLA 2024 - ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
Burcu Kulahcioglu Ozkan (Member of programme committee)
20 Oct 2024 → 25 Oct 2024Activity: Participating in or organising an event › Participation in conference
-
Keynote at SEFM'23
Burcu Kulahcioglu Ozkan (Keynote speaker)
10 Nov 2023Activity: Talk or presentation › Talk or presentation at a conference
-
OOPSLA 2023
Burcu Kulahcioglu Ozkan (Member of programme committee)
22 Oct 2023 → 27 Oct 2023Activity: Participating in or organising an event › Participation in conference
-
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
-
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
-
24th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) 2023
Burcu Kulahcioglu Ozkan (Member of programme committee)
15 Jan 2023 → 17 Jan 2023Activity: Participating in or organising an event › Participation in conference
-
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
-
Invited tutorial at the STV'23 summer school
Burcu Kulahcioglu Ozkan (Invited speaker)
11 Sept 2023 → 13 Sept 2023Activity: Talk or presentation › Talk or presentation at a workshop, seminar, course or other meeting
-
Invited tutorial at the DARE'23 summer school
Burcu Kulahcioglu Ozkan (Invited speaker)
11 Sept 2023 → 15 Sept 2023Activity: Talk or presentation › Talk or presentation at a workshop, seminar, course or other meeting
-
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
-
8th International Workshop on Metamorphic Testing (MET), in conjunction with ICSE 2023
Burcu Kulahcioglu Ozkan (Member of programme committee)
14 May 2023Activity: Participating in or organising an event › Participation in conference
-
VSTTE'23 - The 15th International Conference on Verified Software: Theories, Tools, and Experiments
Burcu Kulahcioglu Ozkan (Member of programme committee)
23 Oct 2023 → 24 Oct 2023Activity: Participating in or organising an event › Participation in conference
-
SEFM'23 - The 21st International Conference on Software Engineering and Formal Methods
Burcu Kulahcioglu Ozkan (Member of programme committee)
8 Nov 2023 → 10 Nov 2023Activity: Participating in or organising an event › Participation in conference
-
35th International Conference on Computer Aided Verification (CAV) 2023
Burcu Kulahcioglu Ozkan (Member of programme committee)
17 Jul 2023 → 22 Jul 2023Activity: Participating in or organising an event › Participation in conference
-
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
-
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
-
31st European Symposium on Programming (ESOP)
Burcu Kulahcioglu Ozkan (Member of programme committee)
2 Apr 2022 → 7 Apr 2022Activity: Participating in or organising an event › Participation in conference
-
37th IEEE/ACM International Conference on Automated Software Engineering (ASE) 2022
Burcu Kulahcioglu Ozkan (Member of programme committee)
10 Oct 2022 → 14 Oct 2022Activity: Participating in or organising an event › Participation in conference
-
15th IEEE International Conference on Software Testing, Verification and Validation, ICST 2022
Burcu Kulahcioglu Ozkan (Member of programme committee)
4 Apr 2022 → 8 Apr 2022Activity: Participating in or organising an event › Participation in conference
-
The Esiac-10 Algebraic Computer
C. Pronk (Speaker)
4 Oct 2021Activity: Talk or presentation › Talk or presentation at a workshop, seminar, course or other meeting
-
Dagstuhl Seminar 21442: Ensuring the Reliability and Robustness of Database Systems
Burcu Kulahcioglu Ozkan (Participant)
1 Nov 2021 → 4 Nov 2021Activity: Participating in or organising an event › Participation in conference
-
20th ACM SIGPLAN International Workshop on Erlang
Burcu Kulahcioglu Ozkan (Member of programme committee)
26 Aug 2021Activity: Participating in or organising an event › Participation in conference
-
SEN'21 - Dutch National Symposium on Software Engineering (SEN)
Burcu Kulahcioglu Ozkan (Invited speaker)
18 Feb 2021Activity: Talk or presentation › Talk or presentation at a conference
-
28th Static Analysis Symposium (SAS) 2021
Burcu Kulahcioglu Ozkan (Member of programme committee)
17 Oct 2021 → 22 Oct 2021Activity: Participating in or organising an event › Participation in conference
-
35th European Conference on Object-Oriented Programming, ECOOP 2021
Burcu Kulahcioglu Ozkan (Member of programme committee)
11 Jul 2021 → 17 Jul 2021Activity: Participating in or organising an event › Participation in conference
-
De Rekenmachine van Hammer
K. Pronk (Speaker)
25 Nov 2019Activity: Talk or presentation › Talk or presentation at a workshop, seminar, course or other meeting
-
MSR 2018: 15th International Conference on Mining Software Repositories (Event)
A.E. Zaidman (Editor), Yasutaka Kamei (Editor) & Emily Hill (Editor)
2018Activity: Publication peer-review and editorial work › Editorial activity
-
Delft University of Technology (Publisher)
A.E. Zaidman (Editor)
2010 → …Activity: Publication peer-review and editorial work › Publication peer-review
-
IEEE (Publisher)
A.E. Zaidman (Editor)
2009 → …Activity: Publication peer-review and editorial work › Publication peer-review
-
IEEE (Publisher)
A.E. Zaidman (Editor)
2008 → …Activity: Publication peer-review and editorial work › Publication peer-review
-
Delft University of Technology (Publisher)
A.E. Zaidman (Editor)
2008 → …Activity: Publication peer-review and editorial work › Publication peer-review
-
Delft University of Technology (Publisher)
A.E. Zaidman (Editor)
2007 → …Activity: Publication peer-review and editorial work › Publication peer-review
-
De software-evolutieparadox
A. van Deursen (Speaker)
2005 → …Activity: Talk or presentation › Talk or presentation at a workshop, seminar, course or other meeting