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?

Jak se vypořádat s neúspěšností při podávání GAČR projektů?

Co jsou možné příčiny neúspěšnosti projektových návrhů? Co s tím můžeme dělat? Přijďte si poslechnout zkušenosti členů GAČR panelů a diskutovat možnosti, jak úspěšnost našich návrhů zvýšit. Představíme naše návrhy a budeme rádi za vaši zpětnou vazbu a vaše případné návrhy. Vzhledem k tomu, že financování vědy je kritickým aspektem zdravého vědeckého prostředí na fakultě, musíme stávájícím problémům čelit a přijmout nutná opatření. Svou účastí v této diskusi se můžete přímo podílet na formování těchto opatření.

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.

CoFI break s vedením

Lab Fest probíhající v rámci Informatického kolokvia si klade za cíl přiblížit akademické obci činnost výzkumných skupin na fakultě, konkrétně jejich personální obsazení, oblasti zájmu, zapojení do grantů, probíhající spolupráce na univerzitě, v Česku či mezinárodně; budoucí směřování a aktuální výzkumné či vývojové výsledky.

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á: Twin-width of Graphs on Surfaces

Twin-width is a structural graph parameter introduced in 2020 by Bonnet, Kim, Thomassé and Watrigant. Graphs of bounded twin-width generalize a wide range of graph classes, both sparse and dense, and the parameter has turned out to be an important tool in many areas, including structural and algorithmic graph theory, combinatorics, and model theory. Although it is known that many graph classes have bounded twin-width, the bounds are often enormous, and determining better, explicit bounds has, therefore, been a focus of an intensive line of research. In this talk, we present a new, asymptotically optimal upper bound for twin-width of graphs embeddable on surfaces.

Ján Jančár: TBA

What challenges do biomolecules bring to IT?

Biomolecules, such as proteins and nucleic acids, are 3D objects that are essential building blocks of living organisms. But what are they hiding inside? Various complex data structures - sets of 2D and 3D points, graphs, multigraphs, matrices, groups, etc.. The contents of these data structures make not only biological but also logical sense. Moreover, the datasets of biomolecular 3D structure are huge. On top of that, research on these data can bring breakthrough results for our life.

In my talk, I will present selected key challenges in biomolecular 3D structure research (e.g., structure visualization, prediction, similarity search, property computation) and IT ways to address them. In addition, I will show the questions that are still open and waiting for their IT solutions.

TBA