[TYPES/announce] LCC 2019: 2nd Call for contributions

[Seisenberger M.]

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


===

   2nd  Call for Contributions
 LCC 2019

20th International Workshop on Logic and Computational Complexity
   July 8, 2019, Patras, Greece
   Collocated with ICALP 2019
  http://www.cs.swansea.ac.uk/lcc/
===

LCC meetings are aimed at the foundational interconnections between
logic and computational complexity, as present, for example, in
implicit computational complexity (descriptive and type-theoretic
methods); deductive formalisms as they relate to complexity
(e.g. ramification, weak comprehension, bounded arithmetic, linear
logic and resource logics); complexity aspects of finite model theory
and databases; complexity-mindful program derivation and verification;
computational complexity at higher type; and proof complexity. The
program will consist of invited lectures as well as contributed talks
selected by the Program Committee.


IMPORTANT DATES:


  *   submission May 1, 2019
  *   notification   May 20, 2019
  *   workshop   July 8, 2019


INVITED SPEAKERS:

  *   Daniel Leivant  (Indiana 
University, US)
  *   Thomas Seiller  (CNRS Paris, France)
  *   Thomas Zeume (TU Dortmund, Germany)

SUBMISSION:


Submissions must be in English and in the form of an abstract of about
3-4 pages. All submissions should be submitted through Easychair at:

   
https://easychair.org/conferences/?conf=lcc19


We also welcome submissions of abstracts based on work submitted or
published elsewhere, provided that all pertinent information is
disclosed at submission time. There will be no formal reviewing as is
usually understood in peer-reviewed conferences with published
proceedings. The program committee checks relevance and may provide
additional feedback.

PROGRAM COMMITTEE:


Lauri Hella, Co-chair, Tampere University, Finland

Monika Seisenberger, Co-chair, Swansea University, UK

Sam Buss, University of California, San Diego, US
Anupam Das, University of Copenhagen, Denmark
Anuj Dawar, University of Cambridge, UK
Akitoshi Kawamura, Kyushu University, Fukuoka, Japan
Arne Meier, University of Hannover, Germany
Lidia Tendera, University of Opole, Poland


REGISTRATION:

via ICALP 2019 registration

CONTACT:

To contact the workshop organizers, please send an e-mail to 
lc...@easychair.org

[TYPES/announce] International Workshop on Programming Across the System Stack (PASS@ECOOP'19)

[Yu David Liu]

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

International Workshop on Programming Across the System Stack (PASS@ECOOP
'19)

https://2019.ecoop.org/home/PASS-ECOOP-2019
London, UK, July 19, 2019


=
Overview
=

The landscape of computation platforms has changed dramatically in recent
years. Emerging systems — such as unmanned aerial vehicles (UAV), Internet
of things (IoT), cloud computing servers, heterogeneous clusters, data
centers, wearable devices, and smartphones — pose a distinct set of
system-oriented challenges ranging from data throughput, energy efficiency,
security, real-time guarantees, to high performance. In the meantime,
programming-related quality metrics such as correctness, verifiability,
portability, modularity, and extensibility, remain relevant in modern
software engineering, bringing in crucial benefits such as modular
reasoning, program understanding, and collaborative software development.
Current methodologies and software development technologies should be
revised in order to produce software to meet system-oriented goals, while
preserving high software quality. The role of the Programmer or Software
Developer is essential, having to be aware of the implications that each
design, architecture and implementation decision has on the
application-system ecosystem.

This workshop is driven by one fundamental question: How does software
quality interact with system-oriented goals? We welcome both positive and
negative responses to this question. An example of the former would be
modular reasoning systems specifically designed to promote system-oriented
goals, whereas an example of the latter would be anti-patterns against
system-oriented goals during software development.

Areas of interest include but are not limited to:
•Program reasoning across the system stack
•Language design for computer systems
•Language support for emerging platforms (e.g., UAVs, IoTs)
•Energy-aware software systems and languages
•Cross-layer security support
•Software architecture for application-system interactions
•Trade-off support between system-oriented metrics and software
quality metrics
•Cross-layer optimization
•Empirical studies (patterns and anti-patterns)

=
Submission Guidelines
=

PASS accepts the following submission categories:
•Regular papers: up to 6 pages,
•Position papers: up to 2 pages,
•Posters: one page extended abstract or a poster draft.

We welcome papers that identify new problems or report work in progress. A
good PASS submission should be interesting and clear. It does not need to
describe a complete solution. Submissions can be made through Easychair:
https://easychair.org/conferences/?conf=passecoop19

=
Invited Talk
=
Daniel O'Keeffe, Royal Holloway University of London
https://danokeeffe.io/

=
Important dates
=

Papers
•Abstracts: May 15, 2019
•Submission: May 20, 2019
•Notification: June 10, 2019
•Final copy: June 21 , 2019

Posters
•Submission: June 5, 2019
•Notification: June 10, 2019


=
Program Committee
=

•Christoph Bockisch, Philipps-University Marburg (*)
•Dan Grossman, University of Washington
•Sebastian Götz, Technische Universität Dresden
•Fahed Jubair, University of Jordan
•Yu David Liu, State University of New York at Binghamton (*)
•Hidehiko Masuhara, Tokyo Institute of Technology, Japan (*)
•Gustavo Pinto, UFPA
•Aleksandar Prokopec, Oracle Labs
•Hridesh Rajan, Iowa State University
•Nobuko Yoshida, Imperial College London
•Lukasz Ziarek, State University of New York at Buffalo (*)

(*) indicates an organizer



-- 
Yu David Liu
Department of Computer Science
SUNY Binghamton

[TYPES/announce] Postdoctoral and PhD positions at Imperial College London

[Cadar, Cristian]

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

Applications are invited for a postdoctoral position and a PhD 
studentship in the Software Reliability Group at Imperial College 
London, under the direction of Cristian Cadar.

The research will be part of the ERC Consolidator Grant Project PASS: 
Program Analysis for Safe and Secure Software Evolution, and will focus 
on helping software systems evolve safely and securely. PASS aims to 
take a holistic approach to the challenges of safe and secure software 
evolution, by combining offline program analysis to verify or 
comprehensively test software changes, with runtime mechanisms for 
keeping the software updated and secure against potentially erroneous 
changes that make it into the deployed system.

For more details about these positions, please see:
https://srg.doc.ic.ac.uk/vacancies/postdoc-erc-2019/
and
https://srg.doc.ic.ac.uk/vacancies/phd-erc-2019/

[TYPES/announce] Postdoctoral position in quantum theory in Edinburgh

[Chris Heunen]

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

The University of Edinburgh is looking to recruit a full-time postdoctoral
researcher to work on the project "Combining Viewpoints in Quantum Theory"
with Dr. Chris Heunen.

Duration: initially 1 year, with extension to 3 years
Salary: £33,199 - £39,609
Start: 1 July 2019 or soon thereafter
Deadline: 17 May 2019
Application:
https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=047668

Applicants must hold or be about to receive a doctoral degree in Computer
Science, Mathematics, or Physics, and have a strong background in one or
more of the following areas:
* Quantum computing
* Category theory
* Programming languages
* Operator algebra
* Causality

The successful applicant will focus on one of two areas: optimising quantum
programs by analysing unitary groups, and implementing the achieved results
in software; or developing a categorical framework for spatially
distributed quantum protocols, and investigating causality. This includes
collaborating with project partners and members, including PhD students.

The Quantum Informatics group (http://web.inf.ed.ac.uk/quantum-informatics)
is part of the School of Informatics' Laboratory for the Foundations of
Computer Science, a community of theoretical computer scientists with
interests in concurrency, semantics, categories, algebra, types, logic,
algorithms, complexity, quantum theory, databases and modelling.

Informal enquiries can be directed to .
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

[TYPES/announce] Postdoctoral position in Compositional Game Theory at Univ. of Strathclyde

[Fredrik Nordvall Forsberg]

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

The University of Strathclyde is looking to recruit a full-time 
postdoctoral researcher to work on the project "Compositional Game 
Theory" with Professor Neil Ghani,  Dr Clemens Kupke and Dr Fredrik 
Nordvall Forsberg.


Duration: initially 1 year, with possible extension to 4 years
Salary: £32236 - £3960
Start: 1 August 2019 or soon thereafter
Deadline: 25 May 2019

Interested candidates should contact Professor Neil Ghani 
(n...@cis.strath.ac.uk) in the first instance.


Applicants must hold or be about to receive a doctoral degree in 
Computer Science or Mathematics or Economic Game Theory, and have a 
strong background in one or more of the following areas:


* Category theory
* Programming languages
* Type Theory
* Economic Game Theory

The successful applicant will focus on developing foundational theory to 
support Compositional Game Theory and/or applications of Compositional 
Game Theory to real world applications. This includes collaborating with 
project partners and members, including PhD students.


The position lies within the MSP group (http://msp.cis.strath.ac.uk/) 
consisting of Neil Ghani, Conor McBride, Clemens Kupke, Ross Duncan, Bob 
Atkey and Fredrik Nordvall Forsberg.

[TYPES/announce] HOR 2019 - Deadline Extension

[Silvia Ghilezan]

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


--

CALL FOR SUBMISSIONS 

**HOR 2019 - 10th International Workshop on Higher-Order Rewriting
**28 June 2019
**Dortmund, Germany
**affiliated with FSCD 2019

**http://imft.ftn.uns.ac.rs/HOR2019 

--
** IMPORTANT DATES
--

* Submission deadline: 25 April 2019 (extended deadline)
* Notification: 17 May 2019
* Final version: 31 May 2019

--
* OVERVIEW
--

HOR is a forum to present work concerning all aspects of higher-order 
rewriting.

HOR aims to provide an informal and friendly setting to discuss recent
work and work in progress concerning higher-order rewriting, broadly
construed. This includes rewriting systems that have functional
variables or bound variables, the lambda-calculus and combinatory
logic being paradigmatic examples.

* TOPICS

The following is a non-exhaustive list of topics for the workshop:

 - Applications: proof checking, theorem proving, generic
   programming, declarative programming, program transformation.

 - Foundations: pattern matching, unification, strategies, narrowing,
   termination, syntactic properties, type theory.

 - Frameworks: term rewriting, conditional rewriting, graph
   rewriting, net rewriting, comparisons of different frameworks.

 - Implementation: graphs, nets, abstract machines, explicit
   substitution, rewriting tools, compilation techniques.

 - Semantics: operational semantics, denotational semantics,
   separability, higher-order abstract syntax.

--
** SUBMISSION GUIDELINES
--

To give a presentation at the workshop, submit an extended abstract
(between 2 to 5 pages} via Easychair

 https :// 
easychair 
.org/conferences/? 
conf 
= 
hor2019 


HOR is a platform for discussing open questions, ongoing research, and
new perspectives, as well as new results. Extended abstracts
describing work in progress, preliminary results, research projects, or
problems in higher-order rewriting are very welcome.

The workshop has informal electronic proceedings. 


--
** COMMITTEES
--
** PROGRAM COMMITTEE

* Silvia Ghilezan, chair, University of Novi Sad, Serbia
* Stefano Guerrini, Paris 13 University, France
* Masahito Hasegawa, Kyoto University, Japan
* Cynthia Kop, Radboud University, The Netherlands
* Pierre Lescanne, Ecole Normale Supérieure de Lyon, France
* Julian Nagele, Queen Mary University of London, UK
* Vincent van Oostrom, University of Innsbruck, Austria

--
** STEERING COMMITTEE

* Delia Kesner, Université Paris 7, France
* Femke Van Raamsdonk, Vrije Universiteit, The Netherlands

--
** INVITED SPEAKERS
--

* TBA
* TBA

--
** CONTACT
--

All questions about submissions should be emailed to the PC chair 
Silvia Ghilezan  (gsil...@uns.ac.rs )



-- 
--
==
Silvia Ghilezan, Ph.D.
Professor
Faculty of Technical Sciences, University of Novi Sad
Trg Dositeja Obradovica 6
21000 Novi Sad, Serbia
tel + 381 21 485 2277
fax + 381 21 6350 770
http://imft.ftn.uns.ac.rs/~silvia

[TYPES/announce] Last Cfp: History of Formal Methods 2019 (co-located with FM’19)

[Simone Martini]

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

Call for papers: History of Formal Methods 2019 Workshop, 11th October 2019, 
Porto, Portugal (co-located with FM’19)

We invite submissions to the HFM2019 workshop. See the website 
(https://sites.google.com/view/hfm2019) for complete details and instructions 
on how to submit. Submission is via EasyChair  
(https://easychair.org/conferences/?conf=hfm2019).

This is a workshop on the history of formal methods in computing. The aim is to 
bring together historians of computing, technology, and science with 
practitioners in the field of formal methods to reflect on the discipline’s 
history. There will be a round of abstract submission prior to the workshop 
which will determine who is invited to give a presentation at the workshop. 
Afterwards, presenters may submit papers based on their presentations for 
inclusion in the workshop’s proceedings. 

Scope

The theme of the workshop is the history of formal methods in computing. By 
'formal methods' we mean mathematical or logical techniques for modelling, 
specifying, and reasoning about aspects of computing. This could include 
programming language description, concurrency modelling, theorem proving, 
program specification and verification, or mathematical foundations of 
computing. 

Theoretical aspects of computing have been present almost since the beginning 
of electronic computers, and in various ways these techniques have evolved and 
changed, including into what are now called “Formal Methods”. Such aspects have 
been instrumental in developing fundamental understanding of computation and 
providing techniques for rigorous development of software, but have not always 
had the desired impact on practical and industrial computing. 

This makes the field ripe for historical research and we invite submissions to 
our workshop which take a historical view of the topic. This may include 
discussion of developments of various formal methods, evolving agendas within 
the field, consideration of the effect of social and cultural factors, and 
evaluation of the way in which formal methods have impacted computing more 
broadly. 

The workshop is intended to be of interest to current researchers in formal 
methods and to be accessible to people without any historical background. It 
should also be a venue for historians of science whose work covers formal 
aspects of computing as we believe understanding the the history of the field 
brings greater clarity to current technical research. We encourage early stage 
researchers to try their hand at historical reflection and gain an idea of the 
field’s grounding; we invite historians to contribute to the history of formal 
methods; and we invite researchers who have worked in formal methods for whom 
an historical talk provides the opportunity to reflect on their field.

Submission information

Submissions prior to the workshop will take the form of abstracts no longer 
than 500 words. If references are required, these can be added as an optional 
PDF file (and do not count towards the word count). All abstracts will be 
reviewed by the program committee whose details can be found on the website; 
based on these reviews, a decision will be made on who to invite to present at 
the workshop.

Following to the workshop, proceedings will be published (details of publisher 
to be finalised later). Please indicate during your submission if you wish for 
a paper to be considered for inclusion in the proceedings—select “Yes” even if 
you are not totally certain. All papers submitted for the proceedings will be 
subject to peer review. 

Important Dates

•   Call for papers: January 2019
•   Submissions: 30 April 2019
•   Notification of acceptance: 30 June 2019
•   Presentations ready: 1 September 2019
•   Workshop: 11th October 2019
•   Papers for proceedings: 31 December 2019

Chairs

Troy Astarte
Brian Randell 
(Newcastle University)

[TYPES/announce] OPLSS 2019 - Oregon Programming Languages Summer School - deadline extension

[Gaboardi, Marco]

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

*Extended deadline: April 30th, 2019*

We are pleased to announce the program of the 18th annual Oregon Programming 
Languages
Summer School (OPLSS) to be held from June 17th to June 29th, 2019 at
the University of Oregon in Eugene.

Full information on registration can be found here:

http://www.cs.uoregon.edu/Activities/summerschool

This year’s topic  is "Foundations of Probabilistic Programming and Security”.

The speakers and topics include:

Amal Ahmed - Northeastern University
Secure Compilation

Andrew Gordon — Microsoft Research
Empowering Spreadsheet Users with Probabilistic Programming

Robert Harper - Carnegie Mellon University
Practical Foundations for Programming Languages

Fritz Henglein - Deon Digital AG and University of Copenhagen
Smart Declarative Contracts

Jan Hoffmann - Carnegie Mellon University
Resource Analysis

Andrew Myers — Cornell University
Security-Typed Languages

Frank Pfenning - Carnegie Mellon University
Session-Typed Concurrent Programming

Alexandra Silva - University College London
Coalgebraic Semantics

Sam Staton — University of Oxford
Probabilistic programming: Bayesian Nonparametrics and Semantics

Nikhil Swamy — Microsoft Research
Verifying Low-level Code for Security and Correctness Properties using F*

We hope you can join us for this excellent program.
Zena Ariola, Paul Downen, Robert Harper and Marco Gaboardi


[cid:16879899-50F8-45D1-9678-A6C7848516D1]

[TYPES/announce] 2nd CfP: 12th Interaction and Concurrency Experience (ICE 2019)

[Alceste Scalas]

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



 ICE 2019 - 12th Interaction and Concurrency Experience

ICE 2019 is a satellite workshop of DisCoTec 2019 
, held on June 20-21, 2019 in Lyngby, 
Denmark.


Webpage: http://www.discotec.org/2019/ice

Paper submission: https://easychair.org/conferences/?conf=ice20190


   Highlights

 * Distinctive selection procedure
 * ICE welcomes full papers to be included in the proceedings
 * ICE also welcomes oral communications of already published or
   preliminary work
 * invited speakers:
 o Dilian Gurov (KTH, SE)
 o Fritz Henglein (Deon Digital and University of Copenhagen, DK)
 o Sophia Knight (University of Minnesota Duluth, USA)
 o Hernán Melgratti (University of Buenos Aires - Conicet, AR
 * Publication in EPTCS
 * Special issue in the Journal of Logical and Algebraic Methods in
   Programming (Elsevier) (to be confirmed)


   Important dates with EXTENDED DEADLINES

 * April 18, 2019: abstract submission
 * April 20, 2019: paper submission
 * *April 26*, 2019: abstract submission for research papers (>5pp +
   references)
 * *April 29*, 2019: paper submission for research papers (>5pp +
   references)
 * *May 3*, 2019: abstract submission for oral communications and short
   papers (<=5pp+references)
 * *May 6*, 2019: paper submission for oral communications and short
   papers (<=5pp+references)
 * May 24, 2019: notification
 * June 20-21, 2019: ICE workshop
 * July 15, 2019: camera-ready for EPTCS post-proceedings


   Scope

Interaction and Concurrency Experiences (ICEs) is a series of 
international scientific meetings oriented to theoretical computer 
science researchers with special interest in models, verification, 
tools, and programming primitives for complex interactions.


The general scope of the venue includes theoretical and applied aspects 
of interactions and the synchronization mechanisms used among components 
of concurrent/distributed systems, related to several areas of computer 
science in the broad spectrum ranging from formal specification and 
analysis to studies inspired by emerging computational models.


We solicit contributions relevant to Intereaction and Concurrency, 
including but not limited to:


 * Formal semantics
 * Process algebras and calculi
 * Models and languages
 * Protocols
 * Logics and types
 * Expressiveness
 * Model transformations
 * Tools, implementations, and experiments
 * Specification and verification
 * Coinductive techniques
 * Tools and techniques for automation
 * Synthesis techniques


   Selection Procedure

Since its first edition in 2008, the Oral communicationsdistinguishing 
feature of ICE has been an innovative paper selection mechanism based on 
an interactive, friendly, and constructive discussion amongst authors 
and PC members in an online forum.


During the review phase, each submission is published in a dedicated 
discussion forum. The discussion forum can be accessed by the authors of 
the submission and by all PC members not in conflict with the submission 
(the forum preserves anonymity). The forum is used by reviewers to ask 
questions, clarifications, and modifications from the authors, allowing 
them better to explain and to improve all aspects of their submission. 
The evaluation of the submission will take into account not only the 
reviews, but also the outcome of the discussion.


As witnessed by the past nine editions of ICE, this procedure 
considerably improves the accuracy of the reviews, the fairness of the 
selection, the quality of camera-ready papers, and the discussion during 
the workshop.


ICE adopts a light double-blind reviewing process, detailed below.


   Submission Guidelines

We invite two types of submissions:

 *

   *Research papers*, original contributions that will be published in
   the workshop post-proceedings. Research papers must not be
   simultaneously submitted to other conferences/workshops with
   refereed proceedings. Research papers should be 3-16 pages plus at
   most 2 pages of references. Short research papers are welcome; for
   example a 5 page short paper fits this category perfectly.

 *

   *Oral communications* will be presented at the workshop, but will
   not appear in the post-proceedings. This type of contribution
   includes e.g. previously published contributions, preliminary work,
   and position papers. There is no strict page limit for this kind of
   submission but papers of 1-5 pages would be appreciated. For
   example, a one page summary of previously published work is welcome
   in this category.

Authors of research papers must omit their names and institutions from 
the title page, they should refer to their other work in the third 
person and omit acknowledgements that could reveal their identity or 
affiliation. The purpose is to avoid any bias based on authors’ identity 
characteristics, such as gender, 

[TYPES/announce] PLDI 2019 Second Call for Student Volunteers

[Xujie Si]

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

Call for student volunteers for PLDI 2019, the 40th annual ACM SIGPLAN
conference on Programming Language Design and Implementation.

APPLICATION FORM: https://goo.gl/forms/DfbIbDxTVuLn69Z13

APPLICATION DEADLINE (2nd call): May 1st, 2019 at 23:59 PST.

PLDI 2019 is part of the ACM Federated Computing Research Conference (FCRC)
, June 22-26. Co-located venues will include ISCA,
SIGMETRICS, SPAA, STOC, EC, E-energy, HPDC, ICS, IWQoS, ISMM, LCTES, and
COLT, providing opportunities to meet with colleagues in a wide range of
research areas.

The PLDI 2019 Program for Student Volunteers gives full- or part-time
university students from around the world the opportunity to attend and
contribute to a premier forum for all areas of programming language
research, including the design, implementation, theory, and efficient use
of languages. As a PLDI 2019 Student Volunteer, you will interact closely
with researchers, academics and practitioners from various disciplines and
meet other students from around the world.

PLDI is pleased to offer a number of opportunities for student volunteers,
who are vital to the efficient operation and continued success of the
conference each year. The student volunteer program is a chance for
students from around the world to participate in the conferences whilst
assisting us in preparing and running the event.

Job assignments for student volunteers include assisting with technical
sessions, workshops, tutorials and panels, checking badges at doors,
operating the information desk, helping with traffic flow, and general
assistance to keep the conferences running smoothly.

In return, volunteers are granted free registration to the conferences,
free access to plenary sessions, tutorials, workshops and panels.

For further details, please see this web page:

https://pldi19.sigplan.org/track/pldi-2019-Student-Volunteering