(sorry for multiple copies)
AiML-2016: 1ST CALL FOR PAPERS
11TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC
BUDAPEST, 29 AUGUST -- 2 SEPTEMBER 2016
http://phil.elte.hu/aiml2016/
Advances in Modal Logic is an initiative aimed at presenting
the state of the art in modal logic and its various applications. The
initiative consists of a conference series together with volumes based
on the conferences. Information about the AiML series can be obtained
at http://www.aiml.net. AiML-2016 is the 11th conference in the series.
TOPICS
We invite submission on all aspects of modal logic, including:
- history of modal logic
- philosophy of modal logic
- applications of modal logic
- computational aspects of modal logic (complexity and decidability of
modal and temporal logics, modal and temporal logic programming,
model checking, model generation, theorem proving for modal logics)
- theoretical aspects of modal logic (algebraic/categorical perspectives
on modal logic, coalgebraic modal logic, completeness and canonicity,
correspondence and duality theory, many-dimensional modal logics,
modal fixed point logics, model theory of modal logic, proof theory
of modal logic)
- specific instances and variations of modal logic (description logics,
modal logics over non-boolean bases, dynamic logics and other process
logics, epistemic and deontic logics, modal logics for agent-based
systems, modal logic and game theory, modal logic and grammar
formalisms, provability and interpretability logics, spatial and
temporal logics, hybrid logic, intuitionistic logic, substructural
logics, computationally light fragments of all such logics)
Papers on related subjects will also be considered.
PAPER SUBMISSIONS
There will be two types of submissions to AiML-2016:
(1) Full papers for publication in the proceedings and presentation at the
conference.
(2) Short presentations intended for presentation at the conference
but not for the published proceedings.
Both types of papers should be submitted electronically using the
EasyChair submission page at
https://easychair.org/conferences/?conf=aiml16
At least one author of each accepted paper or short presentation must
register for and attend the conference.
(1) FULL PAPERS
Authors are invited to submit, for presentation at the conference and
publication in the proceedings, full papers reporting on original
research and not submitted elsewhere. The proceedings of AiML-2016 will
be published by College Publications
http://www.collegepublications.co.uk
in a volume to be made available at the conference.
The submissions should be at most 15 pages, with an optional technical
appendix of up to 5 pages, together with a plain-text abstract of
100-200 words. The submissions must be typeset in LaTeX, using the style
files and template that will be provided on the AiML-2016 website
http://phil.elte.hu/aiml2016/ in due time.
We also ask authors of full papers to submit the abstract in plain
text via EasyChair by 10 March.
(2) SHORT PRESENTATIONS.
These should be at most 5 pages. They may describe preliminary
results, work in progress etc., and will be subject to light reviewing.
The accepted submissions will be made available at the conference, and the
authors will have the opportunity to give short presentations
(of up to 15 minutes) on them.
INVITED SPEAKERS INCLUDE:
Kit Fine (New York University, USA)
Sonja Smets (ILLC, Universiteit van Amsterdam)
Yde Venema (ILLC, Universiteit van Amsterdam)
LOCAL ORGANIZING COMMITTEE
Tamas Bitai (Eotvos University, Budapest, Hungary)
Reka Markovich (Eotvos University, Budapest, Hungary)
Andras Mate (Eotvos University, Budapest, Hungary)
Péter Mekis (Eotvos University, Budapest, Hungary)
Attila Molnar (Eotvos University, Budapest, Hungary)
Gergely Szekely (Alfred Rényi Institute of Mathematics, Hungarian Academy of Sciences)
PROGRAMME COMMITTEE
Natasha Alechina (University of Nottingham)
Carlos Areces (FaMAF, Universidad Nacional de Córdoba)
Philippe Balbiani (IRIT, Toulouse, France)
Alexandru Baltag (FNWI ILLC)
Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences in Moscow)
Thomas Bolander (Technical University of Denmark)
Torben Brauner (Roskilde University, Denmark)
Serenella Cerrito (Laboratoire IBISC, Evry France)
Stéphane Demri (LSV, CNRS, ENS Cachan)
David Fernandez-Duque (Instituto Tecnológico Autónomo de México)
Melvin Fitting (Lehman College, CUNY, USA)
David Gabelaia (gabelaia at gmail dot com) (The Free University of Tbilisi, Tbilisi, Georgia)
Silvio Ghilardi (Università degli Studi di Milano, Italy)
Valentin Goranko (Stockholm University)
Rajeev Gore (The Australian National University)
Andreas Herzig (IRIT, Toulouse, France)
Rosalie Iemhoff (Utrecht University)
Agi Kurucz (King's College London)
Roman Kuznets (TU Wien)
Martin Lange (University of Kassel, Germany)
Carsten Lutz (Universität Bremen)
Andras Mate (Eotvos University, Budapest, Hungary)
Angelo Montanari (University of Udine)
Larry Moss (Indiana University, USA)
Sergei Odintsov (Novosibirsk State University)
Hiroakira Ono (Japan Advanced Insitute of Science and Technology)
Mark Reynolds (The University of Western Australia)
Ilya Shapirovsky (Institute for the Information Transmission Problems)
Renate Schmidt (University of Manchester)
Valentin Shehtman (Institute for the Information Transmission Problems)
Thomas Studer (Universität Bern)
Heinrich Wansing (Ruhr University Bochum)
Michael Zakharyaschev (Birkbeck College London, UK)
PROGRAMME COMMITTEE CO-CHAIRS
Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences in Moscow)
Stephane Demri (LSV, CNRS, ENS Cachan)
IMPORTANT DATES
Abstracts of full papers submission deadline: 10 March 2016
Full papers submission deadline: 17 March 2016
Full papers acceptance notification: 14 May 2016
Short presentations submission deadline: 16 May 2016
Short presentations acceptance notification: 30 May 2016
Final version of full papers and short presentations due: 8 June 2016
Conference: 29 August -- 2 September 2016
FURTHER INFORMATION. Please see http://phil.elte.hu/aiml2016/?page=call_for_papers
ENQUIRIES. E-mail enquiries should be directed to the PC co-chairs,
sent to aiml16@easychair.org
--
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
2016-01-12
[Caml-list] MSFP 2016: Final Call for Papers
Sixth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
8 April 2016, in Eindhoven, The Netherlands
A satellite workshop of ETAPS 2016
http://msfp2016.bentnib.org/
NOTE: the deadline for paper submissions has been extended by one day
to:
*Monday 18th January*
Prior submission of an abstract is not required
The sixth 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.
Important Dates:
================
Submission 18th January 2016
Notification 17th February 2016
Final version 24th February 2016
Workshop 8th April 2016
Invited Speakers:
=================
To be announced.
Program Committee:
==================
Zena Ariola, University of Oregon
Robert Atkey, University of Strathclyde (co-chair)
Ornela Dardha, University of Glasgow
Helle Hvid Hansen, Delft University of Technology
Chantal Keller, IUT d'Orsay
Neelakantan Krishnaswami, University of Birmingham (co-chair)
Nicolas Wu, University of Bristol
Submission:
===========
Papers 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, and will
be published under the auspices of EPTCS under a Creative Commons
license.
There is no specific page limit, but authors should strive for brevity.
--
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
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
8 April 2016, in Eindhoven, The Netherlands
A satellite workshop of ETAPS 2016
http://msfp2016.bentnib.org/
NOTE: the deadline for paper submissions has been extended by one day
to:
*Monday 18th January*
Prior submission of an abstract is not required
The sixth 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.
Important Dates:
================
Submission 18th January 2016
Notification 17th February 2016
Final version 24th February 2016
Workshop 8th April 2016
Invited Speakers:
=================
To be announced.
Program Committee:
==================
Zena Ariola, University of Oregon
Robert Atkey, University of Strathclyde (co-chair)
Ornela Dardha, University of Glasgow
Helle Hvid Hansen, Delft University of Technology
Chantal Keller, IUT d'Orsay
Neelakantan Krishnaswami, University of Birmingham (co-chair)
Nicolas Wu, University of Bristol
Submission:
===========
Papers 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, and will
be published under the auspices of EPTCS under a Creative Commons
license.
There is no specific page limit, but authors should strive for brevity.
--
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
Re: [Caml-list] [[qest-announce] ] SFM-16:QUANTICOL first call for participation (Bertinoro, 20-24 June 2016)
thank you for invitation
i offer a keynote talk on topics of my videolecture
Zaitsev D.A. Petri Nets for Modeling and Computing: Videolecture. USA: IGI-Global, August, 2015, 2 hrs 25 mins.
http://www.igi-global.com/video/petri-nets-modeling-computing/135018
Sincerely,
Dmitry Zaitsev
Dr.Sci., Professor
Senior Member of the IEEE and ACM
http://daze.ho.ua
Sincerely,
Dmitry Zaitsev
Dr.Sci., Professor
Senior Member of the IEEE and ACM
http://daze.ho.ua
i offer a keynote talk on topics of my videolecture
Zaitsev D.A. Petri Nets for Modeling and Computing: Videolecture. USA: IGI-Global, August, 2015, 2 hrs 25 mins.
http://www.igi-global.com/video/petri-nets-modeling-computing/135018
Sincerely,
Dmitry Zaitsev
Dr.Sci., Professor
Senior Member of the IEEE and ACM
http://daze.ho.ua
Понедельник, 11 января 2016, 17:12 +01:00 от Marco Bernardo <bernardo@sti.uniurb.it>:
* *
* 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)
"Tool Support for Collective Adaptive Systems Modeling"
Mirco Tribastone (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.
Sincerely,
Dmitry Zaitsev
Dr.Sci., Professor
Senior Member of the IEEE and ACM
http://daze.ho.ua
2016-01-11
[Caml-list] SFM-16:QUANTICOL first 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)
"Tool Support for Collective Adaptive Systems Modeling"
Mirco Tribastone (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
* *
* 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)
"Tool Support for Collective Adaptive Systems Modeling"
Mirco Tribastone (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
2016-01-05
[Caml-list] ETAPS 2016 satellite workshops joint call for papers
Joint Call for Papers
ETAPS 2016 Satellite Workshops
Eindhoven, The Netherlands, 2-3 and 8 April 2016
http://www.etaps.org/2016/workshops
ETAPS, the European Joint Conferences on Theory and Practice of
Software, is the primary European forum for academic and industrial
researchers working on topics relating to Software Science. The
nineteenth edition, ETAPS 2016, will take place in Eindhoven, The
Netherlands, 2-8 April 2016, and covers besides the main conferences
ESOP, FASE, FOSSACS, POST and TACAS, a large number of satellite
workshops and other events in the fields of Software Engineering,
Formal Methods, Logics of Programs and the Theory of Computation.
This is the joint call for papers for ETAPS 2016 for 21 satellite
workshops with open calls.
ETAPS satellite workshops will take place in the weekend of
Saturday-Sunday, 2-3 April, before the ETAPS main conferences, and on
Friday, 8 April, after them. For more information on ETAPS 2016, see
http://www.etaps.org/2016/.
Bx 2016: 5th International Workshop on Bidirectional Transformations,
8 April, organized by Anthony Anjorin, Jeremy Gibbons, and Perdita
Stevens. Submission deadlines: abstracts 13 January / papers 20
January. See http://bx-community.wikidot.com/bx2016:home.
CASSTING 2016: Workshop on Games for the Synthesis of Complex Systems,
2-3 April, organized by Thomas Brihaye and Nicolas Markey. Submission
deadlines: papers 15 January; presentation extended abstracts 8
February. See http://www.cassting-project.eu/workshop2016/.
CMCS 2016: 13th International Workshop on Coalgebraic Methods in
Computer Science, 2-3 April, organized by Ichiro Hasuo. Submission
deadlines: abstracts 4 January / papers 13 January; short
contributions 22 February. See http://www.coalg.org/cmcs16/.
CREST 2016: 1st Workshop on Causal Reasoning for Embedded and
safety-critical Systems Technologies, 8 April, organized by Gregor
Gößler, Oleg Sokolsky. Submission deadlines: abstracts 10 January /
papers 17 January. See http://crest2016.inria.fr/.
DICE 2016: 7th International Workshop on Developments in Implicit
Computational complExity, 2-3 April, organized by Damiano
Mazza. Submission deadline: extended abstracts 31 January. See
https://lipn.univ-paris13.fr/DICE2016/.
FESCA 2016: 13th International Workshop on Formal Engineering
approaches to Software Components and Architectures, 3 April,
organized by Jan Kofroň, Jana Tumova, Barbora Buhnova. Submission
deadlines: abstracts 4 January / papers 14 January. See
http://d3s.mff.cuni.cz/conferences/fesca/.
FMSPLE 2016: 7th International Workshop on Formal Methods and Analysis
in Software Product Line Engineering, 3 April, organized by Julia
Rubin, Thomas Thüm. Submission deadlines: abstracts 18 January /
papers 25 January. See
https://www.tu-braunschweig.de/isf/events/fmsple16.
GaLoP 2016: Games for Logic and Programming Languages XI, 2-3 April,
organized by Paul Levy. Submission deadline: 1-page abstracts 25
January. See http://www.gamesemantics.org/.
GaM 2016: 2nd Graphs as Models Workshop, 2-3 April, organized by Anton
Wijs, Aleks Kissinger, and Alexander Heußner. Submission deadline:
papers, informal presentation and tool demos abstracts 15 January. See
http://gam2016.swt-bamberg.de/.
HCVS 2016: 3rd Workshop on Horn Clauses for Verification and
Synthesis, 3 April, organized by John Gallagher and Philipp
Rümmer. Submission deadlines: abstracts 25 January / papers,
presentation extended abstracts 1 February. See
http://hcvs2016.it.uu.se/.
HotSpot 2016: 4th Workshop on Hot Issues in Security Principles and
Trust, 3 April, organized Veronique Cortier. Submission deadline:
papers 8 January. See
http://www.loria.fr/~cortier/HotSpot2016/.
MBT 2016: 11th Workshop on Model-Based Testing, 3 April, organized by
Alexander K. Petrenko, Holger Schlingloff, and Nikolay Pakulin.
MSFP 2016: 6th Workshop on Mathematically Structured Functional
Programming, 8 April, organized by Robert Atkey and Neelakantan
Krishnaswami. Submission deadlines: abstracts 10 January / papers 17
January. See http://msfp2016.bentnib.org/.
PLACES 2016: 9th Workshop on Programming Language Approaches for
Concurrency and Communication-cEntric Software, 8 April, organized by
Dominic Orchard and Nobuko Yoshida. Submission deadlines: abstracts 8
January / extended abstracts 15 January. See
http://places16.by.di.fc.ul.pt.
QAPL 2016: 14th International Workshop on Quantitative Aspects of
Programming Languages and Systems, 2-3 April, organized by Mirco
Tribastone and Herbert Wiklicky. Submission deadline: papers 18
January. See http://qapl16.doc.ic.ac.uk/.
RAC 2016: First international workshop on Resource Aware Computing, 2
April, organized by Kerstin Eder and Marko van Eekelen. Submission
deadline: papers 11 January. See
http://resourceanalysis.cs.ru.nl/rac2016/.
SynCop 2016: 3rd International Workshop on Synthesis of Complex
Parameters, 3 April, organized by Étienne André and Benoît
Delahaye. Submission deadlines: abstracts 10 January / papers 17
January. See http://lipn.univ-paris13.fr/SynCoP2016/.
TermGraph 2016: 9th International Workshop on Computing with Terms and
Graphs, 8 April, organized by Andrea Corradini and Hans
Zantema. Submission deadline: extended abstracts 8 February. See
http://www.win.tue.nl/~hzantema/tg.html.
VerifyThis 2016: 5th Verification Competition, 2 April, organized by
Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, and Peter
Müller. See http://etaps2016.verifythis.org/.
VPT 2016: 4th International Workshop on Verification and Program
Transformation, 2 April, organized by Geoff Hamilton, Andrei Nemytykh,
and Alexei Lisitsa. Submission deadlines: abstracts 11 January / papers
18 January. See http://refal.botik.ru/vpt/vpt2016/.
WRLA 2016: 11th International Workshop on Rewriting Logic, 2-3 April,
organized by Dorel Lucanu. Submission deadlines: abstracts 6 January /
papers 10 January. See
http://fmse.info.uaic.ro/events/WRLA2016/.
ETAPS 2016 workshops chair: Erik de Vink, TU Eindhoven
--
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
ETAPS 2016 Satellite Workshops
Eindhoven, The Netherlands, 2-3 and 8 April 2016
http://www.etaps.org/2016/workshops
ETAPS, the European Joint Conferences on Theory and Practice of
Software, is the primary European forum for academic and industrial
researchers working on topics relating to Software Science. The
nineteenth edition, ETAPS 2016, will take place in Eindhoven, The
Netherlands, 2-8 April 2016, and covers besides the main conferences
ESOP, FASE, FOSSACS, POST and TACAS, a large number of satellite
workshops and other events in the fields of Software Engineering,
Formal Methods, Logics of Programs and the Theory of Computation.
This is the joint call for papers for ETAPS 2016 for 21 satellite
workshops with open calls.
ETAPS satellite workshops will take place in the weekend of
Saturday-Sunday, 2-3 April, before the ETAPS main conferences, and on
Friday, 8 April, after them. For more information on ETAPS 2016, see
http://www.etaps.org/2016/.
Bx 2016: 5th International Workshop on Bidirectional Transformations,
8 April, organized by Anthony Anjorin, Jeremy Gibbons, and Perdita
Stevens. Submission deadlines: abstracts 13 January / papers 20
January. See http://bx-community.wikidot.com/bx2016:home.
CASSTING 2016: Workshop on Games for the Synthesis of Complex Systems,
2-3 April, organized by Thomas Brihaye and Nicolas Markey. Submission
deadlines: papers 15 January; presentation extended abstracts 8
February. See http://www.cassting-project.eu/workshop2016/.
CMCS 2016: 13th International Workshop on Coalgebraic Methods in
Computer Science, 2-3 April, organized by Ichiro Hasuo. Submission
deadlines: abstracts 4 January / papers 13 January; short
contributions 22 February. See http://www.coalg.org/cmcs16/.
CREST 2016: 1st Workshop on Causal Reasoning for Embedded and
safety-critical Systems Technologies, 8 April, organized by Gregor
Gößler, Oleg Sokolsky. Submission deadlines: abstracts 10 January /
papers 17 January. See http://crest2016.inria.fr/.
DICE 2016: 7th International Workshop on Developments in Implicit
Computational complExity, 2-3 April, organized by Damiano
Mazza. Submission deadline: extended abstracts 31 January. See
https://lipn.univ-paris13.fr/DICE2016/.
FESCA 2016: 13th International Workshop on Formal Engineering
approaches to Software Components and Architectures, 3 April,
organized by Jan Kofroň, Jana Tumova, Barbora Buhnova. Submission
deadlines: abstracts 4 January / papers 14 January. See
http://d3s.mff.cuni.cz/conferences/fesca/.
FMSPLE 2016: 7th International Workshop on Formal Methods and Analysis
in Software Product Line Engineering, 3 April, organized by Julia
Rubin, Thomas Thüm. Submission deadlines: abstracts 18 January /
papers 25 January. See
https://www.tu-braunschweig.de/isf/events/fmsple16.
GaLoP 2016: Games for Logic and Programming Languages XI, 2-3 April,
organized by Paul Levy. Submission deadline: 1-page abstracts 25
January. See http://www.gamesemantics.org/.
GaM 2016: 2nd Graphs as Models Workshop, 2-3 April, organized by Anton
Wijs, Aleks Kissinger, and Alexander Heußner. Submission deadline:
papers, informal presentation and tool demos abstracts 15 January. See
http://gam2016.swt-bamberg.de/.
HCVS 2016: 3rd Workshop on Horn Clauses for Verification and
Synthesis, 3 April, organized by John Gallagher and Philipp
Rümmer. Submission deadlines: abstracts 25 January / papers,
presentation extended abstracts 1 February. See
http://hcvs2016.it.uu.se/.
HotSpot 2016: 4th Workshop on Hot Issues in Security Principles and
Trust, 3 April, organized Veronique Cortier. Submission deadline:
papers 8 January. See
http://www.loria.fr/~cortier/HotSpot2016/.
MBT 2016: 11th Workshop on Model-Based Testing, 3 April, organized by
Alexander K. Petrenko, Holger Schlingloff, and Nikolay Pakulin.
MSFP 2016: 6th Workshop on Mathematically Structured Functional
Programming, 8 April, organized by Robert Atkey and Neelakantan
Krishnaswami. Submission deadlines: abstracts 10 January / papers 17
January. See http://msfp2016.bentnib.org/.
PLACES 2016: 9th Workshop on Programming Language Approaches for
Concurrency and Communication-cEntric Software, 8 April, organized by
Dominic Orchard and Nobuko Yoshida. Submission deadlines: abstracts 8
January / extended abstracts 15 January. See
http://places16.by.di.fc.ul.pt.
QAPL 2016: 14th International Workshop on Quantitative Aspects of
Programming Languages and Systems, 2-3 April, organized by Mirco
Tribastone and Herbert Wiklicky. Submission deadline: papers 18
January. See http://qapl16.doc.ic.ac.uk/.
RAC 2016: First international workshop on Resource Aware Computing, 2
April, organized by Kerstin Eder and Marko van Eekelen. Submission
deadline: papers 11 January. See
http://resourceanalysis.cs.ru.nl/rac2016/.
SynCop 2016: 3rd International Workshop on Synthesis of Complex
Parameters, 3 April, organized by Étienne André and Benoît
Delahaye. Submission deadlines: abstracts 10 January / papers 17
January. See http://lipn.univ-paris13.fr/SynCoP2016/.
TermGraph 2016: 9th International Workshop on Computing with Terms and
Graphs, 8 April, organized by Andrea Corradini and Hans
Zantema. Submission deadline: extended abstracts 8 February. See
http://www.win.tue.nl/~hzantema/tg.html.
VerifyThis 2016: 5th Verification Competition, 2 April, organized by
Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, and Peter
Müller. See http://etaps2016.verifythis.org/.
VPT 2016: 4th International Workshop on Verification and Program
Transformation, 2 April, organized by Geoff Hamilton, Andrei Nemytykh,
and Alexei Lisitsa. Submission deadlines: abstracts 11 January / papers
18 January. See http://refal.botik.ru/vpt/vpt2016/.
WRLA 2016: 11th International Workshop on Rewriting Logic, 2-3 April,
organized by Dorel Lucanu. Submission deadlines: abstracts 6 January /
papers 10 January. See
http://fmse.info.uaic.ro/events/WRLA2016/.
ETAPS 2016 workshops chair: Erik de Vink, TU Eindhoven
--
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] MSFP 2016: Call for Papers
Sixth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
8 April 2016, in Eindhoven, The Netherlands
A satellite workshop of ETAPS 2016
http://msfp2016.bentnib.org/
The sixth 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.
Important Dates:
================
Abstract 10th January 2016
Submission 17th January 2016
Notification 17th February 2016
Final version 24th February 2016
Workshop 8th April 2016
Invited Speakers:
=================
To be announced.
Program Committee:
==================
Zena Ariola, University of Oregon
Robert Atkey, University of Strathclyde (co-chair)
Ornela Dardha, University of Glasgow
Helle Hvid Hansen, Delft University of Technology
Chantal Keller, IUT d'Orsay
Neelakantan Krishnaswami, University of Birmingham (co-chair)
Nicolas Wu, University of Bristol
Submission:
===========
Papers 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, and will
be published under the auspices of EPTCS under a Creative Commons
license.
There is no specific page limit, but authors should strive for brevity.
--
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
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
8 April 2016, in Eindhoven, The Netherlands
A satellite workshop of ETAPS 2016
http://msfp2016.bentnib.org/
The sixth 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.
Important Dates:
================
Abstract 10th January 2016
Submission 17th January 2016
Notification 17th February 2016
Final version 24th February 2016
Workshop 8th April 2016
Invited Speakers:
=================
To be announced.
Program Committee:
==================
Zena Ariola, University of Oregon
Robert Atkey, University of Strathclyde (co-chair)
Ornela Dardha, University of Glasgow
Helle Hvid Hansen, Delft University of Technology
Chantal Keller, IUT d'Orsay
Neelakantan Krishnaswami, University of Birmingham (co-chair)
Nicolas Wu, University of Bristol
Submission:
===========
Papers 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, and will
be published under the auspices of EPTCS under a Creative Commons
license.
There is no specific page limit, but authors should strive for brevity.
--
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
2016-01-04
[Caml-list] Compose Conference Call for Participation [NYC, Feb 4-5]
===============================================
Call for Participation
Compose Conference 2016
February 4-5, 2016
New York, NY
http://www.composeconference.org/
===============================================
The practice and craft of functional programming :: Conference
Compose is a conference for typed functional programmers, focused
specifically on Haskell, OCaml, F#, SML, and related technologies.
Typed functional programming has been taken up widely, by industry and
hobbyists alike. For many of us it has renewed our belief that code
should be beautiful, and that programming can be as enjoyable as it is
practical. Compose is about bringing together functional programmers
of all levels of skill and experience — from technical leads to
novices, and from long-time hackers to students just getting started.
It will feature a keynote by Eugenia Cheng on her work popularizing
mathematics, two days of great talks, and plans are underway for a
weekend hackathon/unconference.
* Invited Talks:
Eugenia Cheng: How to Bake 'How to Bake Pi': reflections on making
abstract mathematics palatable
* Local Information (venue): http://www.composeconference.org/2016/
* Accepted Talks and Tutorials
Aditya Siram: FLTKHS - Easy Native GUIs in Haskell, Today!
Austin Seipp: Cryptography and Verification with Cryptol
Kenneth Foner: 'There and Back Again' and What Happened After
Krzysztof Cieslak: Ionide and state of F# open source environment
Leonid Rozenberg: The Intersection of Machine Learning, Types and Testing
Luite Stegeman: Fun with GHCJSi
Markus Mottl: AD-OCaml - Parallel Algorithmic Differentiation for OCaml
Mindy Preston: Composing Network Operating Systems
Niki Vazou: Liquid Types for Haskell
Paulmichael Blasucci: (Nearly) Everything You Ever Wanted to Know
About F# Active Patterns but were Afraid to Ask
Rachel Reese: Chaos Testing at Jet
Riccardo Terrell: Functional Reactive Programming for Natural User Interface
Stephen Compall: Add a type parameter! One 'simple' design change, a
panoply of outcomes
Stephanie Weirich: Dynamic Typing in GHC
Tikhon Jelvis: Analyzing Programs with Z3
Zvonimir Pavlinovic, Tim King and Thomas Wies: Improving Type Error
Localization for Languages with Type Inference
* Full abstracts: http://www.composeconference.org/2016/speakers/
* Registration: http://composeconference.eventbrite.com
* Follow @composeconf on twitter for news: https://twitter.com/composeconf
* On freenode irc, chat will fellow attendees at #composeconference
* Corporate sponsorships are welcome. Current sponsors list forthcoming.
* Policies (diversity and anti-harassment):
http://www.composeconference.org/conduct
* Email us with any questions at info@composeconference.org
* Please forward this announcement to interested parties and lists.
Call for Participation
Compose Conference 2016
February 4-5, 2016
New York, NY
http://www.composeconference.org/
===============================================
The practice and craft of functional programming :: Conference
Compose is a conference for typed functional programmers, focused
specifically on Haskell, OCaml, F#, SML, and related technologies.
Typed functional programming has been taken up widely, by industry and
hobbyists alike. For many of us it has renewed our belief that code
should be beautiful, and that programming can be as enjoyable as it is
practical. Compose is about bringing together functional programmers
of all levels of skill and experience — from technical leads to
novices, and from long-time hackers to students just getting started.
It will feature a keynote by Eugenia Cheng on her work popularizing
mathematics, two days of great talks, and plans are underway for a
weekend hackathon/unconference.
* Invited Talks:
Eugenia Cheng: How to Bake 'How to Bake Pi': reflections on making
abstract mathematics palatable
* Local Information (venue): http://www.composeconference.org/2016/
* Accepted Talks and Tutorials
Aditya Siram: FLTKHS - Easy Native GUIs in Haskell, Today!
Austin Seipp: Cryptography and Verification with Cryptol
Kenneth Foner: 'There and Back Again' and What Happened After
Krzysztof Cieslak: Ionide and state of F# open source environment
Leonid Rozenberg: The Intersection of Machine Learning, Types and Testing
Luite Stegeman: Fun with GHCJSi
Markus Mottl: AD-OCaml - Parallel Algorithmic Differentiation for OCaml
Mindy Preston: Composing Network Operating Systems
Niki Vazou: Liquid Types for Haskell
Paulmichael Blasucci: (Nearly) Everything You Ever Wanted to Know
About F# Active Patterns but were Afraid to Ask
Rachel Reese: Chaos Testing at Jet
Riccardo Terrell: Functional Reactive Programming for Natural User Interface
Stephen Compall: Add a type parameter! One 'simple' design change, a
panoply of outcomes
Stephanie Weirich: Dynamic Typing in GHC
Tikhon Jelvis: Analyzing Programs with Z3
Zvonimir Pavlinovic, Tim King and Thomas Wies: Improving Type Error
Localization for Languages with Type Inference
* Full abstracts: http://www.composeconference.org/2016/speakers/
* Registration: http://composeconference.eventbrite.com
* Follow @composeconf on twitter for news: https://twitter.com/composeconf
* On freenode irc, chat will fellow attendees at #composeconference
* Corporate sponsorships are welcome. Current sponsors list forthcoming.
* Policies (diversity and anti-harassment):
http://www.composeconference.org/conduct
* Email us with any questions at info@composeconference.org
* Please forward this announcement to interested parties and lists.
Subscribe to:
Posts (Atom)