The Theoretical Computer Science Group (Prof. Barbara Koenig) at the
University of Duisburg-Essen, Campus Duisburg (Germany) has two open
PhD positions paid according to TV-L 13 (full-time).
The first position is in the DFG project BEMEGA ("Behavioural
Equivalences: Environmental Aspects, Metrics and Generic Algorithms"),
which has been recently extended. For this position, candidates at
post-doc level can also be considered.
The second position is in the research training group UCSM
("User-Centred Social Media"), which provides an interdisciplinary
research environment with computer science and psychology as the main
contributing disciplines.
Requirements
------------
You should have or should be in the process of obtaining a MSc or
equivalent degree (in Computer Science or Mathematics). Prior
knowledge about the topics of the projects is considered an
advantage. Good English speaking and writing skills are demanded, as
well as the willingness to learn German.
DFG Project BEMEGA - Behavioural Equivalences: Environmental Aspects,
Metrics and Generic Algorithms
----------------------------------------------------------------------
Behavioural equivalences are an important concept for the analysis and
verification of concurrent systems. Two processes or system states are
behaviourally equivalent if they are indistinguishable from the point
of view of an external observer. Depending on the power that is given
to the observer, one obtains different notions such as strong and weak
bisimilarity or trace equivalence.
The purpose of this project is to gain a general view on the notion of
behavioural equivalences and, independently of the specific type of a
system, to provide advanced concepts, methods and algorithms for
behavioural equivalences.
In particular, we work on the following topics:
* Environmental Aspects and Side Effects (environmental and
context-dependent aspects of behavioural equivalences, explicit vs.
implicit branching)
* Metrics and Distances (measuring the behavioural distance of
system states)
* Logics and Games
* Generic Algorithms (for minimization, determinization, up-to techniques,
computation of behavioural distances)
* Tools and Applications
The application deadline is 21 May 2018.
http://www.ti.inf.uni-due.de/en/research/bemega/
======================================================================
Research Training Group UCSM - User-Centred Social Media
----------------------------------------------------------------------
The research training group (RTG) UCSM provides an interdisciplinary
research environment with computer science and psychology as the main
contributing disciplines. From this interdisciplinary perspective, it
addresses research challenges related to Social Media which are
understood as complex socio-technical systems characterized by
features such as user-generated content, social interaction and
awareness, and emergent functionality. Significant research gaps have
been identified with respect to analyzing and understanding the
characteristics and determinants of user behaviour, both at the
individual and the collective level, as well as regarding the
user-centred design of social media systems.
The planned PhD topic which will be supervised by me is called
"Handling Uncertainty when Analysing and Observing Social Media".
The application deadline is 15 May 2018.
https://ucsm.info/open-positions
======================================================================
Your Application
----------------
You can obtain further information by adressing your enquiries to:
Barbara Koenig
barbara_koenig(a)uni-due.de
tel.: ++49-203-3793397
If you are interested in the position, please send your
application. Your application should include:
* A description of your interest in the project, including your
motivation and specific qualifications.
* A curriculum vitae, including an abstract of your graduate thesis
and the name of your supervisor.
* If you are interested in a post-doc position, please include
a list of your publications and the names of possible referees.
For the first position, please send your application directly to me
(barbara_koenig(a)uni-due.de), for the second position, please apply via
the web page of the research training group
(https://ucsm.info/open-positions).
[apologies for multiple copies of this CfP]
Final Call: CONCUR 2018
The 29th International Conference on Concurrency Theory
Beijing, China, September 4-7, 2018
http://lcs.ios.ac.cn/concur2018/
The purpose of the CONCUR conferences is to bring together
researchers, developers, and students in order to advance the theory
of concurrency, and promote its applications.
Invited speakers
* Moshe Vardi, Rice University (USA)
* Yuxin Deng, East China Normal University (China)
* Rob van Glabbeek, Stanford University (USA), CSIRO,
and University of New South Wales (Australia)
* Bow-Yaw Wang, Academia Sinica (Taiwan)
Co-located events at CONFESTA
* 16th International Conference on Formal Modelling and Analysis of
Timed Systems (FORMATS 2018)
* 15th International Conference on Quantitative Evaluation of SysTems
(QEST 2018)
* 4th International Symposium on Dependable Software Engineering
(SETTA 2018)
* CONFESTA will also host a number of workshops and tutorials (TBA).
IMPORTANT DATES
All dates are AoE.
* Abstract submission: April 17, 2018 (firm)
* Paper submission: April 23, 2018 (firm
* Notification: June 7, 2018
* Camera ready copy: July 2, 2018
* Conference: September 4-7, 2018
TOPICS
Submissions are solicited in semantics, logics, verification and
analysis of concurrent systems. The principal topics include (but are
not limited to):
* Basic models of concurrency such as abstract machines,
domain-theoretic models, game-theoretic models, process algebras,
graph transformation systems, Petri nets, hybrid systems, mobile and
collaborative systems, probabilistic systems, real-time systems,
biology-inspired systems, and synchronous systems;
* Logics for concurrency such as modal logics, probabilistic and
stochastic logics, temporal logics, and resource logics;
* Verification and analysis techniques for concurrent systems such as
abstract interpretation, atomicity checking, model checking, race
detection, pre-order and equivalence checking, run-time
verification, state-space exploration, static analysis, synthesis,
testing, theorem proving, type systems, and security analysis;
* Distributed algorithms and data structures: design, analysis,
complexity, correctness, fault tolerance, reliability, availability,
consistency, self-organization, self-stabilization, protocols.
* Theoretical foundations of architectures, execution environments,
and software development for concurrent systems such as
geo-replicated systems, communication networks, multiprocessor and
multi-core architectures, shared and transactional memory, resource
management and awareness, compilers and tools for concurrent
programming, programming models such as component-based, object- and
service-oriented.
PAPER SUBMISSION
CONCUR 2018 solicits high quality papers reporting research results
and/or experience related to the topics mentioned below. All papers
must be original, unpublished, and not submitted for publication
elsewhere.
Each paper will undergo a thorough review process. If necessary, the
paper may be supplemented with a clearly marked appendix, which will
be reviewed at the discretion of the program committee.
The CONCUR 2018 proceedings will be published by LIPIcs.
Papers must be submitted electronically as PDF files via EasyChair.
Papers must not exceed 14 pages (excluding references and clearly marked
appendices) using the LIPIcs style.
Extended versions of selected papers will appear in a special issue of
the Journal of Computer and System Sciences (JCSS).
ORGANIZATION COMMITTEE
General Chair
* Huimin Lin (Institute of Software, Chinese Academy of Sciences, China)
Program Co-chairs
* Sven Schewe (University of Liverpool, UK)
* Lijun Zhang (Institute of Software, CAS, China)
PROGRAM COMMITTEE
* Parosh Abdulla
Uppsala University (Sweden)
* Christel Baier
TU Dresden (Germany)
* Roderick Bloem
Graz University of Technology (Austria)
* Ahmed Bouajjani
IRIF, University Paris Diderot (France)
* Franck van Breugel
York University (Canada)
* Taolue Chen
Birkbeck, University of London (UK)
* Yu-Fang Chen
Academia Sinica (Taiwan)
* Alessandro Cimatti
Fondazione Bruno Kessler (Italy)
* Pedro R. D'Argenio
Universidad Nacional de Córdoba - CONICET (Argentina)
* Josée Desharnais
Université Laval (Canada)
* Wan Fokkink
Vrije Universiteit Amsterdam (The Netherlands)
* Erich Grädel
RWTH Aachen University (Germany)
* Ichiro Hasuo
National Institute of Informatics (Japan)
* Fei He
Tsinghua University (China)
* Anna Ingólfsdóttir
Reykjavík University (Iceland)
* Stefan Kiefer
University of Oxford (UK)
* Shankara Narayanan Krishna
IIT Bombay (India)
* Antonín Kučera
Masaryk University (Czech Republic)
* Salvatore La Torre
Università degli studi di Salerno (Italy)
* Jérôme Leroux
CNRS (France)
* Parthasarathy Madhusudan
University of Illinois at Urbana-Champaign (USA)
* Rupak Majumdar
MPI-SWS (Germany)
* Radu Mardare
Aalborg University (Denmark)
* Roland Meyer
TU Braunschweig (Germany)
* Angelo Montanari
University of Udine (Italy)
* Sriram Sankaranarayanan
University of Colorado, Boulder (USA)
* Sven Schewe (co-chair)
University of Liverpool (UK)
* Alexandra Silva
University College London (UK)
* Ana Sokolova
University of Salzburg (Austria)
* Mariëlle Stoelinga
University of Twente (The Netherlands)
* Verena Wolf
Saarland University (Germany)
* Lijun Zhang (co-chair)
Institute of Software, Chinese Academy of Sciences (China)
Last updated: Wednesday, 14 March 2018
