CS Colloquium Series @ UCY
Department of Computer Science - University of Cyprus
The Department of Computer Science at the University of Cyprus holds research colloquiums and social hours approximately once weekly. All university students, faculty, and staff are invited to attend. Notifications about new and upcoming events are automatically disseminated to a variety of institutional lists.
If you don't receive these notifications, but want to get informed about upcoming colloquium announcements, you can do the following:
List
RSS
Directions
Colloquium Coordinator: Demetris Zeinalipour
Colloquium: Synthesis and analysis of concurrent processes in step semantics, Dr. Lukasz Mikulski (Nicolaus Copernicus University, Poland), Friday, September 28, 2018, 11:00-12:00 EET.
The Department of Computer Science at the University of Cyprus cordially invites you to the Colloquium entitled:
Synthesis and analysis of concurrent processes in step semantics
 |
Speaker: Dr. Lukasz Mikulski |
Abstract:
In the classical Mazurkiewicz trace approach the behavior
of a concurrent system is described in terms of sequential
observations that differ only with respect to their ordering of
independent actions. I will discuss an extension of the trace model
to the case that actions can be observed as occurring
simultaneously. Thus observations are sequences of steps, i.e.,
sets of actions. This leads to a step trace model based on two
relations between events: simultaneity, sequentialisability.
Whereas the underlying causal structures of traces are based on
dependencies between actions leading to a partial order
interpretation, more general causal structures are needed to
describe the invariant relationships between the action occurrences
in a step trace. I will present a complete picture including
dependence structures extending dependence graphs, and a
characterization of step traces in terms of invariant order
structures together with some initial results in their automatic
synthesis and interesting subclasses.
Short Bio:
Lukasz Mikulski received M.S. in computer science and M.S. in
mathematics from Nicolaus Copernicus Univesrity in Torun (Poland),
and Ph.D. in computer science from Warsaw University (Poland). He
is working as an Assistant Professor (pol. adiunkt) in
Nicolaus Copernicus University in Torun. He is also a guest member
of staff in Newcastle University (UK). He was a manager of the
grant founded by Polish National Science Center "New methods of
comprehensive analysis of concurrent computing systems". The
paper he coauthored entitled "An extension of the taxonomy of
persistent and nonviolent steps" was awarded by British ESPRC with
founding "Gold Open Access" and by Rector of Nicolaus Copernicus
University in Torun with a scholarship for publications with high
impact. He served as a Member of the Program Committee for the
International Conferences on Application of Concurrency to System
Design (2013-15) and on Applications and Theory of Petri Nets and
Concurrency (2016-19), and for the International Workshop on Petri
Nets and Software Engineering (2016-17). He also served as a Chair
of the Organizing Committee for the International Conference on
Applications and Theory of Petri Nets and Concurrency (with
colocated events) in 2016 and the International Training School in
Reversible Computation. He is an expert in the Polish National
Agency for Academic Exchange (at the Ministry of Science and Higher
Education).
