Translated using DeepL

Machine-translated page for increased accessibility for English questioners.

Colloquium of the Faculty of Informatics

The Computer Science Colloquium is held on Tuesdays at 2:30 pm during the semester. The goal of the colloquium is to present current research in various areas of computer science to a broad audience of faculty.

Time and location

  • Regularly every Tuesday during the teaching part of the semester
  • 14:30-15:30
  • Lecture room A217, Faculty of Computer Science MU, Botanická 68a, Brno
  • the lecture is preceded by an informal meeting with the speaker
    • 14:00-14:30
    • classroom A220
    • Refreshments (coffee, tea) available

Schedule - Spring 2025

Date Speakers Name
25/2 Felix Winter (TU Wien) Constraint-Based Solution Methods for Automated Production Scheduling
4/3 John Abela (University of Malta) TBA
11/3 TBA TBA
18/3 Wolfgang Aigner TBA
25/3 Martin Komenda (MED MUNI) TBA
1/4 Ondřej Lengál (FIT BUT) TBA
8/4 TBA TBA
15/4 CoFI break with management Informal meeting of academic staff with dean and faculty leadership
22/4 Lab Fest: Jan Křetínský, Michal Kozubek Block of presentations by faculty research groups to the academic community
29/4 Vojtěch Forejt TBA
6/5 PhD Fest: Kristýna Pekárková, Ján Jančár Block of presentations by PhD students of the faculty
13/5 Radka Svobodová TBA
20/5 Tomáš Foltýnek, Petr Švenda, Jakub Čížek TBA

Lectures - Spring 2025

Felix Winter 2/25/2025 2:30 pm Auditorium A217

Constraint-Based Solution Methods for Automated Production Scheduling

Modern-day factories often use a complex and highly automated process to manufacture large quantities of products. Thus, finding an efficient production schedule becomes challenging, as usually, many complex constraints impose restrictions on feasible schedules. To capture the requirements of production scheduling problems from various domains, high-level constraint modeling languages, which can be used together with automated constrained optimization solving technology, have been proposed in the past. However, to handle large-scale scheduling problems efficiently, novel modeling techniques and intelligent algorithms are often needed to tackle the complex scheduling constraints in real-life environments.

This talk will give an overview of our work with constraint-based solution approaches for several real-life scheduling problems from the industry. Thereby, we will discuss advanced constraint modeling strategies and state-of-the-art solution algorithms.

TBA 3/11/2025 2:30 PM Room A217

TBA

TBA 8 Apr 2025 14:30 A217

TBA

4/15/2025 2:00 PM KYPO (Room S108)

CoFI break with leadership

Lab Fest 4/22/2025 2:30pm Room A217

The Lab Fest, held as part of the Informatics Colloquium, aims to introduce the academic community to the activities of research groups at the Faculty, specifically their staffing, areas of interest, involvement in grants, ongoing collaborations at the University, in the Czech Republic or internationally; future directions and current research or development results.

Jan Křetínský: Learning in Verification group (LiVe Lab)

Michal Kozubek: Centre for Biomedical Image Analysis (CBIA)

PhD Fest 6 May 2025 14:30 A217

Kristýna Pekárková: TBA

Ján Jančár: TBA

20 May 2025 14:30 A217 auditorium

Tomáš Foltýnek: TBA

Petr Švenda: TBA

Jakub Čížek: TBA