[TYPES/announce] TRENDS 2018: Call for Participation and Highlight Talks

M.R. Mousavi m.r.mousavi at hh.se
Sun Jul 22 04:08:22 EDT 2018


============================

Call for Participation and Highlight Talks

The 7th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2018)

September 8, 2018, Beijing, China

A satellite event of CONCUR 2018

https://concurrency-theory.org/events/workshops/trends

============================

This year’s edition of TRENDS will be held in association with CONCUR 2018
in Beijing, on Saturday, September 8.
The IFIP WG 1.8 business meeting will also take place on the same day and
will be open to all TRENDS participants.

The workshop will consist of two invited talks and a number of highlight
talks. The invited speakers of TRENDS’18 are:

- Nobuko Yoshida, Imperial College, London, UK Title:  Behavioural
Type-Based Static Verification Framework for Go

- Alessandro Abate, Oxford University, UK Title: Verification of
cyber-physical systems via formal abstractions
[See the above website for more details]

————

For the highlights section, we solicit proposals for short talks (ca. 15 -
20 min) of open and thought-provoking nature, on all aspects of concurrency
theory.

You may upload your titles and abstracts for highlight talks until August
17 at the following URL:
https://easychair.org/conferences/?conf=trends18

The proposals will be processed on a first-come first-served basis: replies
will be sent to the candidate speakers within a few days of their
submission. The full programme of the workshop will be made available on
the workshop website by August 24.

If you have any questions, please contact one of the organisers:

Ilaria Castellani <Ilaria.Castellani at inria.fr>
Mohammad Mousavi <m.r.mousavi at hh.se>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180722/d5221dba/attachment.html>


More information about the Types-announce mailing list