[Caml-list] Verification and Validation track @ QUATIC 2016 - Second Call for Papers

SECOND CALL FOR PAPER (apologies for multiple copies) 

********************************************************************** 
Quality Aspects in Verification and Validation 
https://goo.gl/ZEcP3H 

track of the 10th International Conference on the 
Quality of Information and Communications Technology 
QUATIC 2016 

7th - 9th September 2016, Lisbon 
********************************************************************** 

IMPORTANT DATES: 

• Paper submission: Sunday, April 10, 2016 
• Author's notifications: Sunday, May 15, 2016 
• Camera ready submission: Sunday, June 19, 2016 


CALL FOR PAPERS: 

The blooming of information society is pushing software development to move 
fast to match the expectations of a wide and globalised audience of users and 
consumers. This trend fosters the adoption of programming languages, 
development methodologies, network and hardware infrastructures that enable a 
fast shifting from prototyping to deployment and allow short release cycles. 
Yet, it is crucial that software systems satisfy their functional and non- 
functional requirements. 

Fitting together the conflicting demands for speed and quality is a challenge 
that calls for new paradigms and methodologies of software verification and 
validation. The ICT Verification and Validation (V&V) track of QUATIC 2016 is 
a showcase and discussion forum for innovative research proposals that address 
this challenge. 

Authors are invited to submit technical papers, empirical studies, success 
stories or any other form of original research contribution. Suggested topics 
of interest for this track include, but are not restricted to, V&V paradigms 
and methodologies such as:  

+ model checking  
+ abstract interpretation 
+ static analysis  
+ type systems  
+ testing  
+ test generation  
+ models and calculi for software and requirements specification  
+ software quality metrics and other quantitative methods  
+ dynamic/runtime/online techniques 

for quality assurance in the context of:  

+ agile methodologies 
+ continuous delivery  
+ cloud computing: IaaS, PaaS, SaaS, SLA, etc. 
+ mobile computing  
+ Internet of things  
+ automation in development 
+ dynamic programming languages 


SUBMISSION PROCESS: 

Authors should submit to http://www.easychair.org/conferences/?conf=quatic2016 

a PDF version of their paper. Full Papers must be in IEEE format and 

not exceed 6 pages, including figures, references, and appendices. 

Work In Progress (WIP) works with relevant preliminary results are limited to 3 pages. 

Submissions must be original and will be reviewed by the Track Program Committee. 

Accepted papers will be published in the electronic IEEE proceedings of QUATIC'2016, 

subject to one of the authors registering for the conference. 

The authors of the best papers of this thematic track will be invited to submit extended

 versions to the main track of the conference. 

More info on the QUATIC'2016 selection process and its tracks can be found at http://2016.quatic.org.

PROGRAM CHAIR: 

Gianluca Mezzetti, Aarhus University, Denmark 

PROGRAM COMMITEE: 

Antonia Bertolino (Italian National Research Council, Italy) 
Dave Clarke (Uppsala University, Sweden) 
Letterio Galletta (University of Pisa, Italy) 
Leonardo Mariani (University of Milan, Italy) 
Jan Midtgaard (Technical University of Denmark, Denmark) 
Patrick Lam (University of Waterloo, Canada) 
Mohammad Reza Mousavi (Halmstad University, Sweden) 
Marco Pistoia (IBM Thomas J. Watson Research Center, USA) 
Andreas Podelski (University of Freiburg, Germany) 
Philipp Rümmer (Uppsala University, Sweden) 


CONFERENCE WEBSITE: 

For additional information visit the website of the track 
https://goo.gl/ZEcP3H 

[Caml-list] [TFPIE 2016] 2nd call for papers

Trends in Functional Programming in Education (TFPIE 2016)
2nd Call for papers
https://wiki.science.ru.nl/tfpie/TFPIE2016

The 5th International Workshop on Trends in Functional Programming in
Education, TFPIE 2016, will be held on June 7, 2016 at the University
of Maryland College Park in the USA. It is co-located with the
Symposium on Trends in Functional Programming (TFP 2016) which takes
place from June 8 - 10.

*** Goal ***

The goal of TFPIE is to gather researchers, teachers and professionals
that use, or are interested in the use of, functional programming in
education. TFPIE aims to be a venue where novel ideas,
classroom-tested ideas and work-in-progress on the use of functional
programming in education are discussed. The one-day workshop will
foster a spirit of open discussion by having a review process for
publication after the workshop. The program chair of TFPIE 2016 will
screen submissions to ensure that all presentations are within scope
and are of interest to participants. Potential presenters are invited
to submit an extended abstract (4-6 pages) or a draft paper (up to 16
pages) in EPTCS style. The authors of accepted presentations will have
their preprints and their slides made available on the workshop's
website/wiki. Visitors to the TFPIE 2016 website/wiki will be able to
add comments. This includes presenters who may respond to comments and
questions as well as provide pointers to improvements and follow-up
work. After the workshop, presenters will be invited to submit (a
revised version of) their article for review. The PC will select the
best articles for publication in the journal Electronic Proceedings in
Theoretical Computer Science (EPTCS). Articles rejected for
presentation and extended abstracts will not be formally reviewed by
the PC. TFPIE workshops have previously been held in St Andrews,
Scotland (2012), Provo Utah, USA (2013), Soesterberg, The Netherlands
(2014), and Sophia-Antipolis, France (2015).

*** Program Committee ***

Stephen Chang at Northeastern University in
Massachusetts, USA
Marc Feeley at Université de Montréal in Québec, Canada
Patricia Johann at Appalachian State University in North
Carolina, USA
Jay McCarthy at University of Massachusetts Lowell in
Massachusetts, USA (Chair)
Prabhakar Ragde at University of Waterloo in Ontario, Canada
Brent Yorgey at Hendrix College in Arkansas, USA

*** Submission Guidelines ***

TFPIE 2016 welcomes submissions describing techniques used in the
classroom, tools used in and/or developed for the classroom and any
creative use of functional programming (FP) to aid education in or
outside Computer Science. Topics of interest include, but are not
limited to:

- FP and beginning CS students
- FP and Computational Thinking
- FP and Artificial Intelligence
- FP in Robotics
- FP and Music
- Advanced FP for undergraduates
- Tools supporting learning FP
- FP in graduate education
- Engaging students in research using FP
- FP in Programming Languages
- FP in the high school curriculum
- FP as a stepping stone to other CS topics
- FP and Philosophy

*** Best Lectures ***

In addition to papers, we request "best lecture" presentations. What
is your best lecture topic in an FP related course? Do you have a fun
way to present FP concepts to novices or perhaps an especially
interesting presentation of a difficult topic? In either case, please
consider sharing it. Best lecture topics will be selected for
presentation based on a short abstract describing the lecture and its
interest to TFPIE attendees.

*** Submission ***

Papers and abstracts can be submitted via EasyChair at the following
link:

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

It is expected at at least one author for each submitted paper will
attend the workshop.

*** Registration & Local Information ***

Please see the TFP site for registration and local information:

http://tfp2016.org/

*** Important Dates ***

April 27, 2016: Submission deadline for draft TFPIE papers and
abstracts
May 3, 2016: Notification of acceptance for presentation
May 13, 2016: Registration for TFP/TFPIE closes
June 7, 2016: Presentations in Maryland, USA
July 7, 2016: Full papers for EPTCS proceedings due.
September 1, 2016: Notification of acceptance for proceedings
September 22, 2016: Camera ready copy due for EPTCS

Submission of an abstract implies no obligation to submit a full version;
abstracts with no corresponding full versions by the full paper deadline
will be
considered as withdrawn.


--
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] Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 9th

First Call for Papers

UITP 2016
12th International Workshop on User Interfaces for Theorem Provers
in connection with IJCAR 2016
July 2nd, 2016, Coimbra, Portugal
http://www.informatik.uni-bremen.de/uitp/current/

* Submission deadline: May 9th, 2016 *

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

The User Interfaces for Theorem Provers workshop series brings
together researchers interested in designing, developing and
evaluating interfaces for interactive proof systems, such as theorem
provers, formal method tools, and other tools manipulating and
presenting mathematical formulas.

While the reasoning capabilities of interactive proof systems have
increased dramatically over the last years, the system interfaces have
often not enjoyed the same attention as the proof engines
themselves. In many cases, interfaces remain relatively basic and
under-designed.

The User Interfaces for Theorem Provers workshop series provides a
forum for researchers interested in improving human interaction with
proof systems. We welcome participation and contributions from the
theorem proving, formal methods and tools, and HCI communities, both
to report on experience with existing systems, and to discuss new
directions. Topics covered include, but are not limited to:

- Application-specific interaction mechanisms or designs for prover
interfaces Experiments and evaluation of prover interfaces
- Languages and tools for authoring, exchanging and presenting proof
- Implementation techniques (e.g. web services, custom middleware,
DSLs)
- Integration of interfaces and tools to explore and construct proof
- Representation and manipulation of mathematical knowledge or objects
- Visualisation of mathematical objects and proof
- System descriptions

UITP 2016 is a one-day workshop to be held on Saturday, July 2nd, 2016
in Coimbra, Portugal, as a IJCAR 2016 workshop.

** Submissions **

Submitted papers should describe previously unpublished work
(completed or in progress), and be at least 4 pages and at most 12
pages. We encourage concise and relevant papers. Submissions should be
in PDF format, and typeset with the EPTCS LaTeX document class (which
can be downloaded from http://style.eptcs.org/). Submission should be
done via EasyChair at

https://www.easychair.org/conferences/?conf=uitp16

All papers will be peer reviewed by members of the programme committee
and selected by the organizers in accordance with the referee
reports.

At least one author/presenter of accepted papers must attend the
workshop and present their work.

** Proceedings **

Authors will have the opportunity to incorporate feedback and insights
gathered during the workshop to improve their accepted papers before
publication in the Electronic Proceedings in Theoretical Computer
Science (EPTCS - http://www.eptcs.org/).

** Important dates **

Submission deadline: May 9th, 2016
Acceptance notification: June 6th, 2016
Camera-ready copy: June 20th, 2016
Workshop: July 2nd, 2016

** Programme Committee **

Serge Autexier, DFKI Bremen, Germany (Co-Chair)
Pedro Quaresma, U Coimbra, Portugal (Co-Chair)
David Aspinall, University of Edinburgh, Scotland
Chris Benzmüller, FU Berlin, Germany & Stanford, USA
Yves Bertot, INRIA Sophia-Antipolis, France
Gudmund Grov, Heriott-Watt University, Scotland
Zoltán Kovács, RISC, Austria
Christoph Lüth, University of Bremen and DFKI Bremen, Germany
Alexander Lyaletski, Kiev National Taras Shevchenko Univ., Ukraine
Michael Norrish, NICTA, Australia
Andrei Paskevich, LRI, France
Christian Sternagel, University Innsbruck, Austria
Enrico Tassi, INRIA Sophia-Antipolis, France
Laurent Théry, INRIA Sophia-Antipolis, France
Makarius Wenzel, Sketis, Germany
Wolfgang Windsteiger, RISC Linz, Austria
Bruno Woltzenlogel Paleo, TU Vienna, Austria


--
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] Second Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems

Science of Computer Programming
Special Issue on Automated Verification of Critical Systems

Second Call for Papers

Guest editors: Gudmund Grov & Andrew Ireland
Submission deadline: 20 May 2016
Notification: 31 August 2016

This special issue is devoted to the 15th international workshop on Automated Verification of Critical Systems (AVoCS 2015):

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

The aim of AVoCS is to contribute to the interaction and exchange of ideas among members of the international research community on tools
and techniques for the verification of critical systems. These topics are to be interpreted broadly and inclusively. It covers all aspects
of automated verification, and typical (but not exclusive) topics of interest are:

- Model Checking
- Automatic and Interactive Theorem Proving
- SAT, SMT or Constraint Solving for Verification
- Abstract Interpretation
- Specification and Refinement
- Requirements Capture and Analysis
- Verification of Software and Hardware
- Specification and Verification of Fault Tolerance and Resilience
- Probabilistic and Real-Time Systems
- Dependable Systems
- Verified System Development
- Industrial Applications

Submission to this special issue is open. We expect original articles (typically 20-30 pages) that present high-quality contributions,
have not been previously published in an archival venue and that must not be simultaneously submitted for publication elsewhere.

Submissions must be written in English and comply with SCP's author guidelines

http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/authorinstructions

Submission is over the SCP website:

http://ees.elsevier.com/scico/default.asp

which you will have to register for if you do not have an account.
When submitting your paper please choose the article type "Special issue: AVoCS 2015".

Please send any queries you may have to Gudmund Grov (G.Grov@hw.ac.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

[Caml-list] SLSP 2016: 1st call for papers

*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*
 
**********************************************************************************
 
4th INTERNATIONAL CONFERENCE ON
STATISTICAL LANGUAGE AND SPEECH PROCESSING
 
SLSP 2016
 
Pilsen, Czech Republic
 
October 11-13, 2016
 
Organized by:
 
Department of Computer Science and Engineering
Department of Cybernetics
University of West Bohemia
 
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
 
http://grammars.grlmc.com/SLSP2016/
 
**********************************************************************************
 
AIMS:
 
SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2016, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.
 
VENUE:
 
SLSP 2016 will take place in Pilsen, nominated one of the two European Capitals of Culture in 2015. The venue will be the the NTIS research centre at the Faculty of Applied Sciences of the University of West Bohemia.
 
SCOPE:
 
The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:
 
anaphora and coreference resolution
authorship identification, plagiarism and spam filtering
computer-aided translation
corpora and language resources
data mining and semantic web
information extraction
information retrieval
knowledge representation and ontologies
lexicons and dictionaries
machine translation
multimodal technologies
natural language understanding
neural representation of speech and language
opinion mining and sentiment analysis
parsing
part-of-speech tagging
question-answering systems
semantic role labelling
speaker identification and verification
speech and language generation
speech recognition
speech synthesis
speech transcription
spelling correction
spoken dialogue systems
term extraction
text categorisation
text summarisation
user modeling
 
STRUCTURE:
 
SLSP 2016 will consist of:
 
invited talks
invited tutorials
peer-reviewed contributions
 
INVITED SPEAKERS:
 
tba
 
PROGRAMME COMMITTEE:
 
Srinivas Bangalore (Interactions LLC, Murray Hill, USA)
Roberto Basili (University of Rome Tor Vergata, Italy)
Jean-François Bonastre (University of Avignon, France)
Nicoletta Calzolari (National Research Council, Pisa, Italy)
Marcello Federico (Bruno Kessler Foundation, Trento, Italy)
Guillaume Gravier (IRISA, Rennes, France)
Gregory Grefenstette (INRIA, Saclay, France)
Udo Hahn (University of Jena, Germany)
Thomas Hain (University of Sheffield, United Kingdom)
Dilek Hakkani-Tür (Microsoft Research, Mountain View, USA)
Mark Hasegawa-Johnson (University of Illinois, Urbana, USA)
Xiaodong He (Microsoft Research, Redmond, USA)
Graeme Hirst (University of Toronto, Canada)
Gareth Jones (Dublin City University, Ireland)
Tracy Holloway King (A9.com, Palo Alto, USA)
Tomi Kinnunen (University of Eastern Finland, Joensuu, Finland)
Philipp Koehn (University of Edinburgh, United Kingdom)
Pavel Král (University of West Bohemia, Pilsen, Czech Republic)
Claudia Leacock (McGraw-Hill Education CTB, Monterey, USA)
Mark Liberman (University of Pennsylvania, Philadelphia, USA)
Qun Liu (Dublin City University, Ireland)
Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair)
Alessandro Moschitti (University of Trento, Italy)
Preslav Nakov (Qatar Computing Research Institute, Doha, Qatar)
John Nerbonne (University of Groningen, The Netherlands)
Hermann Ney (RWTH Aachen University, Germany)
Vincent Ng (University of Texas, Dallas, USA)
Jian-Yun Nie (University of Montréal, Canada)
Kemal Oflazer (Carnegie Mellon University – Qatar, Doha, Qatar)
Adam Pease (Articulate Software, San Francisco, USA)
Massimo Poesio (University of Essex, United Kingdom)
James Pustejovsky (Brandeis University, Waltham, USA)
Manny Rayner (University of Geneva, Switzerland)
Paul Rayson (Lancaster University, United Kingdom)
Douglas A. Reynolds (Massachusetts Institute of Technology, Lexington, USA)
Erik Tjong Kim Sang (Meertens Institute, Amsterdam, The Netherlands)
Murat Saraçlar (Boğaziçi University, İstanbul, Turkey)
Björn W. Schuller (University of Passau, Germany)
Richard Sproat (Google, New York, USA)
Efstathios Stamatatos (University of the Aegean, Karlovassi, Greece)
Yannis Stylianou (Toshiba Research Europe Ltd., Cambridge, United Kingdom)
Marc Swerts (Tilburg University, The Netherlands)
Tomoki Toda (Nara Institute of Science and Technology, Japan)
Andy Way (Dublin City University, Ireland)
Phil Woodland (University of Cambridge, United Kingdom)
Junichi Yamagishi (University of Edinburgh, United Kingdom)
Heiga Zen (Google, Mountain View, USA)
Min Zhang (Soochow University, Suzhou, China)
Pierre Zweigenbaum (LIMSI, Orsay, France)
 
ORGANIZING COMMITTEE:
 
Tomáš Hercig (Pilsen)
Carlos Martín-Vide (Tarragona, co-chair)
Manuel J. Parra (Granada)
Daniel Soutner (Pilsen)
Florentina Lilica Voicu (Tarragona)
Jan Zelinka (Pilsen, co-chair)
 
SUBMISSIONS:
 
Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
 
Submissions have to be uploaded to:
 
https://www.easychair.org/conferences/?conf=slsp2016
 
PUBLICATIONS:
 
A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.
 
A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.
 
REGISTRATION:
 
The registration form can be found at:
 
http://grammars.grlmc.com/SLSP2016/Registration.php
 
DEADLINES:
 
Paper submission: May 17, 2016 (23:59 CET)
Notification of paper acceptance or rejection: June 21, 2016
Final version of the paper for the LNCS/LNAI proceedings: July 1, 2016
Early registration: July 1, 2016
Late registration: September 27, 2016
Submission to the journal special issue: January 13, 2017
 
QUESTIONS AND FURTHER INFORMATION:
 
florentinalilica.voicu (at) urv.cat
 
POSTAL ADDRESS:
 
SLSP 2016
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
 
Phone: +34 977 559 543
Fax: +34 977 558 386
 
ACKNOWLEDGEMENTS:
 
Západočeská univerzita v Plzni
Universitat Rovira i Virgili

[Caml-list] Final Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Abstract Submission Deadline 9. March 2016

Second Call for Papers & Updates
9th Conference on Intelligent Computer Mathematics
- CICM 2016 -
July 25-29, 2016
University of Bialystok, Poland
http://www.cicm-conference.org/2016

+----------------------------- NEWS ---------------------------------+
| Abstract Deadline: March 9th, 2016 |
| CICM will host *5* workshops (Formal Mathematics for |
| Mathematicians, Mathematical User Interfaces, Openmath, Proof |
| Engineering (Constructing, Maintaining and Understanding Large |
| Proofs) and Theorem Provers Components for Educational Software) |
| as well as 2 tutorials |
+--------------------------------------------------------------------+

Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation of
mathematical information. Separate communities have developed to
investigate and build computer based systems for computer algebra,
automated deduction, and mathematical publishing as well as novel user
interfaces. While all of these systems excel in their own right, their
integration can lead to synergies offering significant added
value. The Conference on Intelligent Computer Mathematics (CICM)
offers a venue for discussing and developing solutions to the great
challenges posed by the integration of these diverse areas.

CICM has been held annually as a joint meeting since 2008, co-locating
related conferences and workshops to advance work in these
subjects. Previous meetings have been held in Birmingham (UK 2008),
Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011),
Bremen (Germany 2012), Bath (UK 2013), Coimbra (Portugal 2014), and
Washington DC (USA 2015).

This is a call for papers for CICM 2016, which will be held in
Bialystok, Poland, July 25-29, 2016.

The principal tracks of the conference will be:

* Track: Calculemus (chair: Leonardo de Moura)
* Track: Digital Mathematical Libraries (DML) (chair: Frank Tompa)
* Track: Mathematical Knowledge Management (MKM) (chair: Bruce Miller)
* Track: Systems & Data (chair: Moa Johansson)
* Track: Doctoral Programme (chair: Martin Suda)

Like in previous years, project descriptions are welcomed as well.

The overall programme is organized by the General Program Chair
Michael Kohlhase. The workshop and publicity chair is Serge Autexier.
The local arrangements will be coordinated by Adam Naumowicz.

We plan to have proceedings of the conference as in previous years
with Springer Verlag as a volume in Lecture Notes in Artificial
Intelligence (LNAI).

*New Important Dates*

Conference submissions
- Abstract submission deadline: *9. March 2016*
- Submission deadline: 16. March 2016
- Reviews sent to authors: 20. April 2016
- Rebuttals due: 23. April 2016
- Notification of acceptance: 5. May 2016
- Camera ready copies due: 20. May 2016
- Conference: 25.-29. July 2016

Work-in-progress and Doctoral Programme
- Submission deadline (Doctoral: Abstract+CV): 10. May 2016
- Notification of acceptance: 29. May 2016
- Camera ready copies due: 29. June 2016

More details on the conference are available from

http://www.cicm-conference.org/2016/cicm.php?menu=cfp


--
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] SFM-16:QUANTICOL last call for participation (Bertinoro, 20-24 June 2016)

***********************************************************
* *
* SFM-16:QUANTICOL *
* *
* 16th International School on *
* Formal Methods for the Design of *
* Computer, Communication and Software Systems: *
* Quantitative Evaluation of Collective Adaptive Systems *
* *
* Bertinoro (Italy), 20-24 June 2016 *
* *
* http://www.sti.uniurb.it/events/sfm16quanticol/ *
* *
***********************************************************
* CALL FOR PARTICIPATION *
* (deadline: 21 March 2016) *
***********************************************************


GENERAL INFORMATION ABOUT SFM
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Formal methods are emerging in computer science as a prominent
approach to the rigorous design of computer, communication and
software systems.

The aim of the SFM series is to offer a good spectrum of
current research in foundations as well as applications of
formal methods, which can be of interest for graduate students
and young researchers who intend to approach the field.

This year SFM is devoted to the quantitative evaluation of
collective adaptive systems and covers topics such as
self-organization in distributed systems, scalable quantitative
analysis, spatio-temporal models, and aggregate programming.


COURSES AND LECTURERS
^^^^^^^^^^^^^^^^^^^^^

The school features the following lectures:

"Self-Organization in Distributed Computing Systems"
Giovanna Di Marzo Serugendo (U Geneve, CH)

"Formal Analysis of Robust Adaptive Distributed Cyber-Physical Systems"
Carolyn Talcott (SRI International, US)

"Dependability of Adaptable and Evolvable Distributed Systems"
Carlo Ghezzi (Politecnico Milano, IT)

"Scalable Quantitative Analysis: Fluid and Hybrid Approximations"
Nicolas Gast (INRIA Grenoble Rhone-Alpes, FR)
Luca Bortolussi (U Trieste, IT)

"Modeling and Analysis of Collective Adaptive Systems with CARMA and its Tools"
Michele Loreti (U Firenze, IT)

"Spatial Representations and Analysis Techniques"
Vashti Galpin (U Edinburgh, UK)

"Spatial Logic and Spatial Model Checking"
Mieke Massink (CNR-ISTI Pisa, IT)
Vincenzo Ciancia (CNR-ISTI Pisa, IT)

"Spatio-Temporal Model Checking"
Radu Grosu (TU Wien, AT)
Ezio Bartocci (TU Wien, AT)

"Quantitative Abstractions for Collective Adaptive Systems"
Mirco Tribastone (IMT Lucca, IT)
Andrea Vandin (IMT Lucca, IT)

"Aggregate Programming"
Jake Beal (BBN Technologies, US)

All participants will receive a copy of a tutorial book published by
Springer as a volume in the Lecture Notes in Computer Science series.


LOCATION
^^^^^^^^

SFM-16:QUANTICOL will be held in the medieval hilltop town of Bertinoro.

This place is in Emilia Romagna, about 70 km south-east of Bologna,
at an elevation of about 230 m. It can be reached in a couple of
hours from the international airport "G. Marconi" of Bologna by
shuttle (from the airport to the railway station) + train (from
Bologna to Forli`) + bus/taxi (from the railway station to Bertinoro).

Bertinoro is close to many splendid locations such as Urbino,
Gradara, San Leo, and the Republic of San Marino, as well as some
less well-known locations like the thermal springs of Fratta Terme.
Bertinoro can also be a base for visiting some of the better-known
Italian locations such as Bologna, Modena, Parma, Rimini, Ravenna,
Ferrara, Padova, Venezia, Verona, Firenze, Pisa, Lucca, and Siena.

Bertinoro itself is picturesque, with its narrow streets and
walkways winding around the central peak. The school will be held
at the Centro Residenziale Universitario (CRU), an ex-episcopal
fortress that has been converted into a modern conference center.
From the fortress, it is possible to enjoy a beautiful vista stretching
from the Apennines to the Adriatic Coast and the Alps over the Po Valley.


ORGANIZATION
^^^^^^^^^^^^

Scientific directors:
* Marco Bernardo (U Urbino, IT)
* Rocco De Nicola (IMT Lucca, IT)
* Jane Hillston (U Edinburgh, UK)

Secretary:
* Monica Michelacci (CRU Bertinoro, IT)


APPLICATION
^^^^^^^^^^^

Prospective participants should send by 21 March 2016
the application form, available on the school website,
to the two e-mail addresses below:

Marco Bernardo
marco.bernardo AT uniurb.it

Monica Michelacci
mmichelacci AT ceub.it

The registration fee is 300 euros and includes the school material.

The accommodation fee is 350 euros and covers the period
June 19-25 (6 nights), double room (to share with another participant),
half board (breakfast and lunch from June 20, lunch of June 25 excluded).

The reduced accommodation fee for participants who do not need
a room is 100 euros and covers the period June 20-24 (5 lunches).

A very limited number of grants is available to cover
the registration fee (no grant can be requested
to cover the accommodation fee or the travel expenses).

Notification of accepted/rejected applications and
grant requests will be communicated by March 31.

Registration to the school, including payment of fees,
is due by April 20.

No refund is possible for cancellation after May 15.

--
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] [ANN] First Call for Papers - Erlang Workshop 2016

Apologies for any duplicates you may receive.


CALL FOR PAPERS
===============

Fifteenth ACM SIGPLAN Erlang Workshop
------------------------------

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

Nara, Japan, September 23, 2016
Satellite event of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016)
September 18-24, 2016

The Erlang Workshop aims to bring together the open source, academic,
and industrial communities of Erlang, to discuss technologies and
languages related to Erlang. The Erlang model of concurrent programming
has been widely emulated, for example by Akka in Scala, and even new
programming languages were designed atop of the Erlang VM, such as
Elixir. Therefore we would like to broaden the scope of the workshop to
include systems like those mentioned above.

The workshop will enable participants to familiarize themselves with
recent developments on new techniques and tools, novel applications,
draw lessons from users' experiences and identify research problems and
common areas relevant to the practice of Erlang, Erlang-like languages,
functional programming, distribution, concurrency etc.

We invite three types of submissions.

1. Technical papers describing interesting contributions either in
theoretical work or real world applications. Submission related to
Erlang, Elixir, Akka, CloudHaskell, Occam, and functional programming
are welcome and encouraged. Topics of interest include (but are not
limited to):

  - virtual machine extensions and compilation techniques
  - implementations and interfaces of Erlang in/with other languages
  - new tools (profilers, tracers, debuggers, testing frameworks etc.)
  - language extensions
  - formal semantics, correctness and verification
  - testing Erlang programs
  - program analysis and transformation
  - Erlang-like languages and technologies
  - functional languages and multi-processing
  - concurrency in functional languages
  - functional languages and distributed computing
  - parallel programming
  - pattern based programming
  - Erlang in education

The maximum length for technical papers is restricted to 12 pages.

2. Experience reports describing uses of Erlang in the "real-world",
Erlang libraries for specific tasks, experiences from using Erlang
in specific application domains, reusable programming idioms and
elegant new ways of using Erlang to approach or solve a particular
problem. The maximum length for the experience report is restricted
to 2 pages.

3. Poster presentations describing topics related to the workshop goals.
Each includes a maximum of 2 pages of the abstract and summary.
Presentations in this category will be given an hour of shared
simultaneous demonstration time.


Workshop Co-Chairs
------------------
Melinda Tóth, Eötvös Loránd University, Hungary
Scott Lystig Fritchie, Basho Japan KK

Program Committee
-----------------------------
(Note: the Workshop Co-Chairs are also committee members)

   Jamie Allen, Typesafe
   Laura M. Castro, University of  A Coruña, Spain
   Natalia Chechina, University of Glasgow
   Viktoria Fördős, Erlang Solutions
   Yosuke Hara, Rakuten, Inc.
   Kenji Rikitake, KRPEO
   Bruce Tate, iCanMakeItBetter
   Simon Thompson, University of Kent, UK


Important Dates
-----------------------
Submissions due: Friday, 3 June, 2016
Author notification: Friday, 8 July, 2016
Final copy due: Sunday, 31 July, 2016
Workshop date: September 23, 2016

Instructions to authors
--------------------------------
Papers must be submitted online via EasyChair (via the "Erlang2016"
event). The submission page is
https://www.easychair.org/conferences/?conf=erlang2016

Submitted papers should be in portable document format (PDF),
formatted using the ACM SIGPLAN style guidelines.

Each submission must adhere to SIGPLAN's republication policy.
Violation risks summary rejection of the offending submission.
Accepted papers will be published by the ACM and will appear in the
ACM Digital Library.

Paper submissions will be considered for poster submission in the case
they are not accepted as full papers.

Venue & Registration Details
------------------------------------------
For registration, please see the ICFP 2016 web site at:
http://conf.researchr.org/home/icfp-2016

Related Links
--------------------
CFP: http://conf.researchr.org/track/icfp-2016/erlang-2016-papers
ICFP 2016 web site: http://conf.researchr.org/home/icfp-2016
Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/
Open Source Erlang: http://www.erlang.org/
EasyChair submission site:
https://www.easychair.org/conferences/?conf=erlang2016
Author Information for SIGPLAN Conferences:
http://www.sigplan.org/authorInformation.htm
Atendee Information for SIGPLAN Events:
http://www.sigplan.org/Resources/Policies/Anti-harassment

--
You received this message because you are subscribed to a topic in the Google Groups "parallel-haskell" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/parallel-haskell/WWX6hYq0FpY/unsubscribe.
To unsubscribe from this group and all its topics, send an email to parallel-haskell+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Caml-list] [TFP 2016] 2nd call for papers

-----------------------------
C A L L F O R P A P E R S
-----------------------------

======== TFP 2016 ===========

17th Symposium on Trends in Functional Programming
June 8-10, 2016
University of Maryland, College Park
Near Washington, DC
http://tfp2016.org/


The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming, taking a broad view of current and future
trends in the area. It aspires to be a lively environment for
presenting the latest research results, and other contributions (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium. A
post-symposium refereeing process will then select a subset of these
articles for formal publication.

TFP 2016 will be the main event of a pair of functional programming
events. TFP 2016 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 7nd.


== INVITED SPEAKERS ==

TFP 2016 is pleased to announce keynote talks by the following two
invited speakers:

* Ronald Garcia, University of British Columbia
* Steve Zdancewic, University of Pennsylvania


== HISTORY ==

The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
* Edinburgh (Scotland) in 2003;
* Munich (Germany) in 2004;
* Tallinn (Estonia) in 2005;
* Nottingham (UK) in 2006;
* New York (USA) in 2007;
* Nijmegen (The Netherlands) in 2008;
* Komarno (Slovakia) in 2009;
* Oklahoma (USA) in 2010;
* Madrid (Spain) in 2011;
* St. Andrews (UK) in 2012;
* Provo (Utah, USA) in 2013;
* Soesterberg (The Netherlands) in 2014;
* and Inria Sophia-Antipolis (France) in 2015.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).


== SCOPE ==

The symposium recognizes that new trends may arise through various
routes. As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:

Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented. Applications of functional programming
techniques to other languages are also within the scope of the
symposium.

Topics suitable for the symposium include, but are not limited to:

Functional programming and multicore/manycore computing
Functional programming in the cloud
High performance functional computing
Extra-functional (behavioural) properties of functional programs
Dependently typed functional programming
Validation and verification of functional programs
Debugging and profiling for functional languages
Functional programming in different application areas:
security, mobility, telecommunications applications, embedded
systems, global computing, grids, etc.
Interoperability with imperative programming languages
Novel memory management techniques
Program analysis and transformation techniques
Empirical performance studies
Abstract/virtual machines and compilers for functional languages
(Embedded) domain specific languages
New implementation strategies
Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2016 program chair, David Van Horn.


== BEST PAPER AWARDS ==

To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.

TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.

In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, that paper will then receive
both prizes.


== SPONSORS ==

TFP is financially supported by CyberPoint, Galois, Trail of Bits, and
the University of Maryland Computer Science Department.


== PAPER SUBMISSIONS ==

Acceptance of articles for presentation at the symposium is based on a
lightweight peer review process of extended abstracts (4 to 10 pages
in length) or full papers (20 pages). The submission must clearly
indicate which category it belongs to: research, position, project,
evaluation, or overview paper. It should also indicate which authors
are research students, and whether the main author(s) are students. A
draft paper for which ALL authors are students will receive additional
feedback by one of the PC members shortly after the symposium has
taken place.

We use EasyChair for the refereeing process. Papers must be submitted at:

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

Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site:

http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0


== IMPORTANT DATES ==

Submission of draft papers: April 8, 2016
Notification: April 15, 2016
Registration: May 13, 2016
TFP Symposium: June 8-10, 2016
Student papers feedback: June 14, 2016
Submission for formal review: July 14, 2016
Notification of acceptance: September 14, 2016
Camera ready paper: October 14, 2016


== PROGRAM COMMITTEE ==

Amal Ahmed Northeastern University (US)
Nada Amin École Polytechnique Fédérale de Lausanne (CH)
Kenichi Asai Ochanomizu University (JP)
Malgorzata Biernacka University of Wroclaw (PL)
Laura Castro University of A Coruña (ES)
Ravi Chugh University of Chicago (US)
Silvia Ghilezan University of Novi Sad (SR)
Clemens Grelck University of Amsterdam (NL)
John Hughes Chalmers University of Technology (SE)
Suresh Jagannathan Purdue University (US)
Pieter Koopman Radboud University Nijmegen (NL)
Geoffrey Mainland Drexel University (US)
Chris Martens University of California, Santa Cruz (US)
Jay McCarthy University of Massachusetts, Lowell (US)
Heather Miller École Polytechnique Fédérale de Lausanne (CH)
Manuel Serrano INRIA, Sophia-Antipolis (FR)
Scott Smith Johns Hopkins University (US)
Éric Tanter University of Chile (CL)
David Van Horn (Chair) University of Maryland (US)
Niki Vazou University of California, San Diego (US)
Stephanie Weirich University of Pennsylvania (US)


--
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