[TYPES/announce] Postdoc position at the University of Lisbon (2nd call)

[vv@di]

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

We welcome applications for a fulltime postdoctoral research position
at the University of Lisbon.

The position is funded by the research project "CONFIDENT -
Communication Contracts for Distributed Systems Development",
http://gloss.di.fc.ul.pt/content/confident, a three year collaborative
project between a team at the Faculty of Sciences (including Vasco T.
Vasconcelos and Antónia Lopes) and another at Tecnico (Paulo Mateus
and Pedro Adao).

The objective of the project is the development of tools and
technology for describing, testing, statically verifying, and
inferring communication contracts for the effective construction and
evolution of complex distributed systems, notably RESTful
applications. Particular attention will be given to the validation of
security requirements of APIs. We plan to integrate the theory of
behavioural type systems into a notion of communication contracts,
effective in driving the software development life cycle of RESTful
applications.

We seek applicants with strong interest in some of the following
topics: programming language design and implementation, programming
logics and types, language-based security, verification and testing,
concurrency and distribution.

The contract is for one year, extensible for a second year.
Applicable administrative rules may be found at the FCT site,
http://www.fct.pt/apoios/bolsas/index.phtml.en.

Applications should include a curriculum vitae in pdf format, contact
details for three referees, and should be sent to

LaSIGE - Large-Scale Informatics Systems Laboratory
http://www.lasige.di.fc.ul.pt
Email: Pedro Gonçalves, pgoncal...@di.fc.ul.pt
Phone: +351 21 750 05 32

Interested applicants are encouraged to contact Professor Vasco
T. Vasconcelos directly.

Application deadline: 30th June 2017

[TYPES/announce] Nordic Conference on Secure IT Systems (NordSec 2017)

[Musard Balliu]

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

Hi all,

I'd like to draw your attention to NordSec, a security conference on Secure
IT
Systems. NordSec addresses a broad range of security topics, including
applications of  languages, types, semantics and logics for security.

Submission deadline: July 21, 2017

Best regards,

Musard Balliu



NordSec 2017 Call for Papers

The 22nd Nordic Conference on Secure IT Systems[1] will be held in Tartu,
Estonia, November 8-10, 2017. NordSec[2] addresses a broad range of topics
within  IT security with the aim of bringing together computer security
researchers and encouraging interaction between academia and industry. We
invite participants to present their ideas in poster sessions during lunches
and coffee breaks.

## Scope

NordSec 2017 (http://nordsec2017.cs.ut.ee/) welcomes contributions within,
but not limited to, the following areas:

* Access control and security models
* Applied cryptography
* Blockchains
* Cloud security
* Commercial security policies and enforcement
* Cryptanalysis
* Cryptographic protocols
* Cyber crime, warfare, and forensics
* Economic, legal, and social aspects of security
* Enterprise security
* Hardware and smart card security
* Mobile and embedded security
* Internet of Things and M2M security
* Internet, communication, and network security
* Intrusion detection
* Language-based techniques for security
* New ideas and paradigms in security
* Operating system security
* Privacy and anonymity
* Public-key cryptography
* Security and machine learning
* Security education and training
* Security evaluation and measurement
* Security management and audit
* Security protocols
* Security usability
* Social engineering and phishing
* Software security and malware
* Symmetric cryptography
* Trust and identity management
* Trusted computing
* Vulnerability testing
* Web application security

## Submitting

Contributions should reflect original research, developments, studies and
experience. Submitted papers should not exceed 16 pages (including
references and appendices) in Springer LNCS format. Submitted papers must
not substantially overlap with papers that have been published or that are
simultaneously submitted to a journal or a conference with proceedings.

All submitted papers will be judged based on their quality and relevance
through double-blind reviewing, where the identities of the authors are
withheld from the reviewers. As an author, you are required to make a good-
faith effort to preserve the anonymity of your submission, while at the same
time allowing the reader to fully grasp the context of related past work,
including your own. Minimally, please take the following steps when
preparing
your submission:

* Remove the names and affiliations of authors from the title page.
* Remove acknowledgment of identifying names and funding sources.
* Use care in referring to related work, particularly your own. Do not omit
  references to provide anonymity, as this leaves the reviewer unable to
grasp
  the context. Instead, reference your past work in the third person, just
as
  you would any other piece of related work by another author.
* Papers must not exceed 16 pages.
* Submit the paper at https://easychair.org/conferences/?conf=nordsec2017

## Important dates

* 21.07.2017: paper submission deadline
* 04.09.2017: notification
* 18.09.2017: camera-ready paper deadline, author registration deadline
* 01.10.2017: early registration deadline
* 08-10.11.2017: NordSec 2017

## Organization

* General Chair: Helger Lipmaa (University of Tartu, Estonia)
* Program Chair: Helger Lipmaa and Katerina Mitrokotsa (Chalmers University
of Technology, Sweden)
* Local Organisation Chair: Raimundas Matulevičius (University of Tartu,
Estonia)

Please send e-mail to nordsec2017 AT easychair DOT org if you have any
questions.

### Program Committee

* Tuomas Aura, Aalto University, Finland
* Musard Balliu, Chalmers University of Technology, Sweden
* Céline Blondeau, Aalto University, Finland
* Billy Brumley, Tampere University of Technology, Finland
* Sonja Buchegger, KTH Royal Institute of Technology, Sweden
* Ahto Buldas, Tallinn University of Technology, Estonia
* Úlfar Erlingsson, Google Brain, USA
* Simone Fischer-Hübner, Karlstad University, Sweden
* Kristian Gjosteen, Norwegian University of Science and Technology, Norway
* Rene Rydhof Hansen, Aalborg University, Denmark
* Camilla Hollanti, Aalto University, Finland
* Thomas Johansson, Lund University, Sweden
* Audun Josang, University of Oslo, Norway
* Sokratis Katsikas, Norwegian University of Science and Technology, Norway
* Martti Lehto, University of Jyväskylä, Finland
* Ville Leppänen, University of Turku, Finland
* Bei Liang, Chalmers University of Technology, Sweden
* Olaf Maennel, Tallinn University of Technology, Estonia
* Raimundas Matulevičius, University of Tartu , Estonia
* Christian W. Probst, Technical University of 

[TYPES/announce] RADICAL@CONCUR'17: Recent Advances in Concurrency and Logic - 3rd Call for Submissions.

[Jorge A. Perez]

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

[ Submissions from the TYPES readership, broadly related to
concurrency and logic, are warmly welcome! ]

===
3rd CALL FOR SUBMISSIONS
Recent Advances in Concurrency and Logic
(RADICAL 2017)

https://sites.google.com/site/radicalconcur/

A new workshop, co-located with CONCUR 2017.
https://www.concur2017.tu-berlin.de/
Berlin, Germany - September 4, 2017

Submission deadline (3-page talk proposals):
Friday, 30 June 2017.

Invited speakers:
Luís Caires (NOVA University of Lisbon, PT)
Luke Ong (University of Oxford, UK)
===


== MOTIVATION AND SCOPE
RADICAL is a new workshop aligned within the intersection between
concurrency and logic, broadly construed.

Recently, the interplay of concurrency and logic with
areas/applications such as:
- design, verification, synthesis for concurrent systems, both
qualitative and quantitative;
- strategic reasoning for distributed and multi-agent systems;
- analysis and validation techniques for concurrent and distributed
programs and systems (e.g., separation logics, advanced type systems,
and runtime verification techniques);
has received much attention, as witnessed by recent CONCUR editions.

These areas/applications have become increasingly consolidated, and
start to have profound impact in neighbouring communities such as:
- programming languages
- artificial intelligence
- computer security
- knowledge representation

As an unfortunate side effect, however, the important unifying role
that concurrency plays in all of them seems hard to find in a single
scientific event. Indeed, there do not seem to exist appropriate
venues in which different research communities interested in
concurrency and logic can meet closely, cross-fertilize, and share
their most exciting recent results.

RADICAL intends to fill a gap between CONCUR researchers that now also
typically publish and interact in other different venues; it also aims
at attracting researchers from neighbouring communities whose work
naturally intersects with CONCUR.


== FORMAT: BACK TO THE BASICS
RADICAL will offer an innovative format for a one-day workshop for
researchers involved in all aspects of concurrency and logic
including, but not limited to, the areas mentioned above.

Since we would like to recover the informal character of scientific
workshops, rather than regular paper submissions, authors should
submit three-page talk proposals (see below).
RADICAL will be an informal venue, oriented to interaction, and so it
will have no formal proceedings.


== INVITED SPEAKERS
- Luís Caires (NOVA University of Lisbon, PT)
- Luke Ong (University of Oxford, UK)


== SUBMISSIONS: 3-PAGE TALK PROPOSALS
We invite submissions describing talk proposals on the intersection of
logic and concurrency, as motivated above.

A submission to RADICAL would typically fall within one of the
following categories:
- reports of an ongoing work and/or preliminary results;
- summaries of an already published paper (or series of papers);
- overviews of (recent) PhD theses;
- descriptions of research projects and consortia;
- manifestos, calls to action, personal views on current and future challenges;
- overviews of interesting yet underrepresented problems.

This list is by no means exhaustive but merely indicative.

For instance, since RADICAL will precede CONCUR (and the other main
conferences co-located with QONFEST), authors of papers accepted at a
main conference may consider proposing a talk in RADICAL that promotes
(or gives context to) a technical talk to be delivered at the
conference(s) later on the week.

Prospective authors are encouraged to contact the organizers in case
of questions:
radical2...@easychair.org

Submissions based on already published works should include explicit
references/links as appropriate.
Reviewers may read such prior published work, but are not obliged to so do.
Submissions will be judged by the program committee on the basis of
significance, relevance, and potential of an engaging, compelling talk
at the workshop.

Submissions should be in PDF, up to three pages (not including
references), produced using the EasyChair format, available at
http://easychair.org/publications/for_authors

Please submit your talk proposal via EasyChair:
https://easychair.org/conferences/?conf=radical2017

It is understood that for each accepted submission one of the
co-authors will attend the workshop and give the talk.


== IMPORTANT DATES
- Submission deadline (3-page talk proposals):
Friday, 30 June 2017.
- Notification to authors:
Friday, 28 July 2017.
- Workshop:
Monday, 4 September 2017


== ORGANIZERS
- Julian Gutierrez (University of Oxford, UK)
- Jorge A. Pérez (University of Groningen, NL)


== PROGRAM COMMITTEE
- Emmanuel Beffara (I2M, Université d'Aix-Marseille & CNRS, FR)
- James Brotherston (University College London, UK)
- 

[TYPES/announce] 2 PhD positions in Formal Methods at Swansea, UK

[Markus Roggenbach]

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


There are two open PhD positions in Formal Methods at Swansea University in the 
"Process and Data Group" 
(http://www.cs.swansea.ac.uk/~csmarkus/ProcessesAndData/home 
).

a) A 4 year PhD with Siemens on modelling ERTMS level 2 in Real-Time Maude and 
Testing ERTMS components against verified models, closing date: 20 July 2017.

   
http://www.swansea.ac.uk/postgraduate/scholarships/research/computer-science-epsrc-icase-phd-testing-from-verified.php
 


b) A 3 year PhD with Grenoble University on service composition for safety and 
security, closing date: 15 July 2017.

  
http://www.swansea.ac.uk/postgraduate/scholarships/research/computer-science-dtc-phd-service-composition.php
 


For informal enquiries please contact Markus Roggenbach at 
m.roggenb...@swansea.ac.uk