[TYPES/announce] RAMiCS 2018 Call for Participation: Relational and Algebraic Methods in Computer Science

[Walter Guttmann]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]



 CALL FOR PARTICIPATION

17th International Conference on
  Relational and Algebraic Methods in Computer Science
  RAMiCS 2018

   29 October to 1 November 2018, Groningen, The Netherlands
   http://www.ramics-conference.org/


GENERAL INFORMATION:

Recurrent topics of RAMiCS conferences, held since 1994, include semiring- and
lattice-based structures such as relation algebras and Kleene algebras, their
connections with program logics and other logics, their use in theories of
computing, their formalisation with theorem provers, and their application
to modelling and reasoning about computing systems and processes.


INVITED TALKS:

  Philippa Gardner (Imperial College London, UK)
  Scalable reasoning about concurrent programs

  Manuel Bodirsky (Technische Universität Dresden, Germany)
  Finite relation algebras with normal representations

  Roland Backhouse (University of Nottingham, UK)
  The importance of factorisation in algorithm design


ACCEPTED PAPERS:

  Sarah Alexander, Peter Jipsen and Nadiya Upegui
  On the structure of generalized effect algebras and separation algebras

  Callum Bannister and Peter Höfner
  False failure: creating failure models for separation logic

  Stefano Bonzio, Michele Pra Baldi and Diego Valota
  Counting finite linearly ordered involutive bisemilattices

  Maximiliano Cristiá and Gianfranco Rossi
  A set solver for finite set relation algebra

  Jessica Ertel, Roland Glück and Bernhard Möller
  Algebraic derivation of Until rules and application to timer verification

  Simon Foster, Kangfeng Ye, Ana Cavalcanti and Jim Woodcock
  Calculational verification of reactive programs with reactive relations and 
Kleene algebra

  Malvin Gattinger and Jana Wagemaker
  Towards an analysis of dynamic gossip in NetKAT

  Roland Glück
  Distances, norms and error propagation in idempotent semirings

  Maria João Gouveia and Luigi Santocanale
  MIX star-autonomous quantales and the continuous weak Bruhat order

  Robin Hirsch
  Decidability of equational theories for sub-signatures of relation algebra

  Mark Hopkins and Hans Leiß
  Coequalizers and tensor products for continuous idempotent semirings

  Jonathan Huerta y Munive and Georg Struth
  Verifying hybrid systems with modal Kleene algebra

  Wolfram Kahl
  Calculational relation-algebraic proofs in the teaching tool CalcCheck

  Lefteris Kirousis, Phokion Kolaitis and John Livieratos
  On the computational complexity of non-dictatorial aggregation

  Dexter Kozen and Matvey Soloviev
  Coalgebraic tools for randomness-conserving protocols

  Nikolai Krivulin
  Algebraic solution of weighted minimax single-facility constrained location 
problems

  Pranab Kumar Ghosh and Michael Winter
  A modal and relevance logic for qualitative spatial reasoning

  Hans Leiß and Mark Hopkins
  C-dioids and µ-continuous Chomsky-algebras

  Koki Nishizawa and Norihiro Tsumagari
  Composition of different-type relations via the Kleisli category for the 
continuation monad

  Giulia Sindoni, Katsuhiko Sano and John G. Stell
  Axiomatizing discrete spatial relations

  Michael Winter
  T-norm based operations in arrow categories


PROGRAMME:

  http://www.ramics-conference.org/?page_id=270


REGISTRATION (early fee before 15 September 2018):

  http://www.ramics-conference.org/?page_id=202


COMMITTEES:

  Organising Committee
  

  Conference Chair: Stef Joosten, Open Universiteit, The Netherlands
  PC Co-Chair: Jules Desharnais, Université Laval, Canada
  PC Co-Chair: Walter Guttmann, University of Canterbury, New Zealand
  Publicity Chair: Sebastiaan Joosten, Universiteit Twente, The Netherlands

  Programme Committee
  ---

  Luca Aceto, Reykjavík University, Iceland/Gran Sasso Science Institute, Italy
  Rudolf Berghammer, Christian-Albrechts-Universität zu Kiel, Germany
  Jules Desharnais, Université Laval, Canada
  Uli Fahrenberg, École Polytechnique, France
  Hitoshi Furusawa, Kagoshima University, Japan
  Walter Guttmann, University of Canterbury, New Zealand
  Robin Hirsch, University College London, UK
  Peter Höfner, Data61, CSIRO, Australia
  Marcel Jackson, La Trobe University, Australia
  Jean-Baptiste Jeannin, University of Michigan, USA
  Peter Jipsen, Chapman University, USA
  Stef Joosten, Open Universiteit, The Netherlands
  Wolfram Kahl, McMaster University, Canada
  Barbara König, Universität Duisburg-Essen, Germany
  Dexter Kozen, Cornell University, USA
  Agi Kurucz, King's College London, UK
  Tadeusz Litak, Friedrich-Alexander Universität Erlangen-Nürnberg, Germany
  Roger Maddux, Iowa State University, USA
  Annabelle McIver, Macquarie University, Australia
  Szabolcs Mikulás, Birkbeck, University of London, UK
  Ali Mili, New Jersey Institute of Technology, USA
  Bernhard 

[TYPES/announce] Postdoc vacancy in **Quantum Circuit Optimisation and Graphical Calculus** at Radboud University, Nijmegen

[Aleks Kissinger]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Dear colleagues,

I would like to advertise a postdoc vacancy in the Institute for
Computing and Information Sciences at Radboud University in Nijmegen
on the topic of:

** Quantum Circuit Optimisation and Graphical Calculus **

This is a one-year position, with a possible extension to 2 years
(conditional on available funding). The research will entail applying
graphical techniques (notably string diagrams, tensor networks, and
the ZX-calculus / related graphical calculi) to quantum circuits for
the sake of gate count minimisation, routing of multi-qubit
operations, and fault-tolerance. This project consists both of
theoretical work and implementation in relevant software tools, e.g.
Quantomatic and PyZX.

Candidates should have (or will shortly obtain) a PhD degree, and
should have experience in at least one of the following areas:

- quantum computation, especially circuit optimisation or quantum
error correction
- graphical calculi, the ZX-calculus, rewrite theory and/or
categorical quantum mechanics

To apply, please send a CV and short cover letter to .
Start dates are flexible, but ideally a candidate should be willing to
begin no later than January 2019. The accepted candidate will be
classified as a Postdoctoral Researcher, Level 4 in the Dutch
university job-ranking system (UFO), with a gross salary of 3173-4033
EUR per month, depending on years of experience since PhD.


Best,

Aleks Kissinger

Assistant Professor
iCIS, Radboud University
al...@cs.ru.nl

[TYPES/announce] Postdoc position in Safety control and energy efficiency for embedded systems

[Jalil Boudjadar]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Postdoc position in Safety control and energy efficiency


The Department of Engineering at Aarhus University is inviting applications for 
a 18-months postdoctoral position within Safety control and energy efficiency 
for hybrid propulsion systems.
The research is a part of an innovative industrial project focusing on 
combining different environmental-friendly energy sources for zero-emission 
marine applications.

The position is available from November 1st 2018, or as soon as possible 
hereafter.

Propulsion of ships pollutes through emission of CO2 and harmful particles when 
operated by diesel engines. Electrification of ship propulsion is a way to 
introduce clean tech-solutions in the transport sector of special interests in 
harbors and costal zones. This project addresses the hybrid electrical 
propulsion of ships where the electrical power is partly supplied from 
batteries and partly generated on-board by means of fuel cells fueled by 
hydrogen. The ultimate goal of the position work package is to specify and 
analyze the safety control and develop an efficient scheduling of the energy 
sources, according to the real-time sealing conditions, to optimize the 
performance and resource consumption.

Tasks
The primary task of the Postdoc researcher is to develop a proof of concept for 
the safety control and power management systems for a maritime solution 
combining two energy sources: battery and fuel-cell electric technology. This 
task includes:


  *   Specification and testing of the safety control algorithms for individual 
subsystems, integration and formal verification.
  *   Specification of the different energy sources (fuel cell, battery) supply 
balancing.
  *   Investigation on certification regulations, in particular those related 
to Safety and Integrity Levels SILs of IEC61508 Standard.
  *   Risk assessment.
Your profile
Applicants should hold a PhD in Computer Science/Engineering, Control and 
automation, or a related subject.

The applicant should have experience/background with the following topics:


  *   Formal specification and verification of control systems.
  *   Energy and performance modeling and analysis.
  *   Model-based design and optimization.
  *   Be interested in Real-time scheduling.
About the Electrical and Computer Engineering Section
Electrical and computer engineering are closely related engineering disciplines 
that focus on the development of hardware and software for intelligent units 
and networks. This includes hardware at system and component levels as well as 
many different types of software for controlling electronic devices and 
networks.

The research areas within the Electrical and Computer Engineering Section at 
Department of Engineering support the development within this area. The outcome 
greatly influences our daily lives as advanced technologies are incorporated 
into an increasing number of products, for example in industrial processes, at 
hospitals and in information infrastructures.

Place of Employment and Place of Work
The place of employment is Aarhus University, and the place of work is Science 
and Technology, Finlandsgade 22, 8200 Aarhus N., Denmark.
The postdoctoral researcher will be a part of the Software Engineering group.

More information
For further information please contact Dr. Jalil Boudjadar 
(ja...@eng.au.dk).

Deadline
All applications must be made online and received by: 30.09.2018

Position link and where to apply: 
http://www.au.dk/en/about/vacant-positions/scientific-positions/stillinger/Vacancy/show/1001819/5283/

[TYPES/announce] PhD openings in the Security and Privacy group at TU Wien

[Maffei, Matteo]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The Security & Privacy group at TU Wien
(https://secpriv.tuwien.ac.at/home/) is currently looking for
outstanding Ph.D.  candidates. The successful applicants should have
recently completed (or be close to complete) a master or bachelor with
honours degree, and have a good background and interest in at least
one of the following areas:

- security
- cryptography
- semantics of programming languages (e.g., functional programming, theorem 
proving)
- verification (e.g., type systems, abstract interpretation, model checking)

The successful candidates will conduct research in one of the following topics:

- formal methods for security and privacy
- web security
- blockchain technologies

The employment is full-time (40 hrs/week) and the salary is
internationally competitive (the yearly entry-level gross salary is
approx. 39K EUR, which roughly corresponds to 2.2K EUR net per month).

Interested candidates should apply within the Doctoral School on Logical 
Methods in Computer Science at TU Wien, following the instructions at 
http://logic-cs.at/phd/admission/ .  The next application deadline is September 
1st,
but applications will be accepted until the positions are filled.

The working language in the group is English, knowledge of German is
not required.

TU Wien offers an outstanding research environment and numerous
professional development opportunities.  The Faculty of Informatics is
the largest one in Austria and is consistently ranked among the best
in Europe.  Vienna features a vibrant and excellence-driven
research landscape, with several leading research institutes (e.g.,
IST, AIT, SBA) and universities continuously establishing
collaborations in various fields, including cybersecurity. Finally,
Vienna has been consistently ranked by Mercer over the last years the
best city for quality of life worldwide.