You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 2 Jun

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

10:00 - 10:30
BreakCatering at Foyer
10:00
30m
Coffee break
Break
Catering

12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

15:00 - 15:30
BreakCatering at Foyer
15:00
30m
Coffee break
Break
Catering

18:30 - 18:31
Meeting Point for Welcome ReceptionSocial Events at Outside of the Faculty
18:30
1m
Meeting
Meeting Point for Welcome Reception
Social Events

19:00 - 21:00
Welcome ReceptionSocial Events at Old Town Hall

Tue 3 Jun

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

09:00 - 10:00
SCLIT 2025, session 1SCLIT at S 9
Chair(s): Nicolás Cardozo Universidad de los Andes, Gordana Rakić Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad
09:00
10m
Other
Welcome to SCLIT 2025
SCLIT
Gordana Rakić Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad, Nicolás Cardozo Universidad de los Andes
09:10
20m
Paper
Are there Hypothesis for Attribute Grammars?
SCLIT
Emanuel Rodrigues HASLab & INESC TEC, University of Minho, José Nuno Macedo University of Minho, João Saraiva HASLab/INESC TEC, University of Minho
09:30
20m
Paper
On the Effectiveness of Interpreter-Guided Compiler Testing
SCLIT
Federico Lochbaum , Guillermo Polito Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL
09:50
10m
Other
Short discussion
SCLIT

10:00 - 10:30
BreakCatering at Foyer
10:00
30m
Coffee break
Break
Catering

10:30 - 12:00
SCLIT 2025, session 2SCLIT at S 9
Chair(s): Nicolás Cardozo Universidad de los Andes, Gordana Rakić Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad
10:30
20m
Paper
A Comparison of Three Program Query Languages to Detect Python Programming Misconceptions
SCLIT
Quentin Colla , Kim Mens Université catholique de Louvain, ICTEAM institute, Belgium, Julien Liénard Université catholique de Louvain (UCL), Institute of Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM)
10:50
20m
Paper
Identifying security issues in Elixir web applications
SCLIT
Smiljana Knežev , István Bozó Eötvös Loránd University, Melinda Tóth Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd.
11:10
20m
Paper
The Pyttern Program Query Language
SCLIT
Julien Liénard Université catholique de Louvain (UCL), Institute of Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM), Kim Mens Université catholique de Louvain, ICTEAM institute, Belgium, Siegfried Nijssen UC Louvain
11:30
30m
Other
Concluding discussion and closing
SCLIT

12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

15:00 - 15:30
BreakCatering at Foyer
15:00
30m
Coffee break
Break
Catering

Wed 4 Jun

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

10:00 - 10:30
BreakCatering at Foyer
10:00
30m
Coffee break
Break
Catering

12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

15:00 - 15:30
BreakCatering at Foyer
15:00
30m
Coffee break
Break
Catering

18:30 - 18:31
Meeting Point for Conference DinnerSocial Events at Outside of the Faculty
18:30
1m
Meeting
Meeting Point for Conference Dinner
Social Events

19:00 - 22:00
19:00
3h
Social Event
Dinner
Social Events

Thu 5 Jun

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

10:00 - 10:30
BreakCatering at Foyer
10:00
30m
Coffee break
Break
Catering

12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

15:00 - 15:30
BreakCatering at Foyer
15:00
30m
Coffee break
Break
Catering

Fri 6 Jun

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

10:00 - 10:30
BreakCatering at Foyer
10:00
30m
Coffee break
Break
Catering

14:00 - 14:10
Meeting Point for Prague walking tourSocial Events at Outside of the Faculty
14:10 - 17:00