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.

Understanding Large Language Models and the Path to AGI

Neural Networks are often perceived by the general population as a form of magic, but at their core, they are essentially a structured sequence of mathematical transformations mapping an input tensor space to an output tensor space. Large Language Models (LLMs), such as ChatGPT, operate through a series of tensor algebra operations, leveraging vast amounts of data and computation. The true "magic" emerges not from individual calculations but from scaling-when models grow larger, they exhibit emergent properties that were not explicitly programmed.

This talk explores the implications of scale in AI, drawing lessons from nature. Evolution did not grant humans 86 billion neurons and 100 trillion synaptic connections by accident; nature is economical, and the complexity of human intelligence is deeply tied to its capacity. The human brain's encephalization quotient-the ratio of brain mass to body size-exceeds that of any other primate, highlighting the importance of scale in biological intelligence.

A central question arises: are human intelligence and consciousness Turing-computable? If intelligence is simply the product of sufficient capacity and complexity, then in principle, AI models, when scaled, should be able to achieve human-level Artificial General Intelligence (AGI). But does the nature of intelligence go beyond computation? What is the Kolmogorov complexity of human intelligence? The Chinese Room argument, proposed by philosopher John Searle, challenges the idea that syntactic manipulation alone is sufficient for true understanding. Meanwhile, philosopher and cognitive scientist Daniel Dennett's theories on consciousness suggest that intelligence is just an emergent property of information processing, much like what we observe in modern AI models.

This talk will critically examine these perspectives, discussing whether AI is on the trajectory to achieving human-like cognition or if there are fundamental barriers that limit computational models from replicating consciousness. Ultimately, we will explore whether the rapid scaling of AI is bringing us closer to AGI or revealing the limits of algorithmic intelligence. Is the human brain super-Turing powerful?

How to deal with failure in GACR project submissions?

What are the possible reasons for the failure of project proposals? What can we do about it? Come and hear the experiences of GACR panel members and discuss ways to improve the success rate of our proposals. We will present our proposals and would be happy for your feedback and any suggestions you may have. Since science funding is a critical aspect of a healthy faculty research environment, we need to confront the ongoing challenges and take the necessary actions. By your participation in this discussion, you can directly participate in shaping these measures.

Multimodal TimeViz: Visualization and Multimodal Exploration of Time-Oriented Data

In this talk, I will explore the complexities and nuances of visualizing time-oriented data. Time, as a unique dimension, possesses a rich semantic structure that extends beyond a simple linear progression of values. I will demonstrate why effectively modeling this structure is essential for capturing temporal irregularities and cyclic patterns. Through practical examples, I will illustrate how these temporal characteristics significantly impact visualization design and interpretation. The talk further explores emerging research directions, including visualization literacy, audio-visual analytics, situated visualization, and knowledge-assisted visual analytics.

A data-driven approach in medical education and healthcare in practice

This lecture provides a comprehensive view of dependent outputs and activities in academic and governmental sectors that concentrate on health and medical education data collection, processing, analysis and visualisation, including the correct interpretation. Recognising the importance of correctly managing, identifying, and disseminating accurate information and insights from the vast array of data of differing quality is essential.

The lecture includes case studies that exemplify new findings and good practices in technology-enhanced learning and health informatics based on experiences from research and development projects, stakeholders' opinions, and community requirements. There are proven methodological and technological backgrounds, emphasised in this lecture, that cover a complete and robust framework for two unique and multidisciplinary domains of human interests and understanding: first, medical and healthcare education supported by the MEFANET network; second, health information and statistics describing mainly data from the National Health Information System. These topics are set in the context of achieved results applied in daily practice, sharing know-how, student involvement and community building. Generally, this research field is multidisciplinary and summarises the results achieved, combining the fields of informatics, medical education, pedagogy, data analysis, and health literacy.

What is my quantum program doing?

Development of quantum programs is hard due to their intricate structure and inherently probabilistic nature. Computer-aided tool support is therefore essential. Computer-based reasoning over quantum programs is, however, also challenging due to the exponential size of the program's state. In this talk, I will present a recent framework for automated formal verification of quantum programs that uses automata to represent complex sets of quantum states compactly.

TBA

CoFI break with management

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)

Jumping from Academia to Startup-Land: One Man's Story of Transferable Skills

Leaving academia for an academic spinout can, at first, feel like starting any other research project. But at some point, the differences start to become clear. While the technical challenges may be familiar, the priorities, constraints, and measures of success are often quite different. The objectives of a research project don't always align with those of a company, the motivations of funders shift from knowledge generation to commercial impact, and managing a team in a startup comes with its own unique dynamics. In this talk, I'll share my experience navigating this transition: the lessons I learned, the mistakes I and others made along the way, and the aspects of academic training that turned out to be useful. Whether you're considering a similar move, want to make your teaching more relevant to students going to the industry, or are just curious about how research skills translate to startups, I hope my talk will give you some useful insights.

Kristýna Pekárková: TBA

Ján Jančár: TBA

TBA

Tomáš Foltýnek: TBA

Petr Švenda: TBA

Jakub Čížek: TBA