The three “CO” (Composability, Comprehensibility, Correctness) Winter School


The three “CO” (Composability, Comprehensibility and Correctness) Winter School (3COWS) is the first intensive programme for higher education learners and teaching staff extending the community of the Central European Functional Programming (CEFP) summer school in the frame of the ERASMUS+ project No. 2017-1-SK01-KA203-035402 (project details incl. contact persons can be found here).

It will be held in Kosice, Slovakia between January 22-26, 2018.

This winter school is for BSc, MSc, PhD or equivalent students as well as for teachers. Students will be asked to provide personal data to be included with the IS of TUKE with the aim to provide ECTS documents of the obtained credits from this winter school.

As of the tradition of the Central European Functional Programming Summer Schools, the three “CO” (Composability, Comprehensibility, Correctness) Winter School also includes the extra session called PhD Workshop to discuss ongoing related PhD research. Attending the PhD workshop requires attendance at the Winter School. After presenting their work, the students will get a valuable feedback from the workshop committee (consisting of project coordinators/contacts and attendees of the teacher training) including suggestion on how and where to publish the presented early or more mature results.

Teachers can benefit of the presented teaching techniques, grading and other evaluation strategies as well as of the transeuropean atmosphere at the event.


Our mission is to get the CEFP community together with new researchers with the aim to share current research and teaching results between them and, to provide an opportunity to these researchers to teach attending students from different European countries novel research topics.

Important dates

Application until: January 12, 2018
Winter school: January 22-26, 2018

Applications should be discussed and sent to the project partner's contact person. Applications should include the Europass CV of the applicant and a short motivation letter.

Programme of the winter school

The PDF version of the timetable can be downloaded here.

ID Title Presenter
L1 How Green Is Your Process? Csaba Szabo, Kosice
L2 Functional Approach to Natural Language Processing Ján Kollár, Kosice
L3 Why “Task Oriented Programming” matters Rinus Plasmeijer, Nijmegen
L4 Functional Programming of Devices Pieter Koopman, Nijmegen
L5 Purely Functional Embedding of Attribute Grammars João Saraiva, Braga & João Paulo Fernandes, Coimbra
L6 Programming of Management and Orchestration of Virtualized Network Resources Tihana Galinac Grbac, Rijeka
L7 Static Code Analysis with CodeChecker Zoltán Porkoláb, Budapest
L8 Functional Programming Skeletons for High-Performance Computing Viktória Zsók, Budapest
L9 Functional Programming and Cloud management Ana Oprescu, Amsterdam


Accommodation will be provided at the TUKE student hostel on Nemcovej 1, Kosice. There are 2- and 3-person rooms. The applicants should indicate whom they wish to share the room with. Breakfast is not included. The accommodation at the student dormitory has to be paid by the participant,


The banquet will be organized for all registered participants in the saloon at Nemcovej 1.


We plan to visit Strbske pleso, a very nice lake in the High Tatras in the northern part of Slovakia.


Košice "is the largest city in eastern Slovakia and in 2013 was the European Capital of Culture (together with Marseilles, France). It is situated on the river Hornád at the eastern reaches of the Slovak Ore Mountains, near the border with Hungary. With a population of approximately 240,000, Košice is the second largest city in Slovakia after the capital Bratislava..." read more at Wikipedia

"The Technical University of Košice was founded in 1952, but its roots must be sought much deeper in the past. As early as 1657 the Universitas Cassoviensis was established in Košice, but technical education in Slovakia was only elevated to higher - education level in 1762, when the Austro-Hungarian monarch Maria Theresa established the Mining Academy in Banská Štiavnica. This provided education and promoted research activity in a group of scientific disciplines ranging from ore mining through to production and processing of metal materials." read more at

The Winter school will be organized in the TUKE main building, several related activities will find place in a walking distance. The rooms (529A, 537A) the winter school lectures will be presented are situated at the fifth floor of the TUKE main building, hall A.


We start in room 529A every day. Please be on time! The PDF version of the timetable can be downloaded here.

Date 09:00 - 10:30 10:30 - 11:00 11:00 - 12:30 12:30 - 14:00 14:00 - 15:30 15:30 - 16:00 16:00 - 17:30 18:30 - 22:00
22.1. L1 coffee break L1 lunch break L2 coffee break L2 homeworks
23.1. L3 coffee break L3 lunch break L4 coffee break L4 PhD Workshop
24.1. L5 coffee break L5 lunch break excursion homeworks
25.1. L6 coffee break L6 lunch break L7 coffee break L7 banquet
26.1. L8 coffee break L8 lunch break L9 coffee break L9 closing

Lecture abstracts

Lecture abstracts and further details can be obtained after clicking on the lecture title in the list of lectures.

Registered participants

The list will be reachable after clicking the links below.

Teacher training Student training PhD Workshop