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

About

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.

Mission

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

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.

Accommodation

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,

Banquet

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

Excursion

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

Location

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 tuke.sk

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.

Timetable

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

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.