May 2016 - Haskell - Haskell.org

Call for Papers: WFLP 2016 - Workshop on Functional and (Constraint) Logic Programming
by Janis Voigtlaender 13 May '16

13 May '16

24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016) https://wflp2016.github.io/ September 13-14, part of the Leipzig Week of Declarative Programming (L-DEC 2016) *********************************************************** Deadlines: * abstract submission: June 15, 2016 * paper submission: June 22, 2016 * notification: July 15, 2016 * final version due: August 10, 2016 *********************************************************** The international workshops on functional and (constraint) logic programming aim at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. This year the workshop is co-located with two other events as part of http://nfa.imn.htwk-leipzig.de/LDEC2016/ in order to promote the cross-fertilizing exchange of ideas and experiences among and between the communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. Topics of interest for WFLP include (but are not limited to): * Functional programming * Logic programming * Constraint programming * Deductive databases, data mining * Extensions of declarative languages, objects * Multi-paradigm declarative programming * Foundations, semantics, nonmonotonic reasoning, dynamics * Parallelism, concurrency * Program analysis, abstract interpretation * Program transformation, partial evaluation, meta-programming * Specification, verification, declarative debugging * Knowledge representation, machine learning * Interaction of declarative programming with other formalisms * Implementation of declarative languages * Advanced programming environments and tools * Software engineering for declarative programming * Applications The primary focus is on new and original research results, but submissions describing innovative products, prototypes under development, application systems, or interesting experiments (e.g., benchmarks) are also encouraged. There are separate submission categories for work-in-progress reports and system descriptions. Authors are welcome to indicate that they want to present their work in a talk but not include a paper in the proceedings. The workshop proceedings will be published in CEUR or EPTCS. *********************************************************** Program Committee: * Slim Abdennadher, German University in Cairo, Egypt * Sergio Antoy, Portland State University, USA * Sebastian Fischer, Freelancer, Germany * Francisco J. Lopez Fraguas, Universidad Complutense de Madrid, Spain * Michael Hanus, University of Kiel, Germany * Sebastiaan Joosten, University of Innsbruck, Austria * Kazutaka Matsuda, Tohoku University, Japan * Martin Sulzmann, Karlsruhe University of Applied Sciences, Germany * Janis Voigtlaender (Chair), University of Bonn, Germany

1 0

SPLASH-I 2016: Call for Talk Proposals!
by Tijs van der Storm 11 May '16

11 May '16

SPLASH-I: Innovation, Interaction, Insight, Industry, Invited The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH 2016 will take place from Sunday, October 30 to Friday, November 4, 2016 in Amsterdam, The Netherlands. SPLASH-I is the track of SPLASH dedicated to great talks on exciting topics! SPLASH-I will run in parallel with all of SPLASH (during the week days), and is open to all attendees. SPLASH-I will host both invited talks and selected talks submitted via this call for proposals. SPLASH-I solicits inspiring talks, tutorials and demonstrations on exciting topics related to programming and programming systems, delivered by excellent speakers from academia or industry. SPLASH-I caters for three categories of presentations: - Regular talks on programming languages, systems or concepts; - Tutorials aimed at introducing particular tools, systems, or languages - Demonstrations showing off cool programming technology. All slots in SPLASH-I are 45 minutes. Please submit proposals here: http://goo.gl/forms/FZqQwpd73G Have a suggestion for a great speaker and topic? Suggest it here: http://goo.gl/forms/MWzgStWkww SPLASH-I maintains two deadlines: 1st of June, and, if there are still slots available, 1st of August. Websites: http://2016.splashcon.org/track/splash-2016-splash-i Organization: Eelco Visser (TU Delft), Tijs van der Storm (CWI) Committee: - Matthias Hauswirth (University of Lugano) - Igor Peshansky (Google) - Tiark Rompf (Purdue & Oracle Labs) - Jurgen Vinju (CWI)

1 0

SPLASH 2016: Call for Sponsorships
by Tijs van der Storm 10 May '16

10 May '16

The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH 2016 will take place from Sunday, October 30 to Friday, November 4, 2016 in Amsterdam, The Netherlands. Web version of this call for sponsorships: http://2016.splashcon.org/attending/support-program SPLASH is where the best of the best in software innovation, programming and programming languages convene, learn from and inspire each other, and share their passion for software. Supporting SPLASH is an opportunity to put your corporate name in front of this community — a superb investment for your organization. # Sponsorship Packages ## Diamond: $US 15 000 Benefits: - Recognition as a supporter in print and on the web. Recognized as a Diamond supporter on registration brochures and conference program - Two company-provided items placed in the conference tote bag - Official exclusive support for your choice of (subject to availability): Doctoral Symposium, Poster Session, Keynotes, or support for 8 Student Volunteers named for your organization - Attendance (for two) at an invitation-only reception by the SPLASH General Chair - Choice of: two Full conference registrations; or two complimentary main conference registrations plus two complimentary one-day pass registrations ## Gold: $US 10 000 Benefits: - Recognition as a supporter in print and on the web. Recognized as a Gold supporter on registration brochures and conference program - Two company-provided items placed in the conference tote bag - Official support for your choice of (subject to availability): Doctoral Symposium, Poster Session, Keynotes, or support for 6 Student Volunteers named for your organization - Attendance (for two) at an invitation-only reception by the SPLASH General Chair - Choice of: one Full conference registration plus one complimentary main conference registration; or two complimentary main conference registrations plus one complimentary one-day pass registration ## Silver: $US 5000 Benefits: - Recognition as a supporter in print and on the web. Recognized as a Silver supporter on registration brochures and conference program - One company-provided item placed in the conference tote bag - Official support for your choice of: four Student Volunteers named for your organization; or the Keynotes (non-exclusive support) - Attendance (for two) at an invitation-only reception by the SPLASH General Chair - Your choice of: one Full conference registration; or one complimentary main conference registration plus one complimentary one-day pass registration; or three complimentary one-day pass registrations ## Bronze $US 3000 - Recognition as a supporter in print and on the web. Recognized as a Bronze supporter on registration brochures and conference program - One company-provided one-page insert placed in conference tote bag - Official support for two Student Volunteers named for your organization - Attendance (for one) at an invitation-only reception by the SPLASH General Chair - Your choice of: one complimentary main conference registration; or two complimentary one-day pass registrations # Why sponsor SPLASH? SPLASH values innovation, collaboration, and diversity. For many software researchers, academics, students, educators, and practitioners, SPLASH is the most important conference of the year. It is a place to: - improve skills and productivity, independent of any particular product or vendor; - gain a global perspective connecting with world experts; and - discover and explore new trends and innovations in leading edge research and practice. Becoming a SPLASH corporate supporter demonstrates your leadership and commitment to the community. It is an opportunity to: - carry your message to community leaders; - associate your brand with world-class research and development; - position your company as a leader in the field; and - prepare for the future. Your corporate name and logo will be in front of the entire community throughout the conference. For the same contribution you also receive either complimentary or discounted SPLASH registrations for use by your organization. You will also have the opportunity to participate in invitation-only events that will provide you with direct, one-on-one interactions with some key members of the SPLASH community. Thank you for your time! Please do not hesitate to contact us at support(a)splashcon.org. We look forward to helping you make the most of your investment in SPLASH. Jurgen Vinju SPLASH 2016 Sponsorship Chair Eelco Visser SPLASH 2016 General Chair

1 0

Trustworthy Refactoring project: Research Associate Positions in Refactoring Functional Programs and Formal Verification (for CakeML)
by Simon Thompson 10 May '16

10 May '16

Trustworthy Refactoring project: Research Associate Positions in Refactoring Functional Programs and Formal Verification (for CakeML) The Trustworthy Refactoring project at the University of Kent is seeking to recruit postdoc research associates for two 3.5 year positions, to start in September this year. The overall goal of this project is to make a step change in the practice of refactoring by designing and constructing of trustworthy refactoring tools. By this we mean that when refactorings are performed, the tools will provide strong evidence that the refactoring has not changed the behaviour of the code, built on a solid theoretical understanding of the semantics of the language. Our approach will provide different levels of assurance from the (strongest) case of a fully formal proof that a refactoring can be trusted to work on all programs, given some pre-conditions, to other, more generally applicable guarantees, that a refactoring applied to a particular program does not change the behaviour of that program. The project will make both theoretical and practical advances. We will build a fully-verified refactoring tool for a relatively simple, but full featured programming language (CakeML https://cakeml.org) and at the other we will build an industrial-strength refactoring tool for a related industrially-relevant language (OCaml). This OCaml tool will allow us to explore a range of verification techniques, both fully and partially automated, and will set a new benchmark for building refactoring tools for programming languages in general. The project, which is coordinated by Prof Simon Thompson and Dr Scott Owens, will support two research associates, and the four will work as a team. One post will focus on pushing the boundaries of trustworthy refactoring via mechanised proof for refactorings in CakeML, and the other post will concentrate on building an industrial strength refactoring tool for OCaml. The project has industrial support from Jane Street Capital, who will contribute not only ideas to the project but also host the second RA for a period working in their London office, understanding the OCaml infrastructure and their refactoring requirements. You are encouraged to contact either of the project investigators by email (s.a.owens(a)kent.ac.uk, s.j.thompson(a)kent.ac.uk) if you have any further questions about the post, or if you would like a copy of the full research application for the project. We expect that applicants will have PhD degree in computer science (or a related discipline) or be close to completing one. For both posts we expect that applicants will have experience of writing functional programs, and for the verification post we also expect experience of developing (informal) proofs in a mathematical or programming context. To apply, please go to the following web pages: Research Associate in Formal Verification for CakeML (STM0682): https://jobs.kent.ac.uk/fe/tpl_kent01.asp?s=4A515F4E5A565B1A&jobid=40106,34… Research Associate in Refactoring Functional Programs (STM0683): https://jobs.kent.ac.uk/fe/tpl_kent01.asp?s=4A515F4E5A565B1A&jobid=40107,69… Simon and Scott Simon Thompson | Professor of Logic and Computation School of Computing | University of Kent | Canterbury, CT2 7NF, UK s.j.thompson(a)kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt

1 0

Summer of Haskell Mentors
by Edward Kmett 10 May '16

10 May '16

If you are interesting in helping out as a possible mentor for this year's Summer of Haskell, please email me, and include MENTOR in the title. Thank you! -Edward

1 0

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