[TYPES/announce] Call for Papers TAP 2020

[Catherine DUBOIS]

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

[Please accept our apologies for duplicates]

=
First Call for Papers

14th International Conference on Tests And Proofs
TAP 2020 Bergen (Norway), June 22-26, 2020
https://tap.sosy-lab.org/2020/

Part of STAF 2020
=

Important Dates
---

Abstract:    January 15, 2020
Paper:    January 22, 2020
Notification:  March 16, 2020
Camera-Ready Version:   April 17, 2020
Conference:  June 22-26, 2020


Aim and Scope
-

The TAP conference promotes research in verification and formal
methods that targets the interplay of proofs and testing: the
advancement of techniques of each kind and their combination, with the
ultimate goal of improving software and system dependability.

Research in verification has recently seen a steady convergence of
heterogeneous techniques and a synergy between the traditionally
distinct areas of testing (and dynamic analysis) and of proving (and
static analysis). Formal techniques for counter-example generation
based on, for example, symbolic execution, SAT/SMT-solving or
model checking, furnish evidence for the potential of a combination of
test and proof. The combination of predicate abstraction with testing-like
techniques based on exhaustive enumeration opens the perspective
for novel techniques of proving correctness. On the practical side,
testing offers cost-effective debugging techniques of specifications
or crucial parts of program proofs (such as invariants).  Last but not
least, testing is indispensable when it comes to the validation of the
underlying assumptions of complex system models involving
hardware and/or system environments. Over the years, there is
growing acceptance in research communities that testing and proving
are complementary rather than mutually exclusive techniques.

The TAP conference aims to promote research in the intersection of
testing and proving by bringing together researchers and practitioners
from both areas of verification.


Topics of Interest
--

TAP's scope encompasses many aspects of verification technology,
including foundational work, tool development, and empirical
research. Its topics of interest center around the connection between
proofs (and other static techniques) and testing (and other dynamic
techniques). Papers are solicited on, but not limited to, the
following topics:

- Verification and analysis techniques combining proofs and tests
- Program proving with the aid of testing techniques
- Deductive techniques supporting the automated generation of test vectors
  and oracles (theorem proving, model checking, symbolic execution, SAT/SMT
  solving, constraint logic programming, etc.)
- Deductive techniques supporting novel definitions of coverage criteria,
- Program analysis techniques combining static and dynamic analysis
- Specification inference by deductive and dynamic methods
- Testing and runtime analysis of formal specifications
- Search-based technics for proving and testing
- Verification of verification tools and environments
- Applications of test and proof techniques in new domains,
  such as security, configuration management, learning
- Combined approaches of test and proof in the context of formal
  certifications (Common Criteria, CENELEC, …)
- Case studies, tool and framework descriptions, and experience
  reports about combining tests and proofs


Submission Instructions
---

TAP 2020 accepts papers of four kinds:

- Regular research papers: full submissions describing original
research, of up to 16 pages (excluding references).

- Tool demonstration papers: submissions describing the design and
implementation of an analysis/verification tool or framework, of up
to 8 pages (excluding references). The tool/framework described in
a tool demonstration paper should be available for public use.

- Short papers: submissions describing preliminary findings, proofs
of concepts, and exploratory studies, of up to 6 pages (excluding
references).

- Journal-first extended abstracts, of up to 4 pages, summarizing recently
published articles in high-quality journals. The aim of journal-first papers
is to further enrich the program of TAP, as well as to provide an more 
flexible
path to dissemination of results in the field. The summarized journal 
article

should have been published (or accepted) by 1 July 2018 or later, and report
new results (as opposed as simply extending prior conference work with
'appendix' material, or minor enhancements). Journal-first submissions 
must be

marked as such in the submission’s title, and must explicitly include full
bibliographic details (including a DOI) of the journal publication they are
based on.

Accepted submissions will be 

[TYPES/announce] Call for papers: PLDI 2020 in London

[Wickerson, John P]

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

Rather excitingly, the submission site for PLDI 2020 is now open!

The PLDI committee is looking forward to receiving wonderful papers about 
programming languages: their design, their implementation, their theory, their 
applications, and their performance. We seek outstanding research that extends 
or applies concepts from programming languages to advance the field of 
computing. Strong PLDI submissions could include novel system designs, thorough 
empirical work, well-motivated theory, and new application areas.

Please send us your work by Friday 22 November.
https://pldi2020.hotcrp.com/

The conference itself will be in London, in the elegant Victorian headquarters 
of the Royal Geographical Society, between Monday 15th and Saturday 20th June 
2020. Co-located workshops and tutorials will take place on Monday 15th, 
Tuesday 16th, and Saturday 20th June. We are particularly excited that this 
edition of PLDI will be co-located with HOPL-IV, the Fourth ACM SIGPLAN History 
of Programming Languages Conference, which will take place at the same venue 
between Sunday 14th June and Tuesday 16th June.

All the details are here:
https://pldi20.sigplan.org/track/pldi-2020-papers#Call-for-Papers

Thanks!

John and Brandon
(PLDI 2020 Publicity Officers)

PS. We're still keen to receive proposals for workshops and tutorials!
See here: https://pldi20.sigplan.org/track/pldi-2020-PLDI-Workshops


--
Dr John Wickerson
Lecturer
Dept. of Electrical and Electronic Engineering
Imperial College London
https://johnwickerson.github.io

[TYPES/announce] Lectureships in Computer Science at Leicester UK

[Roy L. Crole]

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




Dear Colleagues,


The University of Leicester is advertising two Lectureships ( =
Assistant Professor) in Computer Science/Informatics.

Please see below. Note that the School places high regard on
/Foundations of Computer Science/, and sees this as supporting many of
the broader research areas. 


Kind Regards,

Roy Crole.

*


*Lecturer Positions (Assistant Professorships) at the University of
Leicester*

Lecturer in Informatics / Computer Science (2 Posts)

University of Leicester

College of Science and Engineering

School of Informatics

Salary Grade 8 - £40,322 to £49,553 per annum

Closing date: *14 November 2019*


*About the School of Informatics*

Informatics is a School focussed on excellence in everything we do.
Working hard together, our ambitious staff and students work in
cooperation to deliver research, teaching and learning of the highest
quality. The School provides a rich and culturally diverse environment
where both students and staff can thrive in a demanding yet cooperative
and friendly atmosphere.

In research, the School’s vision is to conduct internationally-leading
discovery-led research in our research areas of core expertise in
Applied Algorithms and AI, Foundations of Computer Science, Interaction
Design and Evaluation of Socio-Technical Systems, Software Modelling and
Evolution and Verification and Validation. These areas support
interdisciplinary, applied and industrial research in the cross-cutting
theme of “Data-Driven Application Engineering (DADA)”.

We also aim to apply the outcomes of our research to the benefit of the
economy and society. Under the overarching DADA theme, the School
currently prioritizes two cross-cutting research sub-themes, namely
Trustworthy and reliable autonomous systems and Biomedical informatics.
The school has research links with the Leicester Institute for Space and
Earth Observation and the Leicester Institute for Precision Medicine,
and is affiliated with the College of Science and Engineering’s Centre
for AI and Data Analytics.

The excellence of the School’s research has been confirmed in the last
two national research assessment exercises (in 2008 and 2014). In each
exercise, 95% of our research was judged to be of international quality,
65% was judged to be internationally leading, and over 20% of our
research outputs world-leading.

In teaching, we aim to deliver an outstanding student experience, with a
wide range of modern undergraduate and postgraduate programmes along
with doctoral research, all responsive to a competitive and rapidly
changing discipline. Our teaching is founded on strong pedagogical
principles, together with a unique approach to staff/student engagement
and active learning.

*About the Role*

We will consider all candidates whose research focuses on one or more of
the following areas:

- Cyber-physical systems
- Human Computer Interaction
- Machine Learning and AI
- Optimisation algorithms and Operations Research
- Software Engineering for Autonomous Systems
- Data Science

In this role you will conduct high-level research teaching whilst
generating funding through grants, consultancy and knowledge transfer
activities. You will give lectures, seminars and tutorials, especially
in areas across the School’s undergraduate and postgraduate curriculum.
Your research will result in significant contributions to papers in
leading international conferences and journals, whilst helping to build
your relationships with external partners to support knowledge transfer
and impact outside academia.

The main emphasis for selection will be on research excellence, but the
role also includes the development and delivery of excellent and
innovative teaching in the respective areas as well as contributions to
the administration and management of the School. You will work in a very
supportive environment with research and teaching mentoring. At the
heart of the UK, the University of Leicester is a research-intensive
university. Different areas of activity are balanced by a departmental
workload model to ensure fair and transparent balance between staff and
different areas of activity.

There are two full time, open ended positions available.

*About You*

In addition to being engaged in innovative learning and teaching that
engages and inspires students, you will already have an established
reputation for research, with a strong record of publications
(appropriate to your level of experience) in peer reviewed journals and
conferences of substantial international standing. You will have
excellent networking skills which you use to seek out opportunities for
collaboration and citizenship, both internally and externally. You will
also be able to demonstrate the ability to generate external funding
through research grants, contracts or other sources. Finally, you will
have a track record of engaging with a range of 

[TYPES/announce] PostDoc Position in Quantitative Modeling at Aalborg University

[Max Tschaikowski]

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

PostDoc Position in Quantitative Modeling at Aalborg University, Denmark


We are looking for a highly motivated researcher with interest in formal
quantitative modeling.

The position is for one year with the possibility for an extension for
one year. The tentative starting date is February 2020 or soon thereafter.

Applicants are required to demonstrate strong background and
understanding in formal methods. An ideal candidate would have
experience with

--- Formal quantitative modeling using Markov chains or systems of
differential equations and;
--- Tool development facilitating the use of formal methods in practice.

The envisaged research will focus on the development of novel
optimality/verification preserving reduction techniques for quantitative
models. The PostDoc will be supervised by Max Tschaikowski and be a
member of the DEIS group of Kim Larsen. She/he will be expected to
perform independent research, collaborate with team members and help
with the supervision of PhD and MSc students as appropriate.

The envisaged research will build upon the publications listed below and
the accompanying software tool ERODE
(http://sysma.imtlucca.it/tools/erode/).

L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin.
Maximal aggregation of polynomial dynamical systems.
Proceedings of the National Academy of Sciences (PNAS), 2017

L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin.
Symbolic computation of differential equivalences.
Symposium on Principles of Programming Languages (POPL), 2016


Host institution: The Computer Science Department at Aalborg University
takes a leading international position within data management and
verification. It is a very young university (1974) but with a strong
international profile in Mathematics, and Computer Science &
Engineering, also hosting the two most highly cited Computer Scientists
of the country. Denmark in general and Aalborg in particular are known
for their excellent quality of life. Denmark took the top spot on the
United Nation's World Happiness Report, 2013 & 2014 & 2016 and came in
third in the 2015 report:
http://www.visitdenmark.co.uk/en-gb/denmark/art/happiest-people-world .


Application procedure: The applicant must have obtained a PhD degree
before the appointment day. In addition to an academic CV and
recommendation letters, the applicant should provide a short cover
letter which describes the applicant’s background, research interests
and initial thoughts and ideas. More specifically, interested applicants
should provide the following:

- A cover letter describing the reasons for applying, qualifications in
relation to the position, and intentions and visions for the position.
- Current academic curriculum vitae.
- Letters of recommendation (2 - 3).
- Copies of relevant certificates (Master of Science and PhD). On
request you could be asked for an official English translation.
- Additional qualifications in relation to the position (e.g., secured
scientific grants, participation in committees or boards, organization
of scientific events, etc.).
- Personal data.

For any questions, please do not hesitate to contact Max Tschaikowski (
tschaikow...@cs.aau.dk / www.maxtschaikowski.com ).

Applications should be send by email to Max Tschaikowski.

[TYPES/announce] Rust Verification Workshop at ETAPS 2020: Call for Talk, Demo, and Challenge Proposals

[Mueller Peter]

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

Call for Talk, Demo, and Challenge Proposals
1st Rust Verification Workshop

Co-located with ETAPS 2020
Dublin, Ireland
Sunday, 26 April, 2020
https://sites.google.com/view/rustverify2020/home



Rust is a new programming language for writing performant code with strong type 
and memory safety guarantees. It is now considered a serious alternative to C 
and C++ for systems programming, because it provides high-level abstractions 
but without the cost of garbage collection. Given the growing popularity of 
Rust, and given that bugs in systems programs can be costly, there is growing 
interest in the program verification community for building program verifiers 
for Rust. In this workshop, we aim to bring together language designers, 
application developers and formal verification tool builders, to exchange ideas 
and build collaborations around developing verified Rust programs.

The goal of this workshop is to bring researchers from a variety of different 
backgrounds and perspectives together to exchange new and exciting ideas 
concerning the verification of Rust programs and exploring avenues for 
collaboration.

We want the workshop to be as informal and interactive as possible. The program 
will thus involve a combination of invited talks, contributed talks about work 
in progress, tool demos, and open-ended discussion sessions. There will be no 
published proceedings, but participants will be invited to submit working 
documents, talk slides, etc. to be posted on this website.



Call for Talk and Demo Proposals
-

We solicit proposals for contributed talks and tool demos. Proposals should be 
at most 2 pages, in either plain text or PDF format, and should specify how 
long a talk/demo the speaker wishes to give. By default, contributed talks will 
be 30 minutes long, but proposals for shorter or longer talks will also be 
considered.

We are interested in talks/demos on all topics related to the verification of 
Rust programs (including, for instance, program specification, deductive 
verification, model checking, symbolic execution, runtime monitoring, the 
semantics and formalization of Rust, and tool support). Talks about work in 
progress as well as proposals for challenge problems in Rust are particularly 
encouraged.

Please submit by email to 
peter.muel...@inf.ethz.ch.


Important Dates
-

Deadline for talk/demo proposals:  February 07, 2020 (Friday)
Notification of acceptance:  February 21, 2020 (Friday)
Workshop:   April 26, 2020 (Sunday)



Organizers


Rajeev Joshi, Amazon Web Services 

Nicholas Matsakis, Mozilla 

Peter Müller, ETH Zurich 

[TYPES/announce] Call for Workshop Proposals: ICFP 2020

[Sam Tobin-Hochstadt]

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

CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS
ICFP 2020
 25th ACM SIGPLAN International Conference on Functional Programming


   August 23 - 28, 2020 
   Jersey City, NJ, US
https://icfp19.sigplan.org/

The 25th ACM SIGPLAN International Conference on Functional Programming
will be held in Jersey City, New Jersey on August 23-28, 2020.
ICFP provides a forum for researchers and developers to hear about the 
latest work on the design, implementations, principles, and uses of 
functional programming.

Proposals are invited for workshops (and other co-located events, such
as symposiums) to be affiliated with ICFP 2020 and sponsored by
SIGPLAN. These events should be less formal and more focused than ICFP
itself, include sessions that enable interaction among the attendees,
and foster the exchange of new ideas. The preference is for one-day
events, but other schedules can also be considered.

The workshops are scheduled to occur on August 23rd (the day
before ICFP) and 27-28th of August (the two days after ICFP).

--

Submission details
 Deadline for submission: November 15, 2019
 Notification of acceptance:  December 13, 2019

Prospective organizers of workshops or other co-located events are
invited to submit a completed workshop proposal form in plain text
format to the ICFP 2020 workshop co-chairs
(Jennifer Hackett and Leonidas Lampropoulos) via email to

   icfp-workshops-2...@googlegroups.com

by November 15, 2019. (For proposals of co-located events other than
workshops, please fill in the workshop proposal form and just leave
blank any sections that do not apply.) Please note that this is a firm
deadline.

Organizers will be notified if their event proposal is accepted by
December 13, 2019, and if successful, depending on the event, they
will be asked to produce a final report after the event has taken
place that is suitable for publication in SIGPLAN Notices.

The proposal form is available at:

http://www.icfpconference.org/icfp2020-files/icfp20-workshops-form.txt

Further information about SIGPLAN sponsorship is available at:

http://www.sigplan.org/Resources/Proposals/Sponsored/

--

Selection committee

The proposals will be evaluated by a committee comprising the
following members of the ICFP 2020 organizing committee, together with
the members of the SIGPLAN executive committee.

 Workshop Co-Chair: Jennifer Hackett(University of Nottingham)
 Workshop Co-Chair: Leonidas Lampropoulos (University of Maryland)
 General Chair: Stephanie Weirich (University of Pennsylvania)
 Program Chair: Adam Chlipala(MIT)


--

Further information

Any queries should be addressed to the workshop co-chairs (Jennifer
Hackett and Leonidas Lampropoulos), via email to
icfp-workshops-2...@googlegroups.com.

[TYPES/announce] Basili Postdoctoral Fellowship Call for Applications

[David Van Horn]

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

UMD is seeking applicants for the Basili Postdoctoral Fellowship
program.  This is a postdoc opportunity that offers a fair amount of
freedom to pursue your own research agenda, while also developing
collaborations with the PLUM group at Maryland.  If you're interested,
please get in touch with me or Mike Hicks.

https://www.cs.umd.edu/basili-postdoc

David

;;

The University of Maryland (UMD) Computer Science Department has a
long history of performing cutting-edge research in software
engineering and programming languages. To help ensure its continuing
success, the UMD Computer Science Department is pleased to announce
this year’s call for applications for the Victor Basili Postdoctoral
Fellowship.  The fellowship program seeks talented, highly-motivated,
post-doctoral computer scientists to conduct research in the area of
Applied Software Engineering and Programming Languages, broadly
construed. The program supports multiple two-year postdoctoral
appointments each year for several years, allowing new researchers to
begin their careers at UMD, perform cutting edge research in applied
software engineering and programming languages, and expand our
existing CS research community. Professor Emeritus Victor Basili has
generously supplied the program’s initial funding.

Basili Postdoctoral Fellows work with faculty sponsors 1/2 time, but
are encouraged to develop their own new areas of research in the time
that remains. We believe this combination of mentored collaboration
and freedom to pursue independent interests is a secret of the
program’s success. Current UMD faculty sponsors work in areas such as
software testing, formal methods, programming language design, static
and dynamic program analysis, software security, cyber-physical
systems, empirical studies. They apply their work in diverse
application domains such as automotive and medical systems,
bioinformatics, smart agriculture, and advanced manufacturing, among
many others.

One recent Basili Fellow, Thomas Gilray (https://thomas.gilray.org),
reflecting on his experience as a Basili Fellow writes: “The Basili
fellowship has given me the opportunity to join the fantastic PLUM lab
and pursue my interests in a lively and engaging collaborative
environment. The fellowship provided enormous freedom, in an ideal
supportive context, to pursue collaborations with students doing
exciting work, continuations of my previous efforts, and entirely new
lines of research, with autonomy not usually found in a traditional
post-doc. The department has accommodated my interests to collaborate
on grant writing and to teach a class. It has also been a unique
opportunity for me to develop as a programming languages scholar
around great people who can help me to broaden myself and reach my
potential.”

Another Basili Fellow, Niki Vazou (https://nikivazou.github.io),
writes: By the end of my Ph.D., I was working on a successful project
with many open research directions. So, I was looking for a position
that would let me continue working on my favourite research project
without imposing tight constraints in my work. The Basili postdoc
program greatly met my requirement because it gives me the flexibility
to work on my own projects, while being part of the research group of
Programming Languages of University of Maryland group (PLUM). In
short, the Basili postdoc program is the best fit for me because
allows me to continue my own research while daily interact with and
benefit from  the members of PLUM.

If you are interested in applying to the Victor Basili Postdoctoral
Fellowship, you can learn more here:
https://www.cs.umd.edu/basili-postdoc

Review of applications will begin upon receipt and continue until
positions are filled.

If you have any questions, you are welcome to send an email to
basilifel...@cs.umd.edu.

About The University of Maryland

Founded in 1856, University of Maryland, College Park is the flagship
institution in the University System of Maryland. Our 1,250 acre
College Park campus is minutes away from Washington, D.C., and the
nexus of the nation's legislative, executive, and judicial centers of
power. This unique proximity to business and technology leaders,
federal departments and agencies, and a myriad of research entities,
embassies, think tanks, cultural centers, and non-profit organizations
offers unparalleled synergistic opportunities for our faculty and
students. The Department of Computer Science at the University of
Maryland has been consistently ranked among the top 15 nationally. We
have 47 full time tenured and tenure track faculty in a wide variety
of research areas, and over 200 doctoral students drawn from top
undergraduate programs internationally.

[TYPES/announce] MSFP 2020 - First Call for Papers

[Sam Lindley]

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

Eighth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Saturday 25th April 2020, Dublin, Ireland
A satellite workshop of ETAPS 2020

https://msfp-workshop.github.io/msfp2020/

  ** Deadline: 9th January (abstract), 16th January (paper) **

The eighth workshop on Mathematically Structured Functional
Programming is devoted to the derivation of functionality from
structure. It is a celebration of the direct impact of Theoretical
Computer Science on programs as we write them today. Modern
programming languages, and in particular functional languages, support
the direct expression of mathematical structures, equipping
programmers with tools of remarkable power and abstraction. Where
would Haskell be without monads? Functional reactive programming
without temporal logic?  Call-by-push-value without adjunctions? The
list goes on. This workshop is a forum for researchers who seek to
reflect mathematical phenomena in data and control.

The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,
affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was
held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP
workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth
workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The
fifth workshop was held in Grenoble, France, as part of ETAPS
2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven,
Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held
in July 2018, in Oxford, UK, as part of FLoC 2018.

Important Dates:


Abstract deadline:  9th January  (Thursday)
Paper deadline:16th January  (Thursday)
Notification:  27th February (Thursday)
Final version: 26th March(Thursday)
Workshop:  25th April(Saturday)

Invited Speakers:
=

 - Pierre-Marie Pédrot, Inria Rennes-Bretagne-Atlantique, France
 - Second invited speaker TBC

Program Committee:
==

Stephanie Balzer  - CMU, USA
Kwanghoon Choi- Chonnam, South Korea
Ralf Hinze- Kaiserslautern, Germany
Marie Kerjean - Inria Nantes, France
Sam Lindley   - Edinburgh and Imperial, UK (co-chair)
Max New   - Northeastern, USA (co-chair)
Fredrik Nordvall-Forsberg - Strathclyde, UK
Alberto Pardo - Montevideo, Uruguay
Exequiel Rivas Gadda  - Inria Paris, France
Claudio Russo - DFINITY, UK
Tarmo Uustalu - Reykjavik, Iceland
Nicolas Wu- Imperial, UK
Maaike Zwart  - Oxford, UK

Submission:
===

Submissions are welcomed on, but by no means restricted to, topics
such as:

structured effectful computation
structured recursion
structured corecursion
structured tree and graph operations
structured syntax with variable binding
structured datatype-genericity
structured search
structured representations of functions
structured quantum computation
structure directed optimizations
structured types
structure derived from programs and data

Please contact the programme chairs Sam Lindley (sam.lind...@ed.ac.uk)
and Max New (max...@ccs.neu.edu) if you have any questions about the
scope of the workshop.

We accept two categories of submission: full papers of no more than 15
pages that will appear in the proceedings, and extended abstracts of
no more than 2 pages that we will post on the website, but which do
not constitute formal publications and will not appear in the
proceedings. References and appendices are not included in page
limits. Appendices may not be read by reviewers.

Submissions must report previously unpublished work and not be
submitted concurrently to another conference with refereed
proceedings. Accepted papers must be presented at the workshop by one
of the authors. The proceedings will be published under the auspices
of EPTCS with a Creative Commons license.

A short abstract should be submitted a week in advance of the paper
deadline (for both full paper and extended abstract submissions).

We are using EasyChair to manage submissions. To submit a paper, use
this link:

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

--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.