Hello -cafe,
the Italian Haskell Community (http://haskell-ita.it/) is happy to
announce its autumn Haskell meetup!
The event is going to be hosted in Bologna, on November 19th.
The meeting will be in italian; we are going to form small
groups/projects, to see Haskell in action and to share knowledge and
opinions on functional programming.
Everyone, experienced or not, is welcome, just make sure to have
a laptop and a working Haskell environment!
For a more detailed description of the event and to register, check:
https://www.metooo.io/e/haskell-day-bologna
(further information in italian follows)
-----
- Dove: Bologna, Giardini Margherita, nella struttura "La Gabbia del
Leone" (http://leserre.kilowatt.bo.it/gabbia-del-leone/) presso "Le
Serre dei Giardini".
- Quando: Sabato 19 Novembre, dalle 10:00 alle 18:00.
- Chi: chiunque sia interessato alla programmazione funzionale,
indipendentemente dal suo livello di esperienza.
- Cosa faremo: lavoreremo in gruppi (2-6 persone circa) su diversi progetti.
Ogni persona può scegliere il progetto che vuole, saranno date delle
indicazioni sul livelo di conoscienza richiesto per contribuire. Lo
scopo è provare a utilizzare Haskell per un progetto concreto, "toccare
con mano" il modo che hanno altri di lavorare e di condividere le
esperienze nelle numerose pause di gruppo. Lo scopo è puramente
didattico, quindi nessuna ansia.
- Cosa portare: un computer portatile e un ambiente Haskell configurato.
- Come arrivare: dalla Stazione Centrale dei Treni di Bologna, prendere
l'autobus 33 (frequenza 15 minuti) e scendere alla fermata "Giardini
Margherita" e/o "Porta Santo Stefano" (circa 20 minuti di viaggio).
Entrare nei Giardini Margherita, dall'ingresso di Via Castiglione 136 o
Via Polischi 9, e recarsi presso "Le Serre dei Giardini", alla struttura
"La Gabbia del Leone" (http://leserre.kilowatt.bo.it/gabbia-del-leone/)
- Grazie a chi: all'associazione [Kilowatt](http://kilowatt.bo.it/about) che
ha messo a disposizione gratuitamente la sala.
- Per iscriversi: https://www.metooo.io/e/haskell-day-bologna
SPIN 2017
24th International Symposium on Model Checking of Software
Santa Barbara, CA, USA, July 13-14, 2017
http://conf.researchr.org/home/spin-2017
Collocated with ISSTA
------------------------------
The SPIN symposium aims at bringing together researchers and practitioners
interested in automated tool-based techniques for the analysis of software
as well as models of software, for the purpose of verification and
validation. The symposium specifically focuses on concurrent software, but
does not exclude analysis of sequential software. Submissions are solicited
on theoretical results, novel algorithms, tool development, and empirical
evaluation.
History: The SPIN symposium originated as a workshop focusing on explicit
state model checking, specifically as related to the Spin model checker.
However, over the years it has evolved to a broadly scoped symposium for
software analysis using any automated techniques, including model checking,
automated theorem proving, symbolic execution, etc.
SPIN 2017 will be arranged as a ACM SIGSOFT event, collocated with the
International Symposium on Software Testing and Analysis (ISSTA 2017):
http://conf.researchr.org/home/issta-2017. An overview of the previous SPIN
symposia (and early workshops) can be found at:
http://spinroot.com/spin/symposia.
Topics of interest include, but are not limited to:
- Formal verification techniques for automated analysis of software
- Formal analysis for modeling languages, such as UML/state charts
- Formal specification languages, temporal logic, design-by-contract
- Model checking
- Automated theorem proving, including SAT and SMT
- Verifying compilers
- Abstraction and symbolic execution techniques
- Static analysis and abstract interpretation
- Combination of verification techniques
- Modular and compositional verification techniques
- Verification of timed and probabilistic systems
- Automated testing using advanced analysis techniques
- Combination of static and dynamic analyses
- Derivation of specifications, test cases, or other useful material via
formal analysis
- Case studies of interesting systems or with interesting results
- Engineering and implementation of software verification and analysis
tools
- Benchmark and comparative studies for formal verification and analysis
tools
- Formal methods education and training
- Insightful surveys or historical accounts on topics of relevance to
the symposium
------------------------------
Submission Guidelines
------------------------------
The contributions to SPIN 2017 will be published as ACM Proceedings, and
should be submitted in the ACM Conference Format:
https://www.acm.org/publications/proceedings-template.
With the exception of survey and history papers, submissions must be
original and should not have been published previously or be under
consideration for publication while being evaluated for this symposium.
We are soliciting two categories of papers:
- *Full Research Papers* describing fully developed work and complete
results (10 pages);
- *Short Papers* presenting tools, technology, experiences with lessons
learned, new ideas, work in progress with preliminary results, and novel
contributions to formal methods education (4 pages).
Papers should be submitted via the EasyChair SPIN 2017 submission website:
https://easychair.org/conferences/?conf=spin2017.
*Best Paper* awards will be given and announced at the conference.
A selection of papers will be invited to a special issue of the *International
Journal on Software Tools for Technology Transfer* (STTT).
------------------------------
Important Dates
------------------------------
- Paper Submission: February 10, 2017 (23:59:59 Anywhere on Earth)
- Author Notification : April 15, 2017
- Camera-Ready Paper: May 20, 2017
- Symposium : July 13-14, 2017
------------------------------
Program Chairs
------------------------------
- Hakan Erdogmus, Carnegie Mellon University, USA
- Klaus Havelund, NASA/Caltech Jet Propulsion Laboratory, USA
------------------------------
Awards Chair
------------------------------
- Corina Pasareanu, NASA Ames Research Center, USA
------------------------------
Program Committee
------------------------------
- Erika Abraham, RWTH Aachen University, Germany
- Christel Baier, Technical University of Dresden, Germany
- Tom Ball, Microsoft Research, USA
- Ezio Bartocci, Vienna University of Technology, Austria
- Dirk Beyer, Ludwig-Maximilians-Universität München (LMU Munich),
Germany
- Armin Biere, Johannes Kepler University, Austria
- Dragan Bosnacki, Eindhoven University of Technology, Netherlands
- Zmago Brezocnik, University of Maribor, Slovenia
- Sagar Chaki, Software Engineering Institute CMU, USA
- Alessandro Cimatti, Fondazione Bruno Kessler, Italy
- Lucas Cordeiro, University of Oxford, UK
- Patrice Godefroid, Microsoft Research, USA
- Susanne Graf, VERIMAG Laboratory, France
- Radu Grosu, Vienna University of Technology, Austria
- Arie Gurfinkel, University of Waterloo, USA
- Gerard Holzmann, NASA/Caltech Jet Propulsion Laboratory, USA
- Sarfraz Khurshid, The University of Texas at Austin, USA
- Kim Larsen, Aalborg University, Denmark
- Stefan Leue, University of Konstanz, Germany
- Alice Miller, University of Glasgow, Scotland
- Corina Pasareanu, NASA Ames Research Center, USA
- Doron Peled, Bar Ilan University, Israel
- Neha Rungta, NASA Ames Research Center, USA
- Theo Ruys, RUwise, Netherlands
- Scott Smolka, Stony Brook University, USA
- Scott Stoller, Stony Brook University, United States
- Jun Sun, Singapore University of Technology and Design, Singapore
- Oksana Tkachuk, NASA Ames Research Center, USA
- Stavros Tripakis, University of California, Berkeley, USA
- Willem Visser, Stellenbosch University, South Africa
- Farn Wang, National Taiwan University, Taiwan
- Michael Whalen, University of Minnesota, USA
- Anton Wijs, Eindhoven University of Technology, Netherlands
Dear all,
A final reminder for the conference below.
This November marks 100 years since the birth of Christopher Strachey. We are holding a symposium to celebrate his life and research in Oxford on Saturday 19th November. There will also be an exhibition of material from the Strachey archive on Friday 18th November, followed by a banquet dinner at Hertford College on the evening of Friday 18th November.
For more information and to register for attendance, please go to http://www.cs.ox.ac.uk/strachey100/.
-------------------------------
Christopher Strachey (1916–1975) was a pioneering computer scientist and the founder of the Programming Research Group, now part of the Department of Computer Science at Oxford University. Although Strachey was keenly interested in the practical aspects of computing, it is in the theoretical side that he most indelibly left his mark, notably by creating with Dana Scott the denotational (or as he called it, ‘mathematical’) approach to defining the semantics of programming languages. Strachey also spent time writing complex programs and puzzles for various computers, such as a draughts playing program for the Pilot ACE in 1951. He developed some fundamental concepts of machine-independent operating systems, including an early suggestion for time-sharing, and was a prime mover in the influential CPL programming language. Strachey came from a notable family of intellectuals and artists, perhaps most famous for Christopher’s uncle Lytton, a writer and member of the Bloomsbury group.
We will be marking the occasion of 100 years since Christopher Strachey's birth on Saturday 19th November 2016, three days after his birthday, with a symposium of invited speakers. The morning will look back at Strachey’s life and works from a historical and technical perspective, and the afternoon will concern the future of Strachey-inspired theoretical computer science at Oxford University. There will also be a display of related archival material on Friday 18th November for anyone interested, and a banquet dinner at Hertford College on the evening of Friday 18th November.
Hope to see many of you there.
Best,
Troy Astarte
CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS
ICFP 2017
22nd ACM SIGPLAN International Conference on Functional Programming
September 3-9, 2017
Oxford, United Kingdom
http://conf.researchr.org/home/icfp-2017
The 22nd ACM SIGPLAN International Conference on Functional Programming
will be held in Oxford, United Kingdom on September 3-9, 2017. ICFP
provides a forum for researchers and developers to hear about the latest
work on the design, implementations, principles, and uses of functional
programming.
Proposals are invited for workshops (and other co-located events, such
as tutorials) to be affiliated with ICFP 2017 and sponsored by
SIGPLAN. These events should be less formal and more focused than ICFP
itself, include sessions that enable interaction among the attendees,
and foster the exchange of new ideas. The preference is for one-day
events, but other schedules can also be considered.
The workshops are scheduled to occur on September 3 (the day
before ICFP) and September 7-9 (the three days after ICFP).
----------------------------------------------------------------------
Submission details
Deadline for submission: November 19, 2016
Notification of acceptance: December 18, 2016
Prospective organizers of workshops or other co-located events are
invited to submit a completed workshop proposal form in plain text
format to the ICFP 2017 workshop co-chairs
(David Christiansen and Andres Loeh), via email to
icfp2017-workshops(a)googlegroups.com
by November 19, 2016. (For proposals of co-located events other than
workshops, please fill in the workshop proposal form and just leave
blank any sections that do not apply.) Please note that this is a firm
deadline.
Organizers will be notified if their event proposal is accepted by
December 18, 2016, and if successful, depending on the event, they
will be asked to produce a final report after the event has taken
place that is suitable for publication in SIGPLAN Notices.
The proposal form is available at:
http://www.icfpconference.org/icfp2017-files/icfp17-workshops-form.txt
Further information about SIGPLAN sponsorship is available at:
http://www.sigplan.org/Resources/Proposals/Sponsored/
----------------------------------------------------------------------
Selection committee
The proposals will be evaluated by a committee comprising the
following members of the ICFP 2017 organizing committee, together with
the members of the SIGPLAN executive committee.
Workshop Co-Chair: David Christiansen (Indiana University)
Workshop Co-Chair: Andres Loeh (Well-Typed LLP)
General Chair: Jeremy Gibbons (University of Oxford)
Program Chair: Mark Jones (Portland State University)
----------------------------------------------------------------------
Further information
Any queries should be addressed to the workshop co-chairs
(David Christiansen and Andres Loeh), via email to
icfp2017-workshops(a)googlegroups.com
