Voting is over, you will find the scheduled lectures in SIS.
SIS code | Name | Lecturer | Scheduled | Note |
---|---|---|---|---|
NTIN111 |
Algorithmic Data Privacy
|
Pavel Hubáček a Pavel Veselý | SIS | |
Datasets containing sensitive personal information could serve as invaluable resources to policy-makers, public institutions, and companies. Yet, their analysis or release could jeopardize the privacy of individuals whose data is contained in such datasets. The focus of this course will be on the notion of differential privacy that, beyond strong academic success (2017 Goedel Prize), made it into the production of companies such as Google and Apple. |
||||
NDMI074 |
Algorithms and Their Implementation
Algoritmy a jejich implementace |
M. Mareš | SIS | |
A course at the boundary between theory and practice, focused on efficient implementation of algorithms on real hardware. Architecture of computers, compilers, and operating systems from the programmer's point of view. Adapting algorithms to concrete machines. Instead of concrete frameworks, we will study the underlying principles. |
||||
NDMI077 |
Algorithms for specific graph classes
Algoritmy pro specifické třídy grafů |
J. Fiala | SIS | |
Free continuation of the lecture NDMI059, now focused on algorithmic consequences (Courcell's metathm, etc.). |
||||
NDMI045 |
Analytic and combinatorial number theory
Analytická a kombinatorická teorie čísel |
M. Klazar | SIS | úmluva e-mailem / please send e-mail |
NDMI087 |
Analytic combinatorics
Analytická kombinatorika |
Vít Jelínek | SIS | The tutorial sessions will be scheduled at the lecture. The course will be in English, unless all participants prefer Czech. |
This lecture will illustrate various surprising ways to combine the techniques from (mostly complex) analysis with the machinery of (ordinary and exponential) generating functions to solve (almost effortlessly!) some combinatorial counting problems that are too hard for conventional methods. I will assume no prior knowledge of complex analysis whatsoever. Some basic prior familiarity with generating functions will be helpful but is not necessary. |
||||
NSWI134 |
Code Optimization in Production Compilers
Optimalizace kódu produkčních překladačů |
Jan Hubicka | SIS | |
We focus on advanced algorithms used by production quality compilers (SSA form, scalar optimizaction, inter-procedural optimization and other topics). We discuss their practical application within open-source compilers (GCC, LLVM and others). This course is not aiming to be comprehensive description of the whole back-end, but we will focus on selected areas and discuss them in greater detail. |
||||
NDMI013 |
Combinatorial and Computational Geometry 2
Kombinatorická a výpočetní geometrie 2 |
M. Tancer, P. Valtr | SIS | |
The purpose of the lecture is to present several more advanced topics in combinatorial and computational geometry. The individual topics slightly vary each run. This year we intend to cover: Convex independent sets, halving lines, lower envelopes, Tverberg theorem. Probably also: Shellability of polytopes and upper bound theorem. |
||||
NDMI015 |
Combinatorial counting
Kombinatorické počítání |
M. Klazar | SIS | úmluva e-mailem / please send e-mail |
NDMI036 |
Combinatorial Structures
Kombinatorické struktury |
J. Kratochvíl | SIS | Best held on Tuesdays at 9:00 |
Přednáška se jen mírně překrývá s Kombinatorikou NMAG403. Zde si ukážeme jinou konstrukci Steinerových systémů trojic, dokážeme, že alespoň 2 ortogonální Latinské čtverce exitují pro každý řád kromě 6. Podstatná část přednášky bude věnována teorii konečných projektivních prostorů, kde hlavním výsledkem bude důkaz, že pro dimenzi větší než 2 je řád konečného projektivního prostoru nutně mocnina prvočísla. |
||||
NTIN081 |
Computational complexity and interactive protocols
Výpočetní složitost a interaktivni protokoly |
M. Koucký | SIS | First lecture in the week of 20.2.2023 |
When you get more time or space, can you solve more problems? Can you solve SAT in space n^{1/2} and time n^2? Is it easier to solve SAT if you know that there is at most one solution? How can Alice convince Bob that Coke and Pepsi taste differently? During this course we will address all of these questions and many more. This course will introduce students to many fundamental concepts of computational complexity. |
||||
NOPT057 |
Cooperative game theory
Kooperativní teorie her |
M. Černý, M. Loebl | SIS | |
NOPT060 |
Cooperative game theory seminar
Seminář z kooperativní teorie her |
M. Černý, D. Ryzák | SIS | |
NDMI107 |
Discrete Mathematics of Paul Erdős
Discrete Mathematics of Paul Erdős |
Vašek Chvátal | SIS | |
This will be the latest edition of a course that was hugely popular in Montreal between 2007 and 2009. Its enchanting textbook covers a number of topics listed at https://kam.mff.cuni.cz/~chvatal/NDMI107 . This is more material than can be studied in one semester; traditionally, I let the students choose in the beginning its subset that they want me to cover. |
||||
NDMI110 |
Graphs and networks
Grafy a sítě |
David Hartman, Aneta Pokorná | SIS | |
The course is an introductory course in complex networks. This topic combines areas of graph theory and combinatorics with the analysis of real-world complex systems. The topics of the course cover some problems from the area of structural graph theory, selected areas of spectral theory, random graphs and the problem of obtaining decompositions of vertices. Lectures are supplemented by seminars having partly theoretical and partly computational forms. |
||||
NOPT016 |
Integer programming
Celočíselné programování |
M. Hladík | SIS | |
NDMI100 |
Introduction to cryptography
Úvod do kryptografie |
M. Mareš | SIS | |
An introductory course ranging from theoretical foundations to commonly used cryptographical protocols (e.g., TLS and DNSSEC) and practical computer security. |
||||
NTIN100 |
Introduction to Information Transmission and Processing
Základy přenosu a zpracování informace |
M. Koucký | SIS | Will start the second week of semester. |
Essentials of information theory, error-correcting codes and communication complexity. |
||||
NOPT059 |
Large-scale optimization: Exact methods
Optimalizace velkých problémů: přesné metody |
Jakub Bulín | SIS | |
The aim of course is to introduce the main principles of various exact optimization methods based on linear programming and combinatorial optimization with emphasis on large-scale instances. Moreover, during the accompanying tutorial you will gain experience in applying these methods in practice. |
||||
NMAI071 |
Math++
Matematika++ |
Ida Kantor, Robert Šámal, Martin Tancer | SIS | |
Modern computer science often uses mathematical tools that reach beyond the scope of standard mathematical courses in the bachelor program. This course will present a (somewhat condensed) introduction to several fields of mathematics that proved especially useful in computer science and in discrete mathematics. Computer science applications will be shown as well. This course is suitable for master's or PhD students of computer science. The contents of the lecture alters (with period of 3 years). This year we intend to cover: Discrete Fourier transform, Representation theory, and Polynomials in many variables The language of the lecture will be Czech or English. (It will be English if there is at least one person in the audience who does not understand Czech.) |
||||
NMAI056 |
Mathematical Analysis 3
Matematická analýza 3 |
Martin Klazar | SIS | |
NOPT034 |
Mathematical Programming and Polyhedral Combinatorics
Matematické programování a polyedrální kombinatorika |
Petr Kolman, Hans Raj Tiwary | SIS | Preferred time for the lectures and tutorials: Fridays starting 9 am. |
This is a master-level course focusing on two topics in combinatorial optimization: i) structure of polytopes and the complexity of their description, ii) efficient methods for optimization over polytopes (and polyhedra). In the first part of the lecture, we will cover basics of the theory of polytopes such as the Minkowski-Weyl theorem, face-lattice, 1-skeleton, etc. In the second part we describe in detail the ellipsoid algorithm and the interior point methods (IPMs). It is worth mentioning that the framework of IPMs is a key ingredient of the recent algorithm for exact maximum flow in almost linear time. |
||||
NOPT008 |
Nonlinear Optimisation Algorithms
Algoritmy nelineární optimalizace |
David Hartman, Petra Pelikánová | SIS | |
This course follows the previous one called Fundamentals of Nonlinear Optimization (NOPT018), which discusses the theoretical formulations of a nonlinear optimization problem and its properties. In this course, various classes of optimization algorithms are discussed regarding their efficiency, computational complexity, and several other global properties. The course describes unconstraint and constraint optimization tasks with the nonlinear domain or function. Methods include (quasi)-newton methods, conjugate gradient, interior point, trust-region, etc. |
||||
NOPT053 |
Optimization Seminar
Optimalizační seminář |
D. Hartman, M. Hladík | SIS | |
NTIN095 |
Probabilistic Techniques 2
Pravděpodobnostní techniky 2 |
Robert Šámal, Misha Tyomkyn | SIS | |
This class is a continuation of Probabilistic Techniques NTIN022. (The knowledge of techniques from that class is necessary to follow this one.) The class is complementing (but not overlapping) with Probabilistic algorithms NDMI025. We will cover, among others: concentration inequalities, random regular graphs, quasirandomness. |
||||
NDMI025 |
Randomized Algorithms
Pravděpodobnostní algoritmy |
J. Sgall, P. Veselý | SIS | |
Use of randomness allows to solve problems more efficiently or even to solve problems that are otherwise intractable. The course covers somewhat advanced techniques for design of randomized algorithms. We cover diverse topics including random walks on graphs, counting, streaming algorithms, PCP theorem. We assume knowledge on the level of the courses NDMI084 Introduction to approximation and randomized algorithms and NTIN022 Probabilistic Techniques. |
||||
NDMI056 |
Selected Chapters on Combinatorics 2
Vybrané kapitoly z kombinatoriky 2 |
Jaroslav Nešetřil, Jan Hubička | SIS | |
We will concentrate on colorings, dimensions, Ramsey theory and sparsity. |
||||
NPRG015 |
Seminar for preparing students for contests in programming
Praktikum řešení programátorských úloh |
Z. Dvořák | SIS | Held every second week, starting on February 17th |
Training for programming contests. Held once every two weeks. |
||||
NDMI093 |
Seminar on algorithms and data structures
Seminář z algoritmů a datových struktur |
M. Mareš | SIS | |
Students present papers on new results in the field of algorithms and data structures. |
||||
NDMI052 |
Seminar on combinatorial problems
Problémový seminář z kombinatoriky |
J. Kynčl, P. Valtr | SIS | |
Team collaboration on solving open combinatorial problems. Easily formulated combinatorial problems of medium difficulty are discussed. |
||||
NDMI022 |
Seminar on Combinatorics
Kombinatorický seminář |
Martin Loebl, Martin Tancer | SIS | |
Seminar on Combinatorics is a seminar for students interested in combinatorics. The assumed knowledge corresponds to the first year lectures (Discrete Mathematics and Combinatorics and Graphs I). Therefore, the seminar is especially suitable for students of the 2nd year of Bachelor's studies and older but interested students of the first year are also very welcome. Main contents of the seminar is that the students present papers on Combinatorics. This means that you will learn something new as well as you will train how to explain some ideas to other students. Seminar covers several subtopics in Combinatrics including (but not limited to): Combinatorial structures, graph theory, combinatorial geometry, probability, game theory, etc. Participants of the seminar are invited to the Spring school of Combinatorics. |
||||
NUOS007 |
Seminar on computer typography
Seminář o počítačové typografii |
V. Majerech, M. Mareš | SIS | |
A sequel to the Seminar on TeX from the winter semester. We will focus on various extensions of TeX (pdfTeX, LuaTeX) and other tools for digital typesetting. |
||||
NTIN102 |
Seminar on theory of computing
Seminář z teoretické informatiky |
Koucký, Čepek, Feldmann, Hubáček, Kolman, Sgall | SIS | Scheduled: Tue 12:00-14:00, S8 |
Also known as the pizza seminar. Come enjoy a slice of pizza and a talk on current topics in theoretical computer science. |