Instytut Informatyki Analitycznej

Wydział Matematyki i Informatyki Uniwersytet Jagielloński

Seminaria

Coloring Ordinary Maps, Maps of Empires and Maps of the Moon

01.12.2016

Second Neighborhood via First Neighborhood in Digraphs

01.12.2016

Coloring curves that cross a fixed curve

30.11.2016

ALGEBRAIC FOUNDATIONS FOR QUALITATIVE CALCULI AND NETWORKS by ROBIN HIRSCH, MARCEL JACKSON, AND TOMASZ KOWALSKI

30.11.2016

Breaking RSA vs Factoring in generic ring model

29.11.2016

Several open problems from game theory, graph theory and combinatorics.

24.11.2016

Greedy algorithms for Steiner forest

24.11.2016

Inhabitation in Simply-Typed Lambda-Calculus through a Lambda-Calculus for Proof Search by Jos´e Espırito Santo, Ralph Matthes, Luıs Pinto

23.11.2016

Functional Code Building

23.11.2016

Lattice Cryptography and The Learning With Errors Problem

22.11.2016