Instytut
Informatyki
Polski
Timetable
Study
For candidates
Dolnośląski Festiwal Nauki
Rekrutacja
Forum
For students
KSI
Continuum
Helium
Mimiker
Kużnia rdzeni
Student council
Our studies
Data Science
PhD studies in Computer Science
Rules and forms
Services
Departamental library
SKOS
Enrolment
USOSWeb
E-mails
Archiwum prac dyplomowych
Student Exchange Programs
Student Exchange Programs
Contests
Wielka Przesmycka
AMPPZ
Olimpiada informatyczna
Institute
Services
Departamental library
On-line sources
KNO
Enrolment
USOSWeb
Archiwum prac dyplomowych
University Library
Structure
Committees
Research groups
LIGHT
About
Employees
Grants
Seminars
Papers
Computational Intelligence Research Group
About
Employees
Grants
Seminars
Papers
Independent employees
About
Employees
Grants
Seminars
Papers
Division of Software Engineering
About
Employees
Grants
Seminars
Papers
Programming Languages Group
About
Employees
Grants
Seminars
Papers
Numerical Analysis Research Group
About
Employees
Grants
Seminars
Papers
Combinatorial Optimization Group
About
Employees
Grants
Seminars
Papers
Foundations of Computer Science and Databases Group
About
Employees
Grants
Seminars
Papers
Complexity and Algorithms Research Group
About
Employees
Grants
Seminars
Papers
Employees
Dean's office
Awards
Research
Research groups
LIGHT
About
Employees
Grants
Seminars
Papers
Computational Intelligence Research Group
About
Employees
Grants
Seminars
Papers
Independent employees
About
Employees
Grants
Seminars
Papers
Division of Software Engineering
About
Employees
Grants
Seminars
Papers
Programming Languages Group
About
Employees
Grants
Seminars
Papers
Numerical Analysis Research Group
About
Employees
Grants
Seminars
Papers
Combinatorial Optimization Group
About
Employees
Grants
Seminars
Papers
Foundations of Computer Science and Databases Group
About
Employees
Grants
Seminars
Papers
Complexity and Algorithms Research Group
About
Employees
Grants
Seminars
Papers
Awards
Grants
Seminars
Papers
Open positions
Research activities
News
Polski
Study
Institute
Research
News
Timetable
"Artificial Intelligence ∀" registration open
Menu
research
Research groups
LIGHT
About
Employees
Grants
Seminars
Papers
Computational Intelligence Research Group
About
Employees
Grants
Seminars
Papers
Independent employees
About
Employees
Grants
Seminars
Papers
Division of Software Engineering
About
Employees
Grants
Seminars
Papers
Programming Languages Group
About
Employees
Grants
Seminars
Papers
Numerical Analysis Research Group
About
Employees
Grants
Seminars
Papers
Combinatorial Optimization Group
About
Employees
Grants
Seminars
Papers
Foundations of Computer Science and Databases Group
About
Employees
Grants
Seminars
Papers
Complexity and Algorithms Research Group
About
Employees
Grants
Seminars
Papers
Awards
Grants
Seminars
Papers
Open positions
Research activities
Seminars
16
Nov.
Maciej Piróg: „Diagramy sznurkowe i wolne monady”
05
Oct.
Piotr Polesiuk: Proving Soundness of Extensional Normal-Form Bisimilarities
11
May
Paweł Wieczorek: A Coq Formalization of Normalization-By-Evaluation for Martin-Löf Type Theory
30
March
Hans de Nivelle: PHOLI-calculus, a Partial Higher-Order Logic with Interfaces
16
March
Maciej Piróg: Syntax and Handlers for Operations with Scopes
02
Feb.
Klara Zielińska: Generalized Refocusing and its formalization in Coq
26
Jan.
Maciej Piróg: Unifying Guarded and Unguarded Iteration
19
Jan.
Małgorzata Biernacka: On the extraction of one-pass CPS transformations from normalization proofs
12
Jan.
Bartosz Bednarczyk: Extending Two-Variable Logic on Trees
24
Nov.
Dariusz Biernacki: Minimal classical logic and control operators
10
Nov.
Marek Materzok: Analyzing and manipulating source code with Rascal
20
Oct.
Filip Sieczkowski: Step-Indexed Kripke Models over Recursive Worlds
06
Oct.
Piotr Polesiuk: Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
20
May
Subsumption Algorithms for Three-Valued Geometric Resolution