- Haskell - Haskell.org

ETAPS 2016 satellite workshops joint call for papers
by Tarmo Uustalu 05 Jan '16

05 Jan '16

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

1 0

NFM 2016 - second call for papers
by Klaus Havelund 05 Jan '16

05 Jan '16

NFM 2016 – Second Call For Papers THE 8TH NASA FORMAL METHODS SYMPOSIUM http://crisys.cs.umn.edu/nfm2016 June 07 - June 09 2016 McNamara Alumni Center University of Minnesota 200 Oak Street S.E., Minneapolis, MN 55455 THEME OF THE SYMPOSIUM The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and the industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. New developments and emerging applications like autonomous on-board software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for spacecraft ranging from small and inexpensive CubeSat systems to manned spacecraft like Orion, as well as for ground systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. TOPICS OF INTEREST INCLUDE BUT ARE NOT LIMITED TO * Model checking * Theorem proving * SAT and SMT solving * Symbolic execution * Static analysis * Model-based development * Runtime verification * Software and system testing * Safety assurance * Fault tolerance * Compositional verification * Security and intrusion detection * Design for verification and correct-by-design techniques * Techniques for scaling formal methods * Applications of formal methods in the development of: * autonomous systems * safety-critical artificial intelligence systems * cyber-physical, embedded, and hybrid systems * fault-detection, diagnostics, and prognostics systems * Use of formal methods in: * assurance cases * human-machine interaction analysis * requirements generation, specification, and validation * automated testing and verification IMPORTANT DATES - Paper Submission: 2/19/2016 - Paper Notifications: 4/8/2016 - Camera-ready Papers: 4/27/2016 - Symposium: 6/7 - 6/9/2016 LOCATION The symposium will take place at McNamara Alumni Center, University of Minnesota. Registration is required but is free of charge. SUBMISSION DETAILS There are two categories of submissions: 1. Regular papers describing fully developed work and complete results (maximum 15 pages) 2. Short papers on tools, experience reports, or work in progress with preliminary results (maximum 6 pages) All papers must be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by at least three members of the Program Committee. Papers will appear in a volume of Springer's Lecture Notes in Computer Science (LNCS), and must use LNCS style formatting. Papers must be submitted in PDF format at the EasyChair submission site: https://easychair.org/conferences/?conf=nfm2016 Authors of selected best papers may be invited to submit an extended version to a special issue of the Journal of Automated Reasoning (Springer). ORGANIZING COMMITTEE - Michael Lowry, NASA Ames Research Center, USA (NASA Liaison) - Johann Schumann, SGT, Inc./NASA Ames Research Center, USA (General Chair) - Oksana Tkachuk, SGT, Inc./NASA Ames Research Center, USA (PC Chair) - Sanjai Rayadurgam, University of Minnesota, USA (PC Chair) - Mike Whalen, University of Minnesota, USA (Financial Chair) - Mats Heimdahl, University of Minnesota, USA (Local Arrangements Chair) PROGRAM COMMITTEE - Julia Badger, NASA Johnson Space Center, USA - Clark Barrett, New York University, USA - Saddek Bensalem, Verimag and University Joseph Fourier, France - Dirk Beyer, University of Passau, Germany - Borzoo Bonakdarpour, McMaster University, Canada - Alessandro Cimatti, FBK, Italy - Darren Cofer, Rockwell Collins, Inc., USA - Myra Cohen, University of Nebraska-Lincoln, USA - Misty Davies, NASA Ames Research Center, USA - Leonardo de Moura, Microsoft, USA - Ben Di Vito, NASA Langley Research Center, USA - Alexandre Duret-Lutz, LRDE / EPITA, France - Andrew Gacek, Rockwell Collins, Inc., USA - Pierre-Loic Garoche, ONERA, France - Shalini Ghosh, SRI International, USA - Susanne Graf, Universite Joseph Fourier / CNRS / VERIMAG, France - Radu Grosu, Stony Brook University, USA - Arie Gurfinkel,SEI, Carnegie Mellon University, USA - Klaus Havelund, NASA Jet Propulsion Laboratory, USA - Constance Heitmeyer, Naval Research Laboratory, USA - Gerard Holzmann, NASA Jet Propulsion Laboratory, USA - Falk Howar, TU Clausthal / IPSSE, Germany - Rajeev Joshi, NASA Jet Propulsion Laboratory, USA - Dejan Jovanović, SRI International, USA - Gerwin Klein, NICTA and University of New South Wales, Australia - Daniel Kroening, University of Oxford, UK - Rahul Kumar, NASA Jet Propulsion Laboratory, USA - Célia Martinie, ICS-IRIT, Université Paul Sabatier, France - Eric Mercer, Brigham Young University, USA - Cesar Munoz, NASA Langley Research Center, USA - Jorge A Navas, SGT, Inc./NASA Ames Research Center, USA - Natasha Neogi, NASA Langley Research Center, USA - Ganesh Pai, SGT, Inc./NASA Ames Research Center, USA - Charles Pecheur, Université catholique de Louvain, Belgium - Lee Pike, Galois, Inc., USA - Andreas Podelski, University of Freiburg, Germany - Pavithra Prabhakar, Kansas State University, USA - Venkatesh Prasad Ranganath, Kansas State University, USA - Franco Raimondi, Middlesex University, UK - Kristin Yvonne Rozier, University of Cincinnati, USA - Neha Rungta, SGT, Inc./NASA Ames Research Center, USA - Oleg Sokolsky, University of Pennsylvania, USA - Stefano Tonetta, FBK, Italy - Helmut Veith, Vienna University of Technology, Austria - Willem Visser, Stellenbosch University, South Africa - Virginie Wiels, ONERA / DTIM, France - Guowei Yang, Texas State University, USA STEERING COMMITTEE - Julia Badger, NASA Johnson Space Center, USA - Ben Di Vito, NASA Langley Research Center, USA - Klaus Havelund, NASA Jet Propulsion Laboratory, USA - Gerard Holzmann, NASA Jet Propulsion Laboratory, USA - Michael Lowry, NASA Ames Research Center, USA - Kristin Yvonne Rozier, University of Cincinnati, USA - Johann Schumann, SGT, Inc./NASA Ames Research Center, USA

1 0

MSFP 2016: Call for Papers
by Bob Atkey 05 Jan '16

05 Jan '16

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.

1 0

Call for Papers (TASE 2016)
by Huibiao Zhu 04 Jan '16

04 Jan '16

10th International Symposium on Theoretical Aspects of Software Engineering Call for Papers TASE 2016 July 17-19, 2016, Shanghai, China http://tase2016.ecnu.edu.cn * We are pleased to announce that the authors of selected papers will be invited after the symposium to submit an extended version to a special issue at Science of Computer Programming (SCP). * Important dates Abstract research paper 10 January 2016 Submission research paper 17 January 2016 Author notification 20 March 2016 Camera ready copy 10 April 2016 * Objectives and scope TASE is an international symposium that aims to bring together researchers and developers from academia and industry with interests in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invite submissions of research papers on topics covering all theoretical aspects of software engineering, including, but not limited to, the following: + Abstract interpretation + Algebraic and co-algebraic specifications + Aspect oriented software + Component-based systems + Cyber-physical systems + Deductive verification + Distributed and concurrent systems + Embedded and real-time systems + Feature-oriented software + Formal verification and program semantics + Integration of formal methods + Language design + Model checking and theorem proving + Object-oriented systems + Program logics and calculi + Quantum computation + Run-time verification and monitoring + Service-oriented and cloud computing + Software architecture + Software testing and quality assurance + Software security and reliability + Static analysis of programs + Type systems and behavioural typing + Tools exploiting theoretical results * Venue and event TASE 2016 will be held on the campus of the East China Normal University in Shanghai, China, on 17 - 19 July 2016. * Keynote speakers Christel Baier (Technical University of Dresden, DE) Ana Cavalcanti (University of York, UK) Jifeng He (East China Normal University, CN) * General chairs W. Eric Wong (The University of Texas at Dallas, USA) Huibiao Zhu (East China Normal University, China) * PC chairs Marcello Bonsangue (Leiden University, NL) Yuxin Deng (East China Normal University, CN) * Publicity chairs Frederic Mallet (University of Nice Sophia Antipolis, FR) Min Zhang (East China Normal University, CN) * Programme committee Erika Abraham (RWTH Aachen University, DE) Bernhard Aichernig (Graz University of Technology, AT) Elvira Albert (Complutense University of Madrid, ES) Davide Ancona (University of Genova, IT) Farhad Arbab (CWI, NL) Luis Barbosa (University of Minho, PT) Richard Bubel (Technical University of Darmstadt, DE) Andrew Butterfield (Trinity College Dublin, IE) Marco Carbone (IT University of Copenhagen, DK) Rocco de Nicola (IMT-Institute for Advanced Studies, IT) Zhenhua Duan (Xidian University, CN) Yuxi Fu (Shanghai Jiao Tong University, CN) Stefania Gnesi (ISTI-CNR, IT) Hai-Feng Guo (University of Nebraska at Omaha, USA) Zhenjiang Hu (National Institute of Informatics, JP) Marieke Huisman (University of Twente, NL) Dang Van Hung (Vietnam National University, VT) Einar Broch Johnsen (Oslo University, NO) Laura Kovacs (Chalmers University of Technology, SE) Dexter Kozen (Cornell University, US) Xuandong Li (Nanjing University, CN) Shaoying Liu (Hosei University, JP) Zhiming Liu (Birmingham City University, UK) Antonia Lopes (University of Lisbon, PT) Frederic Mallet (University of Nice Sophia Antipolis, FR) Carroll Morgan (University of New South Wales, AU) Mohammad Reza Mousavi (Halmstad University, SE) Catuscia Palamidessi (INRIA, FR) Jun Pang (University of Luxembourg, LU) Luigia Petre (Abo Akademi University, FI) Shengchao Qin (Teesside University, UK) Zongyan Qiu (Peking University, CN) Gerardo Schneider (Chalmers University of Technology, SE) Emil Sekerinski (McMaster University, CA) Georg Struth (University of Sheffield, UK) Jing Sun (University of Auckland, NZ) Jun Sun (Singapore University of Technology and Design, SG) Jean Pierre Talpin (INRIA, FR) Andrzej Tarlecki (Warsaw University, PL) Viktor Vafeiadis (MPI-SWS, DE) Chao Wang (Virginia Tech, US) Yi Wang (Uppsala University, SE) Heike Wehrheim (University of Paderborn, DE) W. Eric Wong (The University of Texas at Dallas, US) Lijun Zhang (Chinese Academy of Sciences, CN) Min Zhang (East China Normal University, CN) Huibiao Zhu (East China Normal University, CN) * Steering Committee: Keijiro Araki (Kyushu University, JP) Jifeng He (East China Normal University, CN) Michael Hinchey (Lero, IE) Shengchao Qin (Teesside University, UK) Huibiao Zhu (East China Normal University, CN) * Submission guidelines We solicit contributions that describe original and unpublished research, and should not be submitted for publication elsewhere. They are limited to 8 pages, must be written in English, and the format should adhere to the A4 double column IEEE style. Please prepare your manuscripts with respect to the IEEE guidelines. Papers should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=tase2016. The proceedings of the TASE 2016 symposium will include all accepted papers and will be published by the IEEE Computer Society Press. The authors of selected papers will be invited after the symposium to submit an extended version to a journal special issue Sicence of Computer Programming.

1 0

Call for Papers (UTP 2016)
by Huibiao Zhu 04 Jan '16

04 Jan '16

Call for Papers UTP 2016 6th International Symposium on Unifying Theories of Programming June 45, 2016, Reykjavík, Iceland, Co-located with iFM 2016 http://utp2016.ecnu.edu.cn Overview Interest in the fundamental problem of the combination of formal notations and theories of programming has grown consistently in recent years. The theories define, in various different ways, many common notions, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication. Despite these differences, such theories may be unified in a way which greatly facilitates their study and comparison. Moreover, such a unification offers a means of combining different languages describing various facets and artifacts of software development in a seamless, logically consistent way. Hoare and He's Unifying Theories of Programming (UTP) is widely acknowledged as one of the most significant such unification approaches. Based on their pioneering work, the aims of the UTP Symposium series are to reaffirm the significance of the ongoing UTP project and to stimulate efforts to advance. The Symposium provides a focus for the sharing of results by those already actively contributing, and raises awareness of the benefits of such unifying theoretical frameworks among the wider computer science and software engineering communities. To this end the Symposium welcomes contributions on all the themes that can be related to the Unifying Theories of Programming. Venue and Event UTP 2016 will be held at Reykjavík, Iceland on 4 - 5 June 2016, co-located with iFM 2016. Important Dates Abstracts due: 19 February, 2016 Papers due: 4 March, 2016 Author notification: 15 April, 2016 Camera-ready for pre-proceedings: 29 April, 2016 Symposium: 4-5 June, 2016 Invited Speakers Tony Hoare (Microsoft Research, Cambridge, UK) Jifeng He (East China Normal University, China) PC Chairs Jonathan Bowen (London South Bank University) Huibiao Zhu (East China Normal University) Programme Committee: Ana Cavalcanti, University of York, United Kingdom. Yifeng Chen, Peking University, China. Andrew Butterfield, Trinity College Dublin, Ireland. Jeremy Gibbons, University of Oxford, United Kingdom. Lindsay Groves, Victoria University of Wellington, New Zealand. Walter Guttmann, University of Canterbury, New Zealand. Ian Hayes, University of Queensland, Austria. Jeremy Jacob, University of York, United Kingdom. Zhiming Liu, Birmingham City University, United Kingdom. David Naumann, Stevens Institute of Technology, USA. Marcel Oliveira, Universidade Federal do Rio Grande do Norte, Brazil. Shengchao Qin, Teesside University, United Kingdom. Georg Struth, University of Sheffield, United Kingdom. Jun Sun, Singapore University of Technology and Design, Singapore. Meng Sun, Peking University, China. Burkhart Wolff, University of Paris-Sud, France. Naijun Zhan, Chinese Academy of Sciences, China. Yongxin Zhao, East China Normal University, China. Frank Zeyda, Teesside University, United Kingdom. Submissions Papers may be up to 20 pages in length and should be prepared using LaTeX in Springer LNCS paper format. Submissions should be made through the UTP 2016 EasyChair site, https://www.easychair.org/conferences/?conf=utp2016 . Publication Symposium post-proceedings will appear in Springer's Lectures Notes in Computer Science, as in past editions of the Symposium. Previous UTP Symposia UTP 2016 is the 6th symposium in the UTP series. The past UTP symposia were successfully held in Durham ('06), Dublin ('08), Shanghai ('10), Paris ('12), Singapore ('14).

1 0

LSFA 2016 - First Call for Papers
by Mário Florido 03 Jan '16

03 Jan '16

(Apologies for multiple copies of this announcement) ============================================================== 11th Workshop on Logical and Semantic Frameworks, with Applications 25-26 June 2016, Porto, Portugal Satellite event of FSCD 2016 http://lsfa2016.mat.unb.br/ <http://lsfa2016.mat.unb.br/> Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning. LSFA 2016 aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. The proceedings are produced after the meeting, so that authors can incorporate this feedback in the published papers. LSFA 2016 will be a satellite event of FSCD 2016 taking place in Porto, Portugal during 25-26 June 2016. Previous editions took place in Natal (2015), Brasília (2014), Sao Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010), Brasília (2009), Salvador (2008), Ouro Preto (2007), and Natal (2006). TOPICS OF INTEREST Topics of interest to this forum include, but are not limited to: * Automated deduction * Applications of logical and/or semantic frameworks * Computational and logical properties of semantic frameworks * Formal semantics of languages and systems * Implementation of logical and/or semantic frameworks * Lambda and combinatory calculi * Logical aspects of computational complexity * Logical frameworks * Process calculi * Proof theory * Semantic frameworks * Specification languages and meta-languages * Type theory SUBMISSION AND PUBLICATION Contributions should be written in English and submitted in the form of full papers with a maximum of 16 pages including references or short papers with a maximum of 6 pages including references. Additional technical material can be provided in a clearly marked appendix which will be read by reviewers at their discretion. Contributions must also be unpublished and not submitted simultaneously for publication elsewhere. The papers should be prepared in LaTeX using ENTCS style. The submission should be in the form of a PDF file uploaded to Easychair: https://easychair.org/conferences/?conf=lsfa2016 <https://easychair.org/conferences/?conf=lsfa2016> The workshop pre-proceedings, containing the reviewed extended abstracts, will be handed-out at workshop registration. After the workshop the authors of both full and short papers will be invited to submit full versions of their works for the post-proceedings to be published in ENTCS. At least one of the authors should register for the conference. Presentations should be in English. * Submission: February 29th 2016 * Notification: April 22nd 2016 * Final pre-proceedings version due: May 8th 2016 * LSFA 2016 25-26 June 2016 According to the quality of proceedings, authors will/would/might be invited to submit an improved version of their paper for a special issue. Previous LSFA special issues have been published in journals such as J. IGPL and TCS (see http://lsfa.cic.unb.br <http://lsfa.cic.unb.br/>). INVITED SPEAKERS * Gilles Barthe (IMDEA Software Institute, Spain) * Luis Caires (Universidade Nova de Lisboa, Portugal) * Kaustuv Chaudhuri (Inria/École Polytechnique, France) * João Marques Silva (Instituto Superior Técnico, Portugal) PROGRAMME COMMITTEE * Vivek Nigam (Universidade Federal de Paraíba) - co-chair * Mário Florido (Universidade do Porto) - co-chair * Mauricio Ayala-Rincon (Universidade de Brasília) * María Alpuente (Universitat Politecnica de Valencia) * David Baelde (ENS Cachan) * Maribel Fernández (King's College London) * Marcelo Finger (Universidade de São Paulo) * Marco Gaboardi (University of Dundee) * Mateu Villaret (Universitat de Girona) * Silvia Ghilezan (University of Novi Sad) * Martin Hofmann (Ludwig-Maximilians-Universität) * Temur Kutsia (RISC- Johannes Kepler University Linz) * Bjoern Lellmann (TU Vienna) * Ian Mackie (Ecole Polytechnique) * João Marcos (Univ. Federal Rio Grande do Norte) * Cláudia Nalon (Universidade de Brasilia) * Frank Pfenning (Carnegie Mellon University) * Elaine Pimentel (Univ. Federal Rio Grande do Norte) * Jose Nuno Oliveira (Universidade do Minho) * Ruy De Queiroz (Univ. Federal de Pernambuco) * Giselle Reis (Inria-École Polytechnique) * Camilo Rocha (Escuela Colombiana de Ingeniería) * Alexandra Silva (University College London) * Kazushige Terui (Kyoto University) * René Thiemann (University of Innsbruck) ORGANISING COMMITTEE * Daniele Nantes Sobrinho (Universidade de Brasília) CONTACT * lsfa2016(a)easychair.org <mailto:lsfa2016@easychair.org> * http://lsfa2016.mat.unb.br/ <http://lsfa2016.mat.unb.br/>

1 0

SPLASH'16: 1st Call for Workshop Proposals
by Tijs van der Storm 02 Jan '16

02 Jan '16

/************************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'16) Amsterdam, The Netherlands 30th of October - 4th of November 2016 http://2016.splashcon.org Sponsored by ACM SIGPLAN /************************************************************************************/ CALL FOR WORKSHOP PROPOSALS Early Deadline: January 15th, 2016 Late Deadline: March 4th, 2016 /************************************************************************************/ # SPLASH'16 Call for Workshop Proposals Following its long-standing tradition, SPLASH 2016 will host a variety of high-quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. # SUBMISSION SUMMARY Early Submissions Due: January 15, 2016 Notification: February 12, 2016 Late Submissions Due: March 4, 2016 Notification: April 1, 2016 Format: ACM SIGPLAN Proceedings format Submit to: https://splash16workshops.hotcrp.com/ Chairs: Jan Rellermeyer and Craig Anslow Contact: workshops(a)splashcon.org ** Please note the earlier submission deadline than in previous years. ** ### TOPICS We encourage proposals for workshops on any topic relevant to SPLASH. If there is a topic relevant to SPLASH that you feel passionate about, and you want to connect with others who have similar interests, you should consider submitting a proposal to organize a workshop! The exact format of the workshop can be defined by the proposal submitters, and we more than welcome new, and unconventional ideas for workshop formats. The following suggestions may serve as a starting point: Mini-conferences provide their participants the possibility to present their work to other domain experts. The smaller and more specialized setting of the workshop allows for more extensive Q&A sessions and facilitates ample discussions, which may continue after the workshop. Typically, presentations of work-in-progress as well as of completed projects are welcome. The workshop may or may not produce formal proceedings. Retreats act as a platform for domain experts to gather with the purpose of tackling the issues of a predetermined research agenda. Retreats are highly interactive and goal-oriented, allowing their participants to address open challenges in their domain, to explore new, uncharted ideas, and to (maybe even) uncover new, promising research domains. Agenda-setting workshops provide a forum for domain experts to determine a research agenda for a sub-field, and may include collaborations on an agenda document that is published after the workshop is over. Other common activities at workshops include poster sessions, hands-on practical work, and focus groups. Proposal submitters should feel free to direct questions about workshop formats to the workshop chairs. Workshops that include presentation of research papers, and that implement a SIGPLAN-approved selection process, may be archived as formal proceedings in the ACM Digital Library; note that this option is available only to submitters to the early phase. # WORKSHOP SELECTION ### Reviewing Phases This year, SPLASH provides two submission phases to accommodate different schedules, a early round in January and a late round of proposals in March. Since space is limited at the venue, the PC will consider prospective attendance as one of the selection criteria. ### Proposal Content SPLASH workshop proposals should not exceed 6 pages, and must include the following information: Title and desired abbreviation: if the workshop is accepted, this will be used for advertising purposes. Theme, goals and format: the main topic and goals of the workshop, the workshop's relevance to the SPLASH community, as well as the workshop's format (e.g., mini-conference, retreat, agenda-setting workshop). Abstract: a 150-word abstract that summarizes the theme and goals of the workshop. If the workshop is accepted, this abstract will be used for advertising purposes. Organizers: workshop organizers are responsible for advertising the workshop (e.g., creating the anchoring website for the workshop and sending CFPs to relevant mailing lists), organizing the reviewing process (e.g., by forming a small program committee), running the workshop, and collating any results of the workshop for dissemination. The proposal should indicate the names, affiliations, and contact details of the workshop organizers as well as a primary organizer and contact person (primary organizer and contact person do not need to be the same). For each organizer, the proposal should describe his/her background (expertise in the area and previous experience in running workshops) and also identify his/her responsibilities for the workshop. Anticipated attendance: the ideal, minimum, and maximum expected number of participants. Please note that there will be an additional charge for workshop registration at SPLASH 2015. The SPLASH organizing committee reserves the right to cancel any workshops that do not meet attendance goals. Advertisement: the planned advertisement for the workshop to ensure sufficient participation. Participant preparation: what preparation is expected from workshop participants, including how attendees gain access to the workshop (e.g., submission of a full paper, an extended abstract, a position paper). Activities and format: the format of the workshop and a timetable. All SPLASH 2015 workshops must be planned for one or two full days of activities. For example, the proposal should describe whether there will be introductory material, paper presentations, panel discussions, debates, hands-on sessions, or focus groups, and how such groups will report back to the other participants. Post-workshop activities: what results are expected, and how these will be disseminated to the wider public after the workshop. Workshops that result in peer-reviewed papers and implement an ACM SIGPLAN-approved selection process can submit formal proceedings to the ACM Digital Library. To get the approval, the workshop has to meet the usual requirements defined for ACM SIGPLAN events (i.e., approval of workshop proposal and workshop program committee by ACM SIGPLAN). The approval process is coordinated by the SPLASH organizers. Special requirements: any special requirements you might have, in terms of room configuration, audio and video equipment, etc. ### Format Submissions should use the SIGPLAN Proceedings Format, 10 point font. Note that by default the SIGPLAN Proceedings Format produces papers in 9 point font. If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size. Please include page numbers in your submission. ### Publication If your workshop chooses to have published proceedings, be aware that accepted papers will be available in the ACM Digital Library as early as September 23, 2016. The official publication date is the date the proceedings are made available in the ACM Digital Library. The official publication date affects the deadline for any patent filings related to published work. It is therefore vital that this information will be communicated to participants in your workshop. ### Evaluation criteria Workshop proposals will be selected based on the quality of the proposal and according to the space available at SPLASH. The following questions may be helpful in devising a high-quality proposal: Are there at least two organizers and do they represent a reasonably varied cross-section of the community close to the topic? Does the abstract present a compelling case for the importance of the topic area? Are the goals of the workshop expressed clearly? Is the topic likely to be attractive to SPLASH attendees? Does the chosen format encourage a high level of interaction between the participants? Is a workshop the right forum to address the theme and goals or does the proposal fit better into another type of SPLASH event? Workshop chairs For additional information, clarification, or answers to questions please contact workshops(a)splashcon.org -- Researcher Centrum Wiskunde & Informatica (CWI) Master of Software Engineering Universiteit van Amsterdam (UvA) Dr. Tijs van der Storm @ Centrum Wiskunde & Informatica (CWI) Office: L225 | Phone: +31 (0)20 5924164 | Address: Science Park 123 P.O. Box 94079 | Postal code: 1090 GB | Amsterdam, The Netherlands

1 0

ANN: HaskRel; Employing GHC as a DBMS with support for the relational algebra
by Thor Michael Støre 31 Dec '15

31 Dec '15

Hello, After much scratching of my head over intricate parts of this "Haskell" thing I'm happy to announce that I've finally released my first effort in it: HaskRel. Overview -------- Because I've spent quite a bit of time on database prompts I thought it would be a fun exercise to see how much GHC can be made to operate like a DBMS, and how much of the relational model of database management (as defined by Chris Date et al. today) I'm able to make it accommodate. I'm pleased to register that the relational algebra, base variables and assignment works as one would expect at a database prompt. It does not qualify as an actual RDBMS (unsurprisingly), since it doesn't implement many other things that are required for it to be a proper RDBMS, either because I haven't gotten around to it or they cannot be implemented in Haskell. I've put the source up on GitHub and published it on Hackage: Hackage: http://hackage.haskell.org/package/HaskRel GitHub: https://github.com/thormick/HaskRel/tree/master/HaskRel HaskRel employs a Data.Set of Data.HList.Record as a relation type, for which it defines "Relation" as a synonym. It supports base variables (files) of this type, and implements the functions of the relational algebra such that they can be expressed upon both constants or literal values, upon variables, and upon expressions on variables. Example ------- The following is a minimal definition of a database with a single relation variable, "sp": module MiniDB where import Data.HList.CommonMain import Database.HaskRel.RDBMS sp :: Relvar '[Attr "sno" String, Attr "pno" String, Attr "qty" Integer] sp = Relvar "SP.rv" "Attr" has been defined as a synonym for "Data.Tagged.Tagged", because that is employed to represent what are known as attributes in relational theory. Loading this in GHCi we can first create a relation constant, do some relational assignment, and print the results (pardon the long lines): *MiniDB> let s = ( relation' [ ( "S1", "Smith", 20, "London" ), ( "S2", "Jones", 10, "Paris" ), ( "S3", "Blake", 30, "Paris" ) ] :: Relation '[Attr "sno" String, Attr "sName" String, Attr "status" Integer, Attr "city" String] ) *MiniDB> pt s ┌───────────────┬─────────────────┬───────────────────┬────────────────┐ │ sno :: String │ sName :: String │ status :: Integer │ city :: String │ ╞═══════════════╪═════════════════╪═══════════════════╪════════════════╡ │ S1 │ Smith │ 20 │ London │ │ S2 │ Jones │ 10 │ Paris │ │ S3 │ Blake │ 30 │ Paris │ └───────────────┴─────────────────┴───────────────────┴────────────────┘ *MiniDB> sp `assign` ( relation' [ ("S1", "P1", 300), ("S1", "P3", 400), ("S1", "P5", 100), ("S2", "P1", 300), ("S3", "P2", 200) ] :: Relation '[Attr "sno" String, Attr "pno" String, Attr "qty" Integer] ) Value assigned to ./SP.rv *MiniDB> pt sp ┌───────────────┬───────────────┬────────────────┐ │ sno :: String │ pno :: String │ qty :: Integer │ ╞═══════════════╪═══════════════╪════════════════╡ │ S1 │ P1 │ 300 │ │ S1 │ P3 │ 400 │ │ S1 │ P5 │ 100 │ │ S2 │ P1 │ 300 │ │ S3 │ P2 │ 200 │ └───────────────┴───────────────┴────────────────┘ (Mind that correct display of the Unicode table drawing characters depends on using the right fixed-width font.) Fundamental operations of the relational algebra can of course be performed on them: *MiniDB> p $ s `naturalJoin` sp ┌─────┬───────┬────────┬────────┬─────┬─────┐ │ sno │ sName │ status │ city │ pno │ qty │ ╞═════╪═══════╪════════╪════════╪═════╪═════╡ │ S1 │ Smith │ 20 │ London │ P1 │ 300 │ │ S1 │ Smith │ 20 │ London │ P3 │ 400 │ │ S1 │ Smith │ 20 │ London │ P5 │ 100 │ │ S2 │ Jones │ 10 │ Paris │ P1 │ 300 │ │ S3 │ Blake │ 30 │ Paris │ P2 │ 200 │ └─────┴───────┴────────┴────────┴─────┴─────┘ A proper relational database management system (which, again, this isn't, for several other reasons) must support type inference for relational expressions (see The Third Manifesto, relational model prescription 18). Fortunately, that is of course no problem for GHC with the right extensions: *MiniDB> :t s s :: Relation '[Attr "sno" String, Attr "sName" String, Attr "status" Integer, Attr "city" String] *MiniDB> :t sp sp :: Relvar '[Attr "sno" String, Attr "pno" String, Attr "qty" Integer] *MiniDB> :t s `naturalJoin` sp s `naturalJoin` sp :: IO (containers-0.5.6.2:Data.Set.Base.Set (RTuple '[Tagged "sno" String, Tagged "sName" String, Tagged "status" Integer, Tagged "city" String, Tagged "pno" [Char], Tagged "qty" Integer])) DML is also supported, of course: *MiniDB> insert sp ( relation' [ ("S1", "P2", 200), ("S1", "P3", 400), ("S1", "P4", 200) ] :: Relation '[Attr "sno" String, Attr "pno" String, Attr "qty" Integer] ) Inserted 2 of 3 tuples into ./SP.rv Concise expression of "update" require a set of language extensions (this in addition to DataKinds, which this module enables by default since it is quite ubiquitous in this endeavor): *MiniDB> :set -XQuasiQuotes -XKindSignatures -XViewPatterns *MiniDB> :{ *MiniDB| update sp (\[pun|pno qty|] -> ( pno == "P2" || pno == "P3" || pno == "P4" ) && qty < 300 ) *MiniDB| (\[pun|qty|] -> case qty + 50 of qty -> [pun|qty|]) *MiniDB| :} Updated 3 of 7 tuples in ./SP.rv *MiniDB> pt$ sp `restrict` \[pun|pno|] -> ( pno == "P2" || pno == "P3" || pno == "P4" ) ┌───────────────┬───────────────┬────────────────┐ │ sno :: String │ pno :: String │ qty :: Integer │ ╞═══════════════╪═══════════════╪════════════════╡ │ S1 │ P2 │ 250 │ │ S1 │ P3 │ 400 │ │ S1 │ P4 │ 250 │ │ S3 │ P2 │ 250 │ └───────────────┴───────────────┴────────────────┘ And of course delete-by-predicate: *MiniDB> count sp 7 *MiniDB> deleteP sp (\[pun|pno|] -> pno == "P3") Deleted 1 tuples from SP.rv *MiniDB> count sp 6 For an overview of the functions of the relational algebra and relational assignment defined by HaskRel see: http://hackage.haskell.org/package/HaskRel/docs/Database-HaskRel-Relational… Summary ------- This is a personal, spare-time project, the motivations for which have been to learn Haskell, and see how much of the relational model Haskell/GHC can accommodate, or how much like an RDBMS GHC can operate. Making this practically usable has not been part of the scope. Ascertaining that Haskell/GHC accommodates the relational algebra, relational base variables and operations thereupon in such a straight forward manner, was quite nice. It was particularly fun to see how this allowed examples of expressions in Tutorial D from Chris Date's "SQL and Relational Theory, 2nd. ed" to be expressed in Haskell in a manner quite verbatim to the originals (see https://github.com/thormick/HaskRel/blob/master/HaskRel/examples/SuppliersP… and chapters 6 and 7 of said book). It was also interesting to see trivial querying and DML operations on GHCi operate in a manner similar to what one would expect in a DBMS. Even if this isn't of practical use I still hope it is of some interest, or at least that it can enable Haskell as a demonstrator of some parts of the relational model for database management. Thanks, Thor Michael Støre

3 2

ANN: wxInstall Achelanne and wxHaskell 0.92.2.0
by Henk-Jan van Tuyl 30 Dec '15

30 Dec '15

L.S., I am happy to announce a new version of wxHaskell: 0.92.2.0 and new installation packages for wxHaskell on Windows: wxInstall Achelanne 0.1 (32 bit and 64 bit) Changes in wxHaskell since 0.92.1: - Solved warnings for wxcore, wxdirect, wxc - Added support for Pickerctrl, Hyperlinkctrl and some Streams in wxc and wxcore - Solved several bugs - Added some image Functions in wxc and wxcore - Added enumerateFonts function in wxcore - Updated wxBITMAP_TYPE_ constants - Adapted to GHC 7.10.3 Thanks to everyone who contributed! wxInstall Achelanne[0] is created because GHC 7.10.3 for Windows is accompanied with a newer GCC: 5.2.0. A detailed description can be found at the wxHaskell-for-Windows homepage[1]. What is wxHaskell? ------------------ wxHaskell[2] is a portable and native GUI library for Haskell. The goal of the project is to provide an industrial strength GUI library for Haskell, but without the burden of developing (and maintaining) one ourselves. wxHaskell is therefore built on top of wxWidgets – a comprehensive C++ library that is portable across all major GUI platforms; including GTK, Windows, X11, and MacOS X. Furthermore, it is a mature library (in development since 1992) that supports a wide range of widgets with the native look-and-feel. Links ----- See the homepage of wxHaskell for more information: https://wiki.haskell.org/WxHaskell The packages are: - wxc https://hackage.haskell.org/package/wxc - wxdirect https://hackage.haskell.org/package/wxdirect - wxcore https://hackage.haskell.org/package/wxcore - wx https://hackage.haskell.org/package/wx Regards, Henk-Jan van Tuyl [0] http://sourceforge.net/projects/wxhaskell/files/wxInstall/ [1] https://wiki.haskell.org/WxHaskell/Windows#Installing_the_easy_way [2] https://wiki.haskell.org/WxHaskell -- Folding@home What if you could share your unused computer power to help find a cure? In just 5 minutes you can join the world's biggest networked computer and get us closer sooner. Watch the video. http://folding.stanford.edu/ http://Van.Tuyl.eu/ http://members.chello.nl/hjgtuyl/tourdemonad.html Haskell programming --

1 0

CfP: Workshop on Program Transformation for Programmability in Heterogeneous Architectures (Co-located with CGO16); Deadline Jan 15
by Salvador Tamarit 23 Dec '15

23 Dec '15

********************************************************************************* PROHA 2016, CALL FOR PAPERS First Workshop on Program Transformation for Programmability in Heterogeneous Architectures http://goo.gl/RzGbzY Barcelona, 12th March 2016, in conjunction with the CGO'16 Conference ********************************************************************************* Important Dates: Paper submission deadline: 15 January 2016 23:59 (UTC) Author notification: 5 February 2016 Final manuscript due: 26 February 2016 Scope: Developing and maintaining high-performance applications and libraries for heterogeneous architectures is a difficult task, usually requiring code transformations performed by an expert. Tools assisting in and, if possible, automating such transformations are of course of great interest. However, such tools require significant knowledge and reasoning capabilities. For example, the former could be a machine-understandable descriptions of what a piece of code is expected to do, while the latter could be a set of transformations and a corresponding logical context in which they are applicable, respectively. Furthermore, strategies to identify the sequence of transformations leading to the best resulting code need to be elaborated. This workshop will focus on techniques and foundations which make it possible to perform source code transformations, which preserve the intended semantics of the original code and improve efficiency, portability or maintainability. The topics of interest for the workshop include, but are not limited to: * Program annotations to capture algorithmic properties and intended code semantics. * Programming paradigms able to express underlying (mathematical) properties of code. * Usage of dynamic and static mechanisms to infer relevant code properties. * Transformations which preserve intended semantics. * Strategies to apply transformations. * Heuristics to guide program transformation and techniques to synthesize / learn these heuristics. * Tools Submission Guidelines: Submissions are to be written in English and not exceed 10 pages, including bibliography. Submissions should be written in ACM double-column format using a 10-point type. Authors should follow the information for formatting ACM SIGPLAN conference papers, which can be found at http://www.sigplan.org/Resources/Author . Authors should submit their papers in pdf format using the EasyChair submission website https://easychair.org/conferences/?conf=proha2016 . Publication: The proceedings will be made publicly available through ArXiV. Workshop Organizers: - Manuel Carro, IMDEA Software Institute and Technical University of Madrid - Colin W. Glass, University of Stuttgart - Jan Kuper, University of Twente - Julio Mariño, Technical University of Madrid - Lutz Schubert, University of Ulm - Guillermo Vigueras, IMDEA Software Institute - Salvador Tamarit, Technical University of Madrid If you have any questions, please contact the program chair at manuel.carro(a)imdea.org

1 0