[Caml-list] FLoC 2018 - Last Joint Call for Workshop Participation

THE SEVENTH FEDERATED LOGIC CONFERENCE (FLoC 2018)
6-19 July 2018
Oxford, England, UK

http://www.floc2018.org/workshops

REGULAR REGISTRATION CLOSES on 25th June 2018.

The seventh Federated Logic Conference (FLoC'18) will be held in
Oxford, UK, in July 2018, at the Mathematical Institute and the
Blavatnik School of Government at the University of Oxford. In addition
to nine major international conferences related to mathematical logic
and computer science, FLoC 2018 will feature 79 workshops arranged
in three segments:

Pre-FLoC: Sat 7 - Sun 8 (workshops related to CSF, FSCD, ITP, LICS and SAT),
Mid-FLoC: Wed 11 - Sat 14 (workshops related to CAV, ICLP, IJCAR, ITP and LICS),
Post-FLoC: Wed 18 - Thu 19 (workshops related to FM, CAV, ICLP and IJCAR).

REGULAR REGISTRATION CLOSES on 25th June 2018.
ON SITE REGISTRATION will be possible during the conference.
It is imperative that you BOOK ACCOMMODATION ASAP to avoid disappointment.

Website: http://www.floc2018.org/
Conference and workshops programme now live: https://easychair.org/smart-program/FLoC2018/index.html
Registration: http://www.floc2018.org/register/
Accommodation: http://www.floc2018.org/accommodation/

Registration for the main conference block gives you access to any
other conference in the same period. Conference registration includes
reception, lunches and coffee breaks. Stand up banquet can be added to
the conference registration.

Registration for a workshop day means you can attend any other
workshop on the same day. Workshop registration includes lunches and
coffee breaks.


*** Pre-FLoC workshops (Saturday 7 - Sunday 8 July)

32nd International Workshop on Unification (UNIF 2018), 7 July
http://unif2018.cic.unb.br/

7th International Workshop on Confluence (IWC 2018), 7 July
http://cl-informatik.uibk.ac.at/events/iwc-2018/

7th International Workshop on Classical Logic and Computation (CL&C
2018), 7 July
http://www.di.unito.it/~stefano/CL&C/CL&C18.htm

Higher-Dimensional Rewriting and Algebra (HDRA 2018), 7 July
http://hdra.gforge.inria.fr/

International Workshop on Logical Frameworks and Meta-Languages:
Theory and Practice (LFMTP 2018), 7 July
http://lfmtp.org/workshops/2018/

7th International Workshop on the Cross-Fertilization Between CSP and
SAT (CSPSAT 2018), 7 July

http://sysrun.haifa.il.ibm.com/hrl/cspsat2018/

Pragmatics of SAT (PoS 2018), 7 July
http://www.pragmaticsofsat.org/2018/

Twenty Years of Deep Inference (TYDI 2018), 7 July
https://www.lix.polytechnique.fr/~lutz/orgs/TYDI2018.html

10th International Workshop on Computing with Terms and Graphs
(TERMGRAPH 2018), 7 July
https://nms.kcl.ac.uk/maribel.fernandez/TERMGRAPH.html

Syntax and Semantics of Low-Level Languages (LOLA 2018), 7 July
https://cs.appstate.edu/~johannp/lola18/

9th Workshop on Higher Order Rewriting (HOR 2018), 7 July
https://lipn.univ-paris13.fr/HOR18/

2018 Joint Workshop on Linearity & TLLA (5th International Workshop on
Linearity and 2nd Workshop on Trends in Linear Logic and
Applications), 7-8 July
http://lipn.univ-paris13.fr/TLLALinearity18/

Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF
2018), 7-8 July
https://hott-uf.github.io/2018/

Game Semantics 25, 7-8 July
http://www.gamesemantics.org/game-semantics-25

Workshop on Proof Complexity (PC 2018), 7-8 July
http://easychair.org/smart-program/PC2018/

Programming And Reasoning on Infinite Structures (PARIS 2018), 7-8 July
https://www.irif.fr/~saurin/RAPIDO/PARIS-2018/

6th Workshop on Strategic Reasoning (SR 2018), 7-8 July
http://projects.lsv.fr/sr18/

Workshop in honour of Dana Scott's 85th birthday and 50 years of
domain theory, 7-8 July
https://andrejbauer.github.io/domains-floc-2018/

5th Workshop on Natural Language and Computer Science (NLCS 2018), 7-8 July
http://www.indiana.edu/~iulg/nlcs.html

7th Workshop on Mathematically Structured Functional Programming (MSFP
2018), 8 July
https://msfp2018.bentnib.org/

5th International Workshop on Rewriting Techniques for Program
Transformations and Evaluation (WPTE 2018), 8 July
http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html

The Coq Workshop 2018, 8 July
https://coqworkshop2018.inria.fr/

International Workshop on Quantified Boolean Formulas and Beyond (QBF
2018), 8 July
http://fmv.jku.at/qbf18/

5th International Workshop on Graphical Models for Security (GraMSec
2018), 8 July
http://gramsec.uni.lu/

Women in Logic 2018, 8 July
https://sites.google.com/site/womeninlogic2018/welcome

9th Workshop on Intersection Types and Related Systems (ITRS 2018), 8 July
https://www.irif.fr/~michele/itrs2018

Coalgebra Now, 8 July
http://homepage.tudelft.nl/c9d1n/floc2018coalgebra/index.html

12th International Workshop on Developments in Computational Models
(DCM 2018), 8 July
https://sites.google.com/g.uporto.pt/dcm18

IFIP Working Group 1.6: Rewriting, 8 July
http://cbr.uibk.ac.at/ifip-wg1.6/

Workshop on Foundations of Computer Security (FCS 2018), 8 July
http://www.andrew.cmu.edu/user/liminjia/events/fcs2018/

Mentor Workshop 1, 8 July

https://lics.siglog.org/lics18/lmw.php

*** Mid-FLoC workshops (Wednesday 11 - Saturday 14 July)

Satisfiability Checking and Symbolic Computation: Bridging Two
Communities to Solve Real Problems (SC^2 2018), 11 July
http://www.sc-square.org/CSA/workshop3.html

IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2018), 11-13 July
http://www.cs.ox.ac.uk/conferences/ADHS18/

16th International Workshop on Satisfiability Modulo Theories (SMT
2018), 12-13 July
http://smt-workshop.cs.uiowa.edu/2018/

CAV Tutorials, 13 July
http://cavconference.org/2018/invited-speakers-tutorials/

7th Workshop on Logic and Systems Biology (LSB), 13 July
http://perso.ens-lyon.fr/russell.harmer/lsb7.html

Isabelle Workshop, 13 July
http://sketis.net/isabelle/isabelle-workshop-2018

25th RCRA International Workshop on Experimental Evaluation of
Algorithms for Solving Problems with Combinatorial Explosion, 13 July
https://sites.google.com/a/aixia.it/rcra/rcra-2018

5th Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2018), 13 July
http://forsyte.at/events/frida2018/

5th Vampire Workshop (Vampire 2018), 13 July
http://easychair.org/smart-program/Vampire18/

19th Workshop on Logic and Computational Complexity (LCC), 13 July
http://www.cs.swansea.ac.uk/lcc/index.html

5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018), 13 July
https://www.sci.unich.it/hcvs18/

Workshop on Learning and Automata (LearnAut 2018), 13 July
https://learnaut2018.wordpress.com/

1st International Workshop on Multi-objective Reasoning in
Verification and Synthesis (MoRe 2018), 13 July
http://math.umons.ac.be/more2018/

Workshop on Modular Knowledge (Tetrapod), 13 July
http://new.kwarc.info/events/Tetrapod-2018/

First Workshop on Automated Deduction for Separation Logics (ADSL 2018), 13 July
http://adsl.univ-grenoble-alpes.fr/

DMW18: Deduction Mentoring Workshop, 13 July
http://easychair.org/smart-program/DMW18/

Runtime Verification for Rigorous Systems Engineering (RV4RISE), 13 July
http://rv4rise.conf.tuwien.ac.at/

13th International Workshop on User Interfaces for Theorem Provers
(UITP 2018), 13 July
http://www.informatik.uni-bremen.de/uitp/uitp2018/

Verification Mentoring Workshop 2, 13 July
http://cavconference.org/2018/verification-mentoring-workshop/

Summit on Machine Learning Meets Formal Methods, sponsored by the Alan
Turing Institute, 13 July
http://www.floc2018.org/summit-on-machine-learning/

4th Workshop on Formal Integrated Development Environment (F-IDE 2018), 14 July
https://sites.google.com/view/fideworkshop2018

16th International Workshop on Quantitative Aspects of Programming
Languages and Systems (QAPL 2018), 14 July
http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2018/

16th Overture Workshop: New Capabilities and Applications for
Model-based Systems Engineering, 14 July
http://overturetool.org/workshops/16th-Overture-Workshop.html

FM Doctoral Symposium, 14 July
http://www.fm2018.org/doctoral-symposium/


*** Post-FLoC workshops (Wednesday 18 - Thursday 19 July)

18th Refinement Workshop, 18 July
http://www.refinenet.org.uk/

1st International Workshop on Parallel Logical Reasoning (PLR), 18 July
https://antonwijs.wixsite.com/plr2018

7th Workshop on Synthesis (SYNT 2018), 18 July
http://synt2018.seas.ucla.edu

Theorem Prover Components for Educational Software (ThEdu 2018), 18 July
http://www.uc.pt/en/congressos/thedu/thedu18

TLA+ Community Event 2018, 18 July
http://tla2018.loria.fr/

Workshop on Answer Set Programming and Other Computing Paradigms
(ASPOCP 2018), 18 July
https://sites.google.com/site/aspocp2018/

International Conference on Logical Programming - Doctoral Consortium
(ICLP - DC 2018), 18 July
http://easychair.org/smart-program/ICLP-DC2018/

16th International Colloquium on Implementation of Constraint and
Logic Programming Systems (CICLOPS 2018), 18 July
https://people.cs.kuleuven.be/~tom.schrijvers/CICLOPS2018/

3rd International Workshop on Automated Reasoning in Quantified
Non-Classical Logics (ARQNL 2018), 18 July
http://iltp.de/ARQNL-2018/

Workshop on Logic and Practice of Programming (LPoP 2018), 18 July
http://lpop.cs.stonybrook.edu/

13th International Workshop on Constraint Based Methods in
Bioinformatics (WCB 2018), 18 July
http://clp.dimi.uniud.it/wcb/wcb18/

International Workshop on the Verification and Validation of
Autonomous Systems (VaVAS), 18-19 July
http://cgi.csc.liv.ac.uk/~michael/VaVAS-July2018/

16th International Workshop on Termination (WST 2018), 18-19 July
http://wst2018.webs.upv.es/

MLP18: Machine Learning for Programming, 18-19 July
https://prodo.ai/mlp18

The LaSh 2018 Workshop on Logic and Search, 18-19 July
http://www.logicandsearch.org/LaSh2018/

10th Working Conference on Verified Software: Theories, Tools and
Experiments (VSTTE 2018), 18-19 July
http://vstte18.it.uu.se/

11th International Workshop on Numerical Software Verification
(NSV-XI), 18-19 July
https://nsv-2018.github.io/nsv2018/

18th International Workshop on Automated Verification of Critical
Systems (AVOCS 2018), 18-19 July
http://avocs18.irisa.fr/

Logics for Reasoning about Preferences, Uncertainty, and Vagueness
(PRUV 2018), 19 July
http://pruv18.inf.unibz.it/

Third Workshop on Fun With Formal Methods (FWFM 2018), 19 July
http://persons.iis.nsk.su/en/FWFM2018

International Workshop on External and Internal Calculi for
Non-Classical Logics, 19 July
http://weic2018.loria.fr/

Robots, Morality, and Trust through the Verification Lens, 19 July
http://qav.cs.ox.ac.uk/robots_morality_trust/

6th Workshop on the Practical Aspects of Automated Reasoning (PAAR
2018), 19 July
http://easychair.org/smart-program/PAAR-2018/

Verification of Engineered Molecular Devices and Programs (VEMDP 2018), 19 July
http://dna.caltech.edu/vemdp2018/


Workshops Committee

General Chair: Moshe Y. Vardi
Co-chairs: Daniel Kroening, Marta Kwiatkowska
Workshops Chair: Gethin Norman
Workshops Deputy Chair: Christoph Haase
CAV: Hana Chockler
CSF: Cas Cremers
FM: Helen Treharne
FSCD: Paula Severi
ICLP: Stefan Woltran
IJCAR: Alberto Griggio
ITP: Assia Mahboubi
LICS: Patricia Bouyer
SAT: Martina Seidl

[Caml-list] FLoC 2018 - Last Call for Participation

THE SEVENTH FEDERATED LOGIC CONFERENCE (FLoC 2018)
6-19 July 2018
Oxford, England, UK

REGULAR REGISTRATION CLOSES on 25th June 2018.
ON SITE REGISTRATION will be possible during the conference.
It is imperative that you BOOK ACCOMMODATION ASAP to avoid disappointment.

Website: http://www.floc2018.org/
Conference and workshops programme now live: https://easychair.org/smart-program/FLoC2018/index.html
Registration: http://www.floc2018.org/register/
Accommodation: http://www.floc2018.org/accommodation/

Registration for the main conference block gives you access to any
other conference in the same period. Conference registration includes
reception, lunches and coffee breaks. Stand up banquet can be added to
the conference registration.

Registration for a workshop day means you can attend any other
workshop on the same day. Workshop registration includes lunches and
coffee breaks.

Public events are free of charge but please note that they need to be
BOOKED SEPARETELY.

ACCOMMODATION
http://www.floc2018.org/accommodation/

We have made block bookings at several locations in Oxford until mid-May and any unsold rooms are now being
released. It is imperative that you book NOW to avoid disappointment, as July is a busy period in Oxford!

ABOUT FLOC

During the past forty years there has been extensive, continuous, and
growing interaction between logic and computer science. In many
respects, logic provides computer science with both a unifying
foundational framework and a tool for modeling. In fact, logic has
been called "the calculus of computer science", playing a crucial role
in diverse areas such as artificial intelligence, computational
complexity, distributed computing, database systems, hardware design,
programming languages, and software engineering.

The Federated Logic Conference brings together several international
conferences related to mathematical logic and computer science, and
was first organised in 1996, as part of the DIMACS Special Year on
Logic and Algorithms. Since then FLoC was held in Trento in 1999,
Copenhagen in 2002, Seattle in 2006, Edinburgh in 2010 and Vienna in
2014.

The seventh Federated Logic Conference (FLoC'18) will be held in
Oxford, UK, in July 2018, at the Mathematical Institute and the
Blavatnik School of Government at the University of Oxford.

CONFERENCES

FLoC 2018 brings together nine major international conferences, 70+ workshops and several special events.

CAV http://cavconference.org/2018/
CSF http://www.cs.ox.ac.uk/conferences/csf2018/
FM http://www.fm2018.org
FSCD http://www.cs.le.ac.uk/events/fscd2018/
ICLP https://www.cs.nmsu.edu/ALP/iclp2018/
IJCAR http://ijcar2018.org
ITP https://itp2018.inria.fr
LICS http://lics.siglog.org/lics18/
SAT http://sat2018.azurewebsites.net/

KEYNOTES/PLENARY LECTURES

Shafi Goldwasser, MIT, Pseudo Deterministic Algorithms and Proofs
Georges Gonthier, INRIA and Paris Saclay, The Logic of Real Proofs
Peter O'Hearn, Facebook and UCL, Continuous Reasoning for Big Code
Byron Cook, Amazon and UCL, Formal Reasoning about the Security of
Amazon Web Services

CONFERENCE INVITED SPEAKERS

CAV:   Somesh Jha, Eran Yahav
CSF:    Srini Devdas, Catuscia Palamidessi
FM:     Kim Gulstrand Larsen, Annabelle McIver, Leonardo de Moura
FSCD:  Stephanie Delaune, Grigore Rosu, Peter Selinger, Valeria Vignudelli
ICLP:   Elvira Albert, Thomas Eiter
IJCAR: Erika Abraham, Martin Giese
ITP:     Dan Grayson, John Harrison, Jean-Christophe Filiatre
LICS:   Thierry Coquand, Javier Esparza, Ursula Martin, Val Tannen
SAT:    Christopf Scholl, Rahul Santhanam, Marijn Heule

PUBLIC LECTURE by Stuart Russell, University of California Berkeley,
to be held as part of the Strachey Lecture series in the Sheldonian
Theatre, the official ceremonial hall of the University of Oxford:
http://www.floc2018.org/public-lecture/

PUBLIC DEBATE on "Ethics and Morality of Robotics", an event in the
LogicLounge series (http://www.vcla.at/logiclounge/), first organised
at the Vienna Summer of Logic in 2014, to be held at the Oxford Union,
a debating society with a long history of iconic debates and
world-renowned speakers founded in 1823.
http://www.floc2018.org/public-debate/

SUMMIT ON MACHINE LEARNING MEETS FORMAL METHODS
The Summit on Machine Learning Meets Formal Methods, supported by the
Alan Turing Institute, will bring together academic and industrial
leaders from NVIDIA, Google, DeepMind and Microsoft who will discuss
the benefits and risks of machine learning solutions.
http://www.floc2018.org/summit-on-machine-learning/

FORMAL METHODS IN INDUSTRY, 14th July 2018
The FLoC Industry session will consider the intersection of problems
that are relevant to academia and industry. The session will feauture
speakers from Amazon, Google and Facebook, and will be chaired
by Orna Grumberg.
http://www.floc2018.org/formal-methods-in-industry/

FOPSS LOGIC AND LEARNING SCHOOL, 1-6 July 2018 (NOW SOLD OUT)
The Logic & Learning School is an opportunity to learn from, and
interact with, the world's experts leading recent progress in
understanding the relationships between logic and learning.
http://www.floc2018.org/fopss/

MENTORING AND STUDENT EVENTS

FLoC will host several events aimed specifically at supporting
emerging researchers, some of which will provide financial support,
including:

LICS 2nd Logic Mentoring Workshop, Sunday 8 July
CAV Verification and Deduction Mentoring Workshop, Friday 13 July
FM Doctoral Symposium, Saturday 14 July
ICLP DC 2018: 14th Doctoral Consortium (DC) on Logic Programming (ICLP
– DC 2018), 18 July

SOCIAL EVENTS

There is one Reception and one Banquet during each FLoC block, and one
Workshop Dinner during each of the workshop blocks.  For details, see
http://floc2018.org/social-events/.  Guests are welcome: you can
reserve your place(s) via the registration system.

SPONSORSHIP

We are indebted to our sponsors for making FLoC possible, see:
http://www.floc2018.org/sponsors/

LOCAL INFORMATION

Our website includes details for travel (including accessibility),
venues and things to do in Oxford for our attendees and their
families: see http://www.floc2018.org/local-information/ for more
information.

FLoC 2018 promises to be an exciting meeting, and we hope to see you in Oxford!

FLOC 2018 CHAIRS

Marta Kwiatkowska
Daniel Kroening
Moshe Vardi

FLOC Committees

See http://www.floc2018.org/about/

[Caml-list] Call for draft papers for presentation at IFL 2018 (Implementation and Application of Functional Languages)

Hello,

Please, find below the fourth call for papers for IFL 2018.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL

---

                        Call for Draft papers for presentations

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

                                    IFL 2018                                   
    30th Symposium on Implementation and Application of Functional Languages   


                   University of Massachusetts Lowell, MA, USA
                             September 5th-7th, 2018
                         
                            http://iflconference.org

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

### Scope

The goal of the IFL symposia is to bring together researchers actively engaged
in the implementation and application of functional and function-based
programming languages. IFL 2018 will be a venue for researchers to present and
discuss new ideas and concepts, work in progress, and publication-ripe results
related to the implementation and application of functional languages and
function-based programming.

Topics of interest to IFL include, but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications


### Keynote Speakers

* Adam Chlipala, Massachusetts Institute of Technology CSAIL
* Arjun Guha, University of Massachusetts Amherst


### Submissions and peer-review

Differently from previous editions of IFL, IFL 2018 solicits two kinds of
submissions:

* Regular papers (12 pages including references)
* Draft papers for presentations ('weak' limit between 8 and 15 pages)

Regular papers will undergo a rigorous review by the program committee, and will
be evaluated according to their correctness, novelty, originality, relevance,
significance, and clarity. A set of regular papers will be conditionally
accepted for publication. Authors of conditionally accepted papers will be
provided with committee reviews along with a set of mandatory revisions.
Regular papers not accepted for publication will be considered as draft papers,
at the request of the author.

Draft papers will be screened to make sure that they are within the scope of
IFL, and will be accepted for presentation or rejected accordingly.

Prior to the symposium:
  Authors of conditionally accepted papers and accepted presentations will
  submit a pre-proceedings version of their work that will appear in the draft
  proceedings distributed at the symposium. The draft proceedings does not
  constitute a formal publication.
 
  We require that at least one of the authors present the work at IFL 2018.

After the symposium:

  Authors of conditionally accepted papers will submit a revised versions of
  their paper for the formal post-proceedings.
  The program committee will assess whether the mandatory revisions have been
  adequately addressed by the authors and thereby determines the final
  accept/reject status of the paper.
  Our interest is to ultimately accept all conditionally accepted papers. If you
  are an author of a conditionally accepted paper, please make sure that you
  address all the concerns of the reviewers.
 

  Authors of accepted presentations will be given the opportunity to incorporate
  the feedback from discussions at the symposium and will be invited to submit a
  revised full article for the formal post-proceedings.
  The program committee will evaluate these submissions according to their
  correctness, novelty, originality, relevance, significance, and clarity, and
  will thereby determine whether the paper is accepted or rejected.
 

### Publication

The formal proceedings will appear in the International Conference Proceedings
Series of the ACM Digital Library.

At no time may work submitted to IFL be simultaneously submitted to other
venues; submissions must adhere to ACM SIGPLAN's republication policy:


         http://www.sigplan.org/Resources/Policies/Republication


### Important dates

Submission of regular papers:                       May        25, 2018 [PASSED!]
Submission of draft papers:                         July       17, 2018 [UPCOMING!]
Regular and draft papers notification:              July       20, 2018 
Deadline for early registration:                    August      8, 2018 
Submission of pre-proceedings version:              August     29, 2018 
IFL Symposium:                                      September 5-7, 2018
Submission of papers for post-proceedings:          November    7, 2018
Notification of acceptance:                         December   22, 2018 
Camera-ready version:                               February   10, 2019


### Submission details

All contributions must be written in English. Papers must use the ACM two
columns conference format, which can be found at:

              http://www.acm.org/publications/proceedings-template

Authors submit through EasyChair:

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


### Peter Landin Prize

The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honored article is selected by the program committee
based on the submissions received for the formal review process. The prize
carries a cash award equivalent to 150 Euros.


### Organization and Program committee

Chairs: Jay McCarthy & Matteo Cimini, University of Massachusetts Lowell, USA

Program Committee:

* Arthur Chargueraud, Inria, FR
* Ben Delaware, Purdue University, USA
* Christos Dimoulas, Northwestern University, USA
* David Darais, University of Vermont, USA
* Dominic Orchard, University of Kent, UK
* Ekaterina Komendantskaya, Heriot-Watt University, UK
* Garrett Morris, University of Kansas, USA
* Heather Miller, EPFL & Northeastern University, CH & USA
* Jeremy Yallop, University of Cambridge, UK
* Keiko Nakata, SAP Innovation Center Potsdam, DE
* Laura Castro, University of A Coruna, ESP
* Magnus Myreen, Chalmers University of Technology, SWE
* Natalia Chechina, Bournemouth University, UK
* Peter Achten, Radboud Universiteit Nijmegen, NL
* Peter-Michael Osera, Grinnell College, USA
* Richard Eisenberg, Bryn Mawr College, USA
* Trevor McDonell, University of New South Wales, AUS
* Yukiyoshi Kameyama, University of Tsukuba, JAP

### Venue

The 30th IFL is organized by the University of Massachusetts Lowell.
The City of Lowell is located at the heart of the Merrimack Valley just 30 miles
northwest of Boston. Lowell can be easily reached by train or taxi.
See the website for more information on the venue.


### Acknowledgments

This call-for-papers is an adaptation and evolution of content from previous
instances of IFL. We are grateful to prior organizers for their work, which is
reused here.

A part of IFL 2018 format and CFP language that describes conditionally accepted
papers has been adapted from call-for-papers of OOPSLA conferences.

[Caml-list] 23rd International Conference on Engineering Complex Systems - Call for Papers

------------------------------------------------------------

CALL FOR PAPERS

The 23rd International Conference on Engineering Complex Systems
ICECCS 2018

12-14 December 2018 - Melbourne, Australia

http://formal-analysis.com/iceccs/2018/
------------------------------------------------------------

Important Dates (AoE time)

Abstract submission: 15th June 2018
Paper submission: 22nd June 2018
Notification of acceptance: 22th August 2018
Camera ready copy due: 21th September 2018


We have seen a rapid rising emphasis on design, implement and manage complex
computer systems which are present in every aspect of human activities, such as
manufacturing, communications, defense, transportation, aerospace, hazardous
environments, energy, and health care. The complex computer systems are
frequently distributed over heterogeneous networks and processing large amount
data. Complexity arises from many factors, including the dynamic environments
and scenarios these systems operate in; demanding and sometimes conflicting
requirements in functionality, efficiency, scalability, security,
dependability, inoperability and adaptability; as well as the large variation
in development methodology, programming languages and implementation details.
The key issues in these systems include performance, real-time behavior, fault
tolerance, security, adaptability, development time and cost, and long life
concerns.

The goal of this conference is to bring together industrial, academic, and
government experts, from a variety of application domains and software
disciplines, to discuss how the disciplines' problems and solution techniques
interact within the whole system. Researchers, practitioners, tool developers
and users, and technology transfer experts are all welcome. The scope of
interest includes long-term research issues; near-term requirements and
challenges; established complex systems; emerging promising tools; and
retrospective and prospective reflections of research and development into
complex systems.

Scope and Topics

Authors are invited to submit papers describing original, unpublished research
results, case studies and tools. Papers are solicited in all areas related to
complex computer-based systems, including the causes of complexity and means of
avoiding, controlling, or coping with complexity. Topic areas include, but are
not limited to:

Requirement specification and analysis
Verification and validation
Security and privacy of complex systems
Model-driven development
Reverse engineering and refactoring
Software architecture
Big Data Management
Ambient intelligence, pervasive computing
Ubiquitous computing, context awareness, sensor networks
Design by contract
Agile methods
Safety-critical & fault-tolerant architectures
Adaptive, self-managing and multi-agent systems
Real-time, hybrid and embedded systems
Systems of systems
Cyber-physical systems and Internet of Things (IoT)
Tools and tool integration
Industrial case studies
Applications to SAT/SMT techniques to analysis of complex systems

Different kinds of contributions are sought, including novel research, lessons
learned, experience reports, and discussions of practical problems faced by
industry and user domains. The ultimate goal is to build a rich and
comprehensive conference program that can fit the interests and needs of
different classes of attendees: professionals, researchers, managers, and
students. A program goal is to organize several sessions that include both
academic and industrial papers on a given topic and culminate panels to discuss
relationships between industrial and academic research.

Full Papers

Full papers are divided into two categories: Technical Papers and Experience
Reports. The papers submitted to both categories will be reviewed by program
committee members, and papers accepted in either category will be published in
the conference proceedings. Technical papers should describe original research,
and experience reports should present practical projects carried out in
industry, and reflect on the lessons learnt from them.

Short Papers

Short paper submissions describe early-stage, ongoing or PhD research. All
short papers will be reviewed by program committee members, and accepted short
papers will be published in the conference proceedings.

Paper Submissions

Submitted manuscripts should be in English and formatted in the style of the
double-column CPS format. Full papers should not exceed 10 pages, and short
papers should not exceed 4 pages, including figures, references, and
appendices. All submissions should be in PDF format. Submissions not adhering
to the specified format and length may be rejected immediately, without review.

Please prepare your manuscripts in accordance to the CPS guidelines:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html.

We invite all prospective authors to submit their manuscripts via the
ICECCS'18 portal, hosted on EasyChair
https://easychair.org/conferences/?conf=iceccs2018

Conference Proceedings

The conference proceedings will be published by Conference Publishing Services
(CPS) and submitted for EI indexing.

Organization:

General Chair: Yuan-Fang Li (Monash University, Australia)
Program Chairs: Anthony Lin (Oxford, UK) and Jun Sun (Singapore
University of Technology and Design, Singapore)
Workshop/Tutorial chair: Marcel Boehme (Monash University, Australia)
Local chair: Xin Xia (Monash University, Australia)
Web Chair: Hou Zhe and Hadrien Bride (Griffith University)
Publicity Chairs: Etienne Andre (University Paris 13, France) and
Huibiao Zhu (East China Normal University, China)

Steering Committee:
Jin Song Dong, Griffith University and NUS, Australia
Mike Hinchey, University of Limerick, Ireland
Mark Lawford, McMaster University, Canada
Xiaohong Li, Tianjin University, China
Shaoying Liu, Hosei University, Japan
Andrew Martin, University of Oxford, UK
Roy Sterritt, University of Ulster, USA
Jing Sun, The University of Auckland, New Zealand

Program committee:
Parosh Aziz Abdulla, Uppsala University, Sweden
Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France
Etienne Andre, University Paris 13, France
Luciano Baresi, Politecnico di Milano, Italy
Sergiy Bogomolov, Australian National University, Australia
Yu-Fang Chen, National Taiwan University, Taiwan
Wei-Ngan Chin, National University of Singapore, Singapore
Duc Hiep Chu, Google LLC, United States
Sebastien Gerard, CEA LIST, France
Felicita Di Giandomenico, Institute ISTI, Italy
Matthew Hague, Royal Holloway University of London, United Kingdom
Jane Hillston, The University of Edinburgh, United Kingdom
Atsushi Igarashi, Kyoto University, Japan
Kung-Kiu Lau, University of Manchester, United Kingdom
Yuan-Fang Li, Monash University, Australia
Yang Liu, Nanyang Technological University, Singapore
David Lo, Singapore Management University, Singapore
Gerald Luettgen, University of Bamberg, Germany
Xiaoxing Ma, Nanjing University, China
Tiziana Margaria, Lero, Ireland
Dominique Mery, University de Lorraine, France
Paolo Nesi, University of Florence, Italy
Jun Pang, University of Luxembourg, Luxembourg
David Parker, University of Birmingham, United Kingdom
Christian Prehofer, Technical University of Munich, Germany
Philipp Ruemmer, Uppsala University, Sweden
Bernhard Rumpe, RWTH Aachen University, Germany
Max Schaefer, Semmle Ltd., United Kingdom
Maria Spichkova, RMIT University, Australia
Kenji Taguchi, CAV Technologies Co., Ltd., Japan
Kenji Tei, National Institute of Informatics, Japan
Cong Tian, Xidian University, China
Tullio Vardanega, University of Padua, Italy
Hai H. Wang, University of Aston, United Kingdom
Hironori Washizaki, Waseda University, Japan
Zhilin Wu, Chinese Academy of Sciences, China
Huibiao Zhu, East China Normal University, China

A PDF version of this call for papers is available at:
http://formal-analysis.com/iceccs/2018/cfp.pdf
Feel free to print and/or share!


--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] Mathematically Structured Functional Programming 2018: Call for Participation

Seventh Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Sunday 8th July 2018, Oxford, UK
A satellite workshop of FSCD 2018

http://msfp2018.bentnib.org/

CALL FOR PARTICIPATION

Registration:
============

Register here: http://www.floc2018.org/register/
Early registration deadline: Wednesday 6th June


Invited Speakers:
=================

- Tamara von Glehn, University of Cambridge, UK
- Didier Remy, INRIA, France



The seventh 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, just after ETAPS 2016.

Programme:
==========

See also https://easychair.org/smart-program/FLoC2018/MSFP-program.html
for abstracts.

09:00 Invited speaker: Tamara von Glehn
Polynomial models of type theory
10:00 Maaike Zwart and Dan Marsden
Some No-Go Theorems for Distributive Laws (extended abstract)

10:30 Coffee

11:00 Jeremy Pope
Formalizing Constructive Quantifier Elimination in Agda
11:45 Exequiel Rivas
Relating Idioms, Arrows and Monads from Monoidal Adjunctions

12:30 Lunch

14:00 Invited Speaker: Didier Remy
Ornamentation put into practice in ML
15:00 Jeremy Gibbons and Guillaume Boisseau
Profunctor Optics and the Yoneda Lemma

15:30 Coffee

16:00 Jules Hedges
Backward induction for repeated games
16:45 Conor McBride
Everybody's Got To Be Somewhere

Program Committee:
==================

Andreas Abel - Chalmers, Sweden
Danel Ahman - INRIA Paris, France
Robert Atkey - University of Strathclyde, UK (co-chair)
Jeremy Gibbons - University of Oxford, UK
Jennifer Hackett - University of Nottingham, UK
Mauro Jaskelioff - Universidad Nacional de Rosario, Argentina
Shin-ya Katsumata - National Institute of Informatics, Japan
Sam Lindley - University of Edinburgh, UK (co-chair)
Clare Martin - Oxford Brookes University, UK
Shin-Cheng Mu - Academia Sinica, Taiwan
Valeria de Paiva - Nuance Communications, US
Alexandra Silva - University College London, UK

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs