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:
mail List rss RSS Directions 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
Affiliation: Nicolaus Copernicus University, Poland
Category: Colloquium
Location: Room 148, Faculty of Pure and Applied Sciences (FST-01), 1 University Avenue, 2109 Nicosia, Cyprus (directions)
Date: Friday, September 28, 2018
Time: 11:00-12:00 EET
Host: Dr. Anna Philippou (annap-AT-cs.ucy.ac.cy)
URL: https://www.cs.ucy.ac.cy/colloquium/index.php?speaker=cs.ucy.2018.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).

  Web: https://www.cs.ucy.ac.cy/colloquium/
  Mailing List: https://listserv.cs.ucy.ac.cy/mailman/listinfo/cs-colloquium
  RSS: https://www.cs.ucy.ac.cy/colloquium/rss.xml
  Calendar: https://www.cs.ucy.ac.cy/colloquium/schedule/cs.ucy.2018.mikulski.ics