Laboratory of

Algorithm Design and Programming Systems

Institute of Computing Science, Poznań University of Technology

Regular seminars

The seminars are held in the Lecturing Center, Piotrowo 2 Street, Room 13, at 12:30.



Quantum complexity classes

Date: 13 June 2017
Summary: Piotr Formanowicz
more >>

Modeling and analysis of the monocyte-macrophage axis using Petri nets

Date: 30 May 2017
Summary: Katarzyna Rżosińska, D. Formanowicz, B. Szawulak, A. Antkowiak, P. Formanowicz
more >>

On management and usage of non-functional requirements templates

Date: 4 April 2017
Summary: Sylwia Kopczyńska, Jerzy Nawrocki
more >>

New validation methods for complex biological systems analysis using time Petri nets

Date: 21 March 2017
Summary: Jakub Olszak, Marcin Radom, Piotr Formanowicz
more >>

Berth allocation problem in dry bulk terminals

Date: 7 March 2017
Summary: Ceyda Oğuz, A.T. Ernst, G. Singh, G. Taherkhani
more >>

On Limited-Time Solvability and Fixed Code Size Algorithms

Date: 31 January 2017
Summary: Maciej Drozdowski
more >>

Scheduling Taks with Ready Times on a Single Machine with Limited Availability

Date: 17 January 2017
Summary: Jakub Pietruczuk, Piotr Formanowicz
more >>

On Some End-User Programming Constructs and Their Understandability

Date: 20 December 2016
Summary: Michał Maćkowiak, Jerzy Nawrocki
more >>

A Method for Comparisons of Petri Net Based Models of Metabolic Pathways

Date: 6 December 2016
Summary: Bartłomiej Szawulak, Piotr Formanowicz
more >>

Modeling of Interactions of Various Factors in Atherosclerosis

Date: 22 November 2016
Summary: Kaja Chmielewska, Dorota Formanowicz, Piotr Formanowicz
more >>

Functional Size Approximation Based on Use Cases

Date: 8 November 2016
Summary: Mirosław Ochodek
more >>

On Relationships between Code Smells and Design Patterns

Date: 25 October 2016
Summary: Bartosz Walter
more >>

Late Work Scheduling in Online and Offline Mode

Date: 11 October 2016
Summary: Kateryna Czerniachowska, Xin Chen, Xin Han, Małgorzata Sterna, Jacek Błażewicz
more >>