- Haskell - Haskell.org

2-year postdoctoral position in programming languages at LFCS
by James Cheney 09 May '16

09 May '16

Hi, I am pleased to announce that we are now accepting applications for a postdoctoral research position in programming languages. The position is for 24 months, starting on or around September 1, 2016. Funding is provided by a five-year, €1.99M Consolidator Grant from the European Research Council on the project: "Skye: A programming language bridging theory and practice for scientific data curation". The project will build on Links, a functional, typed, cross-tier Web programming language with strong support for database programming via language-integrated query. The ultimate goal of this project is to design a new general-purpose language suitable for embedding a wide range of domain-specific languages, generalising metaprogramming capabilities found in existing systems to make it possible to define reusable data management techniques needed for the next generation of curated scientific databases. Applicants for the postdoctoral position should have, at a minimum, a PhD (or be close to completion) in computer science, with a track record of high quality publications and research focus on programming languages. The project will involve practical systems development and evaluation informed by conceptual or foundational research, so an ideal candidate will have the ability to develop new foundational programming language concepts and carry them through to implementation. Previous research experience concerning provenance or related topics (such as information flow security, program slicing, generative programming or metaprogramming) would be desirable but is not required. Familiarity with extensibility capabilities such as Template Haskell, Lightweight Modular Staging (Scala), hygienic macros/"languages as libraries" (Scheme/Racket), computation expressions (F#), functional Web programming (Links, Hop, Ur/Web), or dependently-typed programming (e.g. Agda or Idris) would be especially advantageous for this project. For more information about the project, and about other related activities in my group, LFCS, and Edinburgh, please consult the following page: http://homepages.inf.ed.ac.uk/jcheney/group/skye.html Applications must be received by 5pm GMT, June 17, 2016. To apply, visit the University job posting for this position: https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobs… then click "apply" and follow the instructions. Please note that applicants must use the University's application system above, which involves some account registration and form-filling, and it is recommended that applicants complete this process well before the deadline, since the system automatically stops accepting applications after the deadline. --James

1 0

LPTI'16 Call for Papers
by Frantisek Farka 09 May '16

09 May '16

Call for Papers Workshop on Logic Programming for Type Inference 16-17 October 2016, New York, USA https://ff32.host.cs.st-andrews.ac.uk/lpti16/ Objectives and scope ------------------- Two facts are universally acknowledged: critical software must be subject to formal verification and modern verification tools need to scale and become more user-friendly in order to make more impact in industry. There are two major styles of verification: algorithmic : verification problems are specified in an automated prover, e.g. (constraint) logic programming or SMT solver, and properties of interest are verified by the prover automatically. Such provers can be fast, but their trustworthiness is hard to establish without producing and checking proofs. An alternative is a typeful approach to verification: instead of verifying programs in an external prover, a programmer may record all properties of interest as types of functions in his programs. Thanks to Curry-Howard isomorphism, type inhabitants also play the role of runnable functions and proof witnesses, thus completing the certification cycle. At their strongest, types can cover most of the properties of interest to the verification community, e.g. recently proposed Liquid Haskell and F* allow pre- and post-condition formulation at type level. But, when properties expressed at type level become rich, type inference engines have to assume the role of automated provers, e.g. Liquid Haskell and F* connect directly to SMT solvers. The above trend of integrating automated theorem proving with types calls for more precise methods of automated proof certification and integration of automated provers with modern-day compilers. This workshop aims to identify challenges in type inference in various domains and facilitate the research communities to collaboratively seek for effective methods, primarily focusing on Logic Programming (LP), in a broad sense, which includes resolution-based systems, constraint solving, ATPs, and also ITPs with sufficient support for automation. The term "type inference" is also used in a broad sense including all three directions of type related computations: type checking, type inference, and type inhabitation. The topics of interests include but are not limited to: * deriving implementations and/or proofs from declarative specifications of type systems, * identifying challenges and/or introducing approaches on type inference for non-traditional type systems (e.g., gradual/hybrid typing, success typing, types for process calculus, ...), * innovative ideas and new/old theories of LP that could benefit type inference, * integration of LP methods within other parts of language systems and tools, and * adding/enhancing support for type inference in LP systems themselves. Venue and event --------------- LPTI will be held in New York, USA, on 16-17 October 2016, co-located with International Conference on Logic Programming, ICLP-2016. Invited speakers --------------- * Logic programming for type inference in object-oriented languages, Davide Ancona, University of Genoa, Italy * Automation of type inference in functional languages: Liquid Haskell, Niki Vazou, University of California, San Diego, USA * Type inference applications in industry, TBA Invited tutorial speakers ------------------------- * Horn Clauses as types: proof-relevant resolution for Haskell type classes, Peng Fu, Heriot-Watt University, UK * Relational Specification of type systems using LP, Ki Yung Ahn, Korea University, Sejong City, Korea Important dates --------------- Paper submission: 1 August, 2016 Notification to authors: 21 August, 2016 LPTI'16 Workshop: 16-17 October, 2016 Post-proceedings: 5 November, 2016 Programme committee ------------------- Ki Yung Ahn, Korea University, Sejong City, Korea Davide Ancona, University of Genoa, Italy Iavor Diatchki, Galois, Inc, USA Peng Fu, Heriot-Watt University, UK Patricia Johann, Appalachian State University, USA Ekaterina Komendantskaya, Heriot-Watt University, UK J. Garrett Morris, University of Edinburgh, UK Claudio Russo, Microsoft Research Cambridge, UK Stephan Schulz, DHBW Stuttgart, Germany Aaron Stump, The University of Iowa, USA Niki Vazou, University of California, San Diego, USA Joe Wells, Heriot-Watt University, UK Publicity chair --------------- František Farka, University of Dundee, UK and University of St Andrews, UK PC chair -------- Ekaterina Komendantskaya, Heriot-Watt University, UK Submission guidelines --------------------- Submissions must be made via EasyChair at https://easychair.org/conferences/?conf=lpti2016. We solicit two types of contributions: 1. Regular papers to be evaluated by the PC for publication in the proceedings: They must have a length of at most 20 pages, formatted in the EPTCS style. They must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. 2. Short contributions: These will not be published in the proceedings but will be bundled in a technical report. They should be no more than two pages in the EPTCS style and may describe work in progress, summarise work submitted to a conference or workshop elsewhere, or in some other way appeal to the workshop audience. Proceedings publication ----------------------- The proceedings of LPTI will be published in Electronic Proceedings in Theoretical Computer Science. The final proceedings will be published post-conference and will consist of revised versions of the accepted regular papers and invited talks. Preliminary proceedings will be made available at the conference in electronic form.

1 0

CFP: WADT 2016
by JAMES P. (366409) 09 May '16

09 May '16

CFP: WADT 2016 - 23rd International Workshop on Algebraic Development Techniques Link: http://cs.swan.ac.uk/wadt16/ When Sep 21, 2016 - Sep 24, 2016 Where Gregynog, UK Submission Deadline June 3, 2016 Notification June 17, 2016 Final Version Due July 1, 2016 AIMS AND SCOPE The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. TOPICS OF INTEREST Typical, but not exclusive topics of interest are: - Foundations of algebraic specification - Other approaches to formal specification, including process calculi and models of concurrent, distributed and mobile computing - Specification languages, methods, and environments - Semantics of conceptual modelling methods and techniques - Model-driven development - Graph transformations, term rewriting and proof systems - Integration of formal specification techniques - Formal testing and quality assurance, validation, and verification INVITED SPEAKERS - Alessio Lomuscio (London, UK) - Till Mossakowski (Magdeburg, Germany) - John Tucker (Swansea, UK) WORKSHOP FORMAT AND LOCATION The workshop will take place over four days, Wednesday to Saturday, at Gregynog Hall in Wales, UK (http://www.gregynog.org) Participants should arrive on Tuesday evening, the workshop will end on Saturday with lunch. Presentations will be selected on the basis of submitted abstracts. IMPORTANT DATES Submission deadline for abstracts: June 3, 2016 Notification of acceptance: June 17, 2016 Early registration: June 17, 2016 Final abstract due: July 1, 2016 Workshop in Gregynog: September 21-24, 2016 SUBMISSIONS The scientific programme of the workshop will include presentations of recent results and ongoing research. The presentations will be selected by the Steering Committee on the basis of submitted abstracts according to originality, significance and general interest. The abstracts must be up to two pages long including references. If a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract. The abstracts have to be submitted electronically via the EasyChair system. PROCEEDINGS After the workshop, authors will be invited to submit full papers for the refereed proceedings. All submissions will be reviewed; selection will be based on originality, soundness and significance of the presented ideas and results. The proceedings will be published as a volume of Lecture Notes in Computer Science (Springer). SPONSORSHIP The workshop takes place under the auspices of IFIP WG 1.3. WADT STEERING COMMITTEE Andrea Corradini (Italy) Jose Fiadeiro (UK) Rolf Hennicker (Germany) Hans-Jorg Kreowski (Germany) Till Mossakowski (Germany) Fernando Orejas (Spain) Francesco Parisi-Presicce (Italy) Markus Roggenbach (UK) [chair] Grigore Rosu (United States) Andrzej Tarlecki (Poland) ORGANIZING COMMITTEE Phillip James (UK) Markus Roggenbach (UK) CONTACT INFORMATION Email: M.Roggenbach(a)Swansea.ac.uk<mailto:M.Roggenbach@Swansea.ac.uk> Homepage: http://cs.swan.ac.uk/wadt16/

1 0

NFM 2016 - Call for participation
by Klaus Havelund 05 May '16

05 May '16

******************************************************************** CALL FOR PARTICIPATION The 8th NASA Formal Methods Symposium June 7 - June 9, 2016 McNamara Alumni Center University of Minnesota Minneapolis, MN http://crisys.cs.umn.edu/nfm2016 ******************************************************************** REGISTRATION ... is FREE! All interested individuals, including non-US citizens, are welcome to attend. All participants must register but there is no registration fee. Please register online at http://crisys.cs.umn.edu/nfm2016/REGISTRATION We strongly encourage participants to register early and reserve accommodations. A block of hotel rooms are reserved at The Commons Hotel until May 7, 2016. THEME OF THE SYMPOSIUM The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and the aerospace industry, with the goal of identifying challenges and providing solutions towards achieving assurance for safety- and mission-critical systems. We have assembled an exciting 3-day program featuring * Oral presentations of 29 peer-reviewed papers * Three prominent keynote speakers * Tool demonstrations * Breakout sessions on applications of formal methods to future NASA missions * Ample opportunities for networking and socializing KEYNOTES * Michael L. Aguilar (NASA Technical Fellow): "Where Formal Methods Might Find Application on Future NASA Missions” * Kevin Driscoll (Honeywell): "Murphy Was Here" * Kathleen Fisher (Tufts University): "Using Formal Methods to Eliminate Exploitable Bugs" ACCEPTED PAPERS The program features 19 regular and 10 short/tool papers on: * Requirements and architectures * Model checking and verification * Theorem proving and proofs * Testing and runtime enforcement * Synthesis and code generation * Applications of formal methods * Certification and correctness List of all accepted papers: http://crisys.cs.umn.edu/nfm2016/accepted/ 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 Michael Lowry, NASA Ames Research Center, USA (NASA Liaison) CÈlia Martinie, ICS-IRIT, Universite 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, Universite 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 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

PPDP 2016 - Last Call for Papers
by German Vidal 04 May '16

04 May '16

====================================================================== Last call for papers 18th International Symposium on Principles and Practice of Declarative Programming PPDP 2016 Special Issue of Science of Computer Programming (SCP) Edinburgh, UK, September 5-7, 2016 (co-located with LOPSTR and SAS) http://ppdp16.webs.upv.es/ ====================================================================== SUBMISSION DEADLINE: 9 MAY (abstracts) / 16 MAY (papers) ---------------------------------------------------------------------- INVITED SPEAKERS Elvira Albert, Complutense University of Madrid, Spain ---------------------------------------------------------------------- PPDP 2016 is a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. Topics of interest include, but are not limited to * Functional programming * Logic programming * Answer-set programming * Functional-logic programming * Declarative visual languages * Constraint Handling Rules * Parallel implementation and concurrency * Monads, type classes and dependent type systems * Declarative domain-specific languages * Termination, resource analysis and the verification of declarative programs * Transformation and partial evaluation of declarative languages * Language extensions for security and tabulation * Probabilistic modeling in a declarative language and modeling reactivity * Memory management and the implementation of declarative systems * Practical experiences and industrial application This year the conference will be co-located with the 26th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2016) and the 23rd Static Analysis Symposium (SAS 2016). The conference will be held in Edinburgh, UK. Previous symposia were held at Siena (Italy), Canterbury (UK), Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris (France). You might have a look at the contents of past PPDP symposia, http://sites.google.com/site/ppdpconf/ Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). After the symposium, a selection of the best papers will be invited to extend their submissions in the light of the feedback solicited at the symposium. The papers are expected to include at least 30% extra material over and above the PPDP version. Then, after another round of reviewing, these revised papers will be published in a special issue of SCP with a target publication date by Elsevier of 2017. Important Dates Abstract submission: 9 May, 2016 Paper submission: 16 May, 2016 Notification: 20 June, 2016 Final version of papers: 17 July, 2016 Symposium: 5-7 September, 2016 Authors should submit an electronic copy of the full paper in PDF. Papers should be submitted to the submission website for PPDP 2016. Each submission must include on its first page the paper title; authors and their affiliations; abstract; and three to four keywords. The keywords will be used to assist the program committee in selecting appropriate reviewers for the paper. Papers should consist of the equivalent of 12 pages under the ACM formatting guidelines. These guidelines are available online, along with formatting templates or style files. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. Program Committee Sandra Alves, University of Porto, Portugal Zena M. Ariola, University of Oregon, USA Kenichi Asai, Ochanomizu University, Japan Dariusz Biernacki, University of Wroclaw, Poland Rafael Caballero, Complutense University of Madrid, Spain Iliano Cervesato, Carnegie Mellon University Marina De Vos, University of Bath, UK Agostino Dovier, Universita degli Studi di Udine, Italy Maribel Fernandez, King's College London, UK John Gallagher, Roskilde University, Denmark, and IMDEA Software Institute, Spain Michael Hanus, CAU Kiel, Germany Martin Hofmann, LMU Munchen, Germany Gerda Janssens, KU Leuven, Belgium Kazutaka Matsuda, Tohoku University, Japan Fred Mesnard, Universite de la Reunion, France Emilia Oikarinen, Finnish Institute of Occupational Health, Finland Alberto Pettorossi, Universita di Roma Tor Vergata, Italy Tom Schrijvers, KU Leuven, Belgium Josep Silva, Universitat Politecnica de Valencia, Spain Perdita Stevens, University of Edinburgh, UK Peter Thiemann, Universitat Freiburg, Germany Frank D. Valencia, CNRS-LIX Ecole Polytechnique de Paris, France, and Pontificia Universidad Javeriana de Cali, Colombia German Vidal, Universitat Politecnica de Valencia, Spain (Program Chair) Stephanie Weirich, University of Pennsylvania, USA Program Chair German Vidal Universitat Politecnica de Valencia Camino de Vera, S/N E-46022 Valencia, Spain Email: gvidal(a)dsic.upv.es Organizing committee James Cheney (University of Edinburgh, Local Organizer) Moreno Falaschi (University of Siena, Italy) Visa Please check at https://www.gov.uk/check-uk-visa whether you require a visa to visit the UK. This can take 6-8 weeks. If so, please contact James Cheney as soon as possible to obtain a visa support letter. ----------------------------------------------------------------------

1 0

Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Submit Your Paper Until July 17, 2016
by Achim D. Brucker 04 May '16

04 May '16

(Apologies for duplicates) CALL FOR PAPERS 16th International Workshop on OCL and Textual Modeling Co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016) October 2-4, 2016, Saint-Malo, France (TBC) http://oclworkshop.github.io Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. Topics of interest include (but are not limited to) =================================================== - Mappings between textual modeling languages and other languages or formalisms - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for -- validation, verification, and testing, -- model transformation and code generation, -- meta-modeling and DSLs, and -- query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports -- usage of textual modeling languages and tools in complex domains, -- usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks This year, we particularly encourage submissions describing tools that support - in a very broad sense - textual modeling languages (if you have implemented OCL.js to run OCL in a web browser, this is the right workshop to present your work) as well as textual model transformations. Venue ===== The workshop will be organized as a part of MODELS 2016 Conference in Saint-Malo, France. It continues the series of OCL workshops held at UML/MODELS conferences: York (2000), Toronto (2001), San Francisco (2003), Lisbon (2004), Montego Bay (2005), Genova (2006), Nashville (2007), Toulouse (2008), Denver (2009), Oslo (2010), Zurich (2011, at the TOOLs conference), 2012 in Innsbruck, 2013 in Miami, 2014 in Valencia, Spain, and 2015 in Ottawa, Canada. Similar to its predecessors, the workshop addresses both people from academia and industry. The aim is to provide a forum for addressing integration of OCL and other textual modeling languages, as well as tools for textual modeling, and for disseminating good practice and discussing the new requirements for textual modeling. Workshop Format =============== The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. Submissions =========== Two types of papers will be considered: * short contributions (between 6 and 8 pages) describing new ideas, innovative tools or position papers. * full papers (between 12 and 16 pages) in LNCS format. Submissions should be uploaded to EasyChair (https://easychair.org/conferences/?conf=ocl16) The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online in a post-conference edition of CEUR (http://www.ceur-ws.org) Important Dates =============== Submission of papers: July 17, 2016 Notification: August 14, 2016 Workshop date: October 2-4, 2016 Organizers ========== Achim D. Brucker, The University of Sheffield, UK Jordi Cabot, ICREA - Open University of Catalonia, Spain Adolfo Sánchez-Barbudo Herrera, University of York, UK Programme Committee (TBC) ========================= Thomas Baar, University of Applied Sciences Berlin, Germany Mira Balaban, Ben-Gurion University of the Negev, Israel Tricia Balfe, Nomos Software, Ireland Domenico Bianculli, University of Luxembourg Dan Chiorean, Babes-Bolyai University, Romania Robert Clariso, Universitat Oberta de Catalunya, Spain Tony Clark, Middlesex University, UK Manuel Clavel, IMDEA Software Institute, Spain Birgit Demuth, Technische Universitat Dresden, Germany Marina Egea, Indra Sistemas S.A., Spain Geri Georg, Colorado State University, USA Martin Gogolla, University of Bremen, Germany Shahar Maoz, Tel Aviv University, Israel Istvan Rath, Budapest University of Technology and Economics, Hungary Bernhard Rumpe, RWTH Aachen, Germany Massimo Tisi, Mines de Nantes, France Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Edward Willink, Willink Transformations Ltd., UK Burkhart Wolff, Univ. Paris-Sud - LRI, France Steffen Zschaler, King's College, UK -- Dr. Achim D. Brucker | Senior Lecturer | University of Sheffield https://www.brucker.ch/

1 0

[TFP'16] call for participation
by Peter Achten 02 May '16

02 May '16

----------------------------- C A L L F O R P A R T I C I P A T I O N ----------------------------- ======== TFP 2016 =========== 17th Symposium on Trends in Functional Programming June 8-10, 2016 University of Maryland, College Park Near Washington, DC http://tfp2016.org/ The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below). Authors of draft papers will be invited to submit revised papers based on the feedback receive at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. TFP 2016 will be the main event of a pair of functional programming events. TFP 2016 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on June 7nd. == INVITED SPEAKERS == TFP 2016 is pleased to announce keynote talks by the following two invited speakers: * Ronald Garcia, University of British Columbia: "Static and Dynamic Type Checking: A Synopsis" * Steve Zdancewic, University of Pennsylvania: "Type- and Example-Driven Program Synthesis" == HISTORY == The TFP symposium is the heir of the successful series of Scottish Functional Programming Workshops. Previous TFP symposia were held in * Edinburgh (Scotland) in 2003; * Munich (Germany) in 2004; * Tallinn (Estonia) in 2005; * Nottingham (UK) in 2006; * New York (USA) in 2007; * Nijmegen (The Netherlands) in 2008; * Komarno (Slovakia) in 2009; * Oklahoma (USA) in 2010; * Madrid (Spain) in 2011; * St. Andrews (UK) in 2012; * Provo (Utah, USA) in 2013; * Soesterberg (The Netherlands) in 2014; * and Inria Sophia-Antipolis (France) in 2015. For further general information about TFP please see the TFP homepage. (http://www.tifp.org/) == SCOPE == The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: Research Articles: leading-edge, previously unpublished research work Position Articles: on what new trends should or should not be Project Articles: descriptions of recently started new projects Evaluation Articles: what lessons can be drawn from a finished project Overview Articles: summarizing work with respect to a trendy subject Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to: Functional programming and multicore/manycore computing Functional programming in the cloud High performance functional computing Extra-functional (behavioural) properties of functional programs Dependently typed functional programming Validation and verification of functional programs Debugging and profiling for functional languages Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc. Interoperability with imperative programming languages Novel memory management techniques Program analysis and transformation techniques Empirical performance studies Abstract/virtual machines and compilers for functional languages (Embedded) domain specific languages New implementation strategies Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2016 program chair, David Van Horn. == BEST PAPER AWARDS == To reward excellent contributions, TFP awards a prize for the best paper accepted for the formal proceedings. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, that paper will then receive both prizes. == SPONSORS == TFP is financially supported by CyberPoint, Galois, Trail of Bits, and the University of Maryland Computer Science Department. == PAPER SUBMISSIONS == Acceptance of articles for presentation at the symposium is based on a lightweight peer review process of extended abstracts (4 to 10 pages in length) or full papers (20 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate which authors are research students, and whether the main author(s) are students. A draft paper for which ALL authors are students will receive additional feedback by one of the PC members shortly after the symposium has taken place. We use EasyChair for the refereeing process. Papers must be submitted at: https://easychair.org/conferences/?conf=tfp2016 Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 == IMPORTANT DATES == Submission of draft papers: April 25, 2016 Notification: May 2, 2016 Registration: May 13, 2016 TFP Symposium: June 8-10, 2016 Student papers feedback: June 14, 2016 Submission for formal review: July 14, 2016 Notification of acceptance: September 14, 2016 Camera ready paper: October 14, 2016 == PROGRAM COMMITTEE == Amal Ahmed Northeastern University (US) Nada Amin École Polytechnique Fédérale de Lausanne (CH) Kenichi Asai Ochanomizu University (JP) Małgorzata Biernacka University of Wroclaw (PL) Laura Castro University of A Coruña (ES) Ravi Chugh University of Chicago (US) Silvia Ghilezan University of Novi Sad (SR) Clemens Grelck University of Amsterdam (NL) John Hughes Chalmers University of Technology (SE) Suresh Jagannathan Purdue University (US) Pieter Koopman Radboud University Nijmegen (NL) Geoffrey Mainland Drexel University (US) Chris Martens University of California, Santa Cruz (US) Jay McCarthy University of Massachusetts, Lowell (US) Heather Miller École Polytechnique Fédérale de Lausanne (CH) Manuel Serrano INRIA, Sophia-Antipolis (FR) Scott Smith Johns Hopkins University (US) Éric Tanter University of Chile (CL) David Van Horn (Chair) University of Maryland (US) Niki Vazou University of California, San Diego (US) Stephanie Weirich University of Pennsylvania (US)

1 0

Call for Contributions - Haskell Communities and Activities Report, May 2016 edition (30th edition)
by Mihai Maruseac 01 May '16

01 May '16

Dear all, It's that time of the year again (https://ro-che.info/ccc/16) :) We would like to collect contributions for the 30th edition of the ============================================================ Haskell Communities & Activities Report http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report Submission deadline: 30 April 2016 ============================================================ The short story follows: * If you are working on _any_ project that is in some way related to Haskell, please write a short entry and submit it. Even if the project is small, unfinished or used only by yourself or you think it is not important enough, please reconsider and submit an entry anyway! * The submission file can be in _any_ format you like. Although the final report uses LaTeX, if it is easier for you to submit a Markdown file, text file, Doc file or anything else, please do so. We'll be happy to do the translation and get a new entry in the HCAR :) * If you are interested in an existing project related to Haskell that has not previously been mentioned in the HCAR, please tell me or contact a project leader to get them to submit an entry. We have received feedback in the past that some projects were missing from the edition, but, sadly, that was too late at the time, but those projects will be contacted for this edition. * Feel free to pass on this call for contribution to others that might be interested. More detailed information: The Haskell Communities & Activities Report is a bi-annual overview of the state of Haskell as well as Haskell-related projects over the last, and possibly the upcoming six months. If you have only recently been exposed to Haskell, it might be a good idea to browse the previous edition --- you will find interesting projects described as well as several starting points and links that may provide answers to many questions. Contributions will be collected until the submission deadline. They will then be compiled into a coherent report that is published online as soon as it is ready. As always, this is a great opportunity to update your webpages, make new releases, announce or even start new projects, or to talk about developments you want every Haskeller to know about! Looking forward to your contributions, Mihai FAQ: Q: What format should I write in? A: The recommeneded format is a LaTeX source file, adhering to the template that is available at: http://haskell.org/communities/05-2016/template.tex There is also a LaTeX style file at http://haskell.org/communities/06-2016/hcar.sty that you can use to preview your entry. If you modify an old entry that you have written for an earlier edition of the report, you should soon receive your old entry as a template (provided we have your valid email address). Please modify that template, rather than using your own version of the old entry as a template. _However_, if you don't want/have time to format the entry for LaTeX, you can submit it in any other format possible and we will be happy to convert it for the final report. Q: Can I include Haskell code? A: Yes. Please use lhs2tex syntax (http://www.andres-loeh.de/lhs2tex/) The report is compiled in mode polycode.fmt. Q: Can I include images? A: Yes, you are even encouraged to do so. Please use .jpg or .png format, then, PNG being preferred for simplicity. Q: How much should I write? A: Authors are asked to limit entries to about one column of text. A general introduction is helpful. Apart from that, you should focus on recent or upcoming developments. Pointers to online content can be given for more comprehensive or "historic" overviews of a project. Images do not count towards the length limit, so you may want to use this opportunity to pep up entries. There is no minimum length of an entry! The report aims for being as complete as possible, so please consider writing an entry, even if it is only a few lines long. Q: Which topics are relevant? A: All topics which are related to Haskell in some way are relevant. We usually had reports from users of Haskell (private, academic, or commercial), from authors or contributors to projects related to Haskell, from people working on the Haskell language, libraries, on language extensions or variants. We also like reports about distributions of Haskell software, Haskell infrastructure, books and tutorials on Haskell. Reports on past and upcoming events related to Haskell are also relevant. Finally, there might be new topics we do not even think about. As a rule of thumb: if in doubt, then it probably is relevant and has a place in the HCAR. You can also simply ask us. Q: Is unfinished work relevant? Are ideas for projects relevant? A: Yes! You can use the HCAR to talk about projects you are currently working on. You can use it to look for other developers that might help you. You can use HCAR to ask for more contributors to your project, it is a good way to gain visibility and traction. Q: If I do not update my entry, but want to keep it in the report, what should I do? A: Tell us that there are no changes. The old entry will typically be reused in this case, but it might be dropped if it is older than a year, to give more room and more attention to projects that change a lot. Do not resend complete entries if you have not changed them. Q: Will I get confirmation if I send an entry? How do I know whether my email has even reached its destination, and not ended up in a spam folder? A: Prior to publication of the final report, we will send a draft to all contributors, for possible corrections. So if you do not hear from us within two weeks after the deadline, it is safer to send another mail and check whether your first one was received. -- Mihai Maruseac (MM) "If you can't solve a problem, then there's an easier problem you can solve: find it." -- George Polya

2 1

LOPSTR 2016 Call for Papers
by Manuel Hermenegildo 30 Apr '16

30 Apr '16

====================================================================== LOPSTR 2016: 1st Call for Papers ====================================================================== 26th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2016 http://cliplab.org/Conferences/LOPSTR16/ Edinburgh, UK, September 6-8, 2016 (co-located with PPDP 2016 and SAS 2016) ====================================================================== DEADLINES: Abstract submission: June 7, 2016 Paper/Extended abstract submission: June 14, 2016 ====================================================================== The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 26th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2016) will be held at the University of Edinburgh, Edinburgh, UK; previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2016 will be co-located with PPDP 2016 (International Symposium on Principles and Practice of Declarative Programming) and SAS 2016 (Static Analysis Symposium). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission: June 7, 2016 Paper/Extended abstract submission: June 14, 2016 Notification: August 3, 2016 Camera-ready (for electronic pre-proceedings): August 19, 2016 Symposium: September 6-8, 2016 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2016: http://www.easychair.org/conferences/?conf=lopstr2016 (can be accessed also through the LOPSTR 2016 web site). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Slim Abdennadher, German University of Cairo, Egypt Maria Alpuente, Universitat Politecnica de Valencia, Spain Sergio Antoy, Portland State University, USA Michael Codish, Ben-Gurion University of the Negev, Israel Jerome Feret, CNRS/ENS/INRIA Paris, France. Fabio Fioravanti, University of Chieti - Pescara, Italy. Maurizio Gabbrielli, University of Bologna, Italy Maria Garcia de la Banda, Monash University, Australia Robert Glueck, University of Copenhagen, Denmark. Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Gopal Gupta, University of Texas at Dallas, USA Patricia Hill, Univ. of Leeds, UK Jacob Howe, City University London, UK Viktor Kuncak , EPFL Lausanne, Switzerland Michael Leuschel, University of Duesseldorf, Germany Heiko Mantel TU Darmstadt, Germany Jorge A. Navas, NASA, USA Naoki Nishida, Nagoya University, Japan Catuscia Palamidessi, INRIA Saclay and LIX, France C.R. Ramakrishnan, SUNY Stony Brook, USA Vitor Santos Costa, Universidade do Porto, Portugal Hirohisa Seki, Nagoya Institute of Technology, Japan Peter Schneider-Kamp, University of Southern Denmark, Denmark Program Chairs Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM) Pedro Lopez-Garcia, IMDEA Software Institute and CSIC Organizing Committee James Cheney (University of Edinburgh, Local Organizer) Moreno Falaschi (University of Siena, Italy) -----------------------------------------------------------------------------

1 0

Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
by Lin, Yuhui 29 Apr '16

29 Apr '16

Final Call for Papers (*** submission deadline in 3 weeks!!! ***) Science of Computer Programming Special Issue on Automated Verification of Critical Systems Guest editors: Gudmund Grov & Andrew Ireland Submission deadline: 20 May 2016 Notification: 31 August 2016 This special issue is devoted to the 15th international workshop on Automated Verification of Critical Systems (AVoCS 2015): https://sites.google.com/site/avocs15/ The aim of AVoCS is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. These topics are to be interpreted broadly and inclusively. It covers all aspects of automated verification, and typical (but not exclusive) topics of interest are: - Model Checking - Automatic and Interactive Theorem Proving - SAT, SMT or Constraint Solving for Verification - Abstract Interpretation - Specification and Refinement - Requirements Capture and Analysis - Verification of Software and Hardware - Specification and Verification of Fault Tolerance and Resilience - Probabilistic and Real-Time Systems - Dependable Systems - Verified System Development - Industrial Applications Submission to this special issue is open. We expect original articles (typically 20-30 pages) that present high-quality contributions, have not been previously published in an archival venue and that must not be simultaneously submitted for publication elsewhere. Submissions must be written in English and comply with SCP's author guidelines http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/authori… Submission is over the SCP website: http://ees.elsevier.com/scico/default.asp which you will have to register for if you do not have an account. When submitting your paper please choose the article type "Special issue: AVoCS 2015". Please send any queries you may have to Gudmund Grov (G.Grov(a)hw.ac.uk)

1 0