Instytut Informatyki Analitycznej

数学与计算机系 uj-lift-theme.uniwersytet-jagiellonski

Seminaria

Second Neighborhood via First Neighborhood in Digraphs

01.12.2016

Navigating Central Path with Electrical Flows: from Flows to Matchings, and Back

01.12.2016

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

30.11.2016

Coloring curves that cross a fixed curve

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

Functional Code Building

23.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

Lattice Cryptography and The Learning With Errors Problem

22.11.2016