Haskell

Download

haskell@haskell.org

April 2014

34 participants
42 discussions

[TFP2014] First Call for Participation
by Peter Achten 01 Apr '14

01 Apr '14

--------------------------------- 1ST CALL FOR PARTICIPATION --------------------------------- ======== TFP 2014 =========== 15th Symposium on Trends in Functional Programming May 26-28, 2014 Utrecht University Soesterberg, The Netherlands http://www.cs.uu.nl/wiki/TFP2014/WebHome Registration is now open for the symposium on Trends in Functional Programming (TFP). It 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. Submission for TFP is now closed, and the complete programme (29 presentations and two invited talks) for TFP can be perused here: http://www.cs.uu.nl/wiki/TFP2014/PresentationSchedule TFP 2014 will be the main event of a pair of functional programming events. The other is the International Workshop on Trends in Functional Programming in Education (TFPIE). TFPIE will take place on May 25th. Its website is located at http://www.cs.uwyo.edu/~jlc/tfpie14/ . The submission deadline for TFPIE is April 21, 2014. INVITED SPEAKERS TFP is pleased to announce talks by the following two invited speakers: John Hughes of Chalmers, Goteborg, Sweden, is well-known as author of Why Functional Programming Matters, and as one of the designers of QuickCheck (together with Koen Claessen); the paper on QuickCheck won the ICFP Most Influential Paper Award in 2010. Currently he divides his time between his professorship and Quviq, a company that performs property-based testing of software with a tool implemented in Erlang. Geoffrey Mainland received his PhD from Harvard University where he was advised by Greg Morrisett and Matt Welsh. After a two year postdoc with the Programming Principles and Tools group at Microsoft Research Cambridge, he is now an assistant professor at Drexel University. His research focuses on high-level programming language and runtime support for non-general purpose computation. IMPORTANT DATES Early registration: April 14, 2014 Late registration: May 15, 2014 TFPIE Workshop: May 25, 2014 TFP Symposium: May 26-28, 2014 Registrations can be made at the following URL: http://www.cs.uu.nl/wiki/TFP2014/Register This page will also point you to the web page of the venue where you can arrange for your stay. hoping to see you there. Jurriaan Hage (General Chair)

1 0

Second call-for-papers - Linearity 2014
by Mário Florido 01 Apr '14

01 Apr '14

[We apologize if you have received multiple copies of this message] ============================================================================== Call for Papers Third International Workshop on Linearity http://vsl2014.at/linearity/ July 13, 2014 Vienna, Austria Submission deadline: April 13, 2014 An associated event of the Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS), as part of the Vienna Summer of Logic. ============================================================================== Aim and Scope ------------- Ever since the birth of Girard's linear logic, there has been a stream of research where linearity is a key issue, covering both theoretical topics and applications to several areas of Computer Science, such as work on proof technology, complexity classes and more recently quantum computation, program analysis, expressive operational semantics, linear programming languages, and techniques for program transformation, update analysis and efficient implementation. The aim of this workshop is to bring together researchers who are currently developing theory and applications of linear calculi, to foster their interaction and provide a forum for presenting new ideas and work in progress, and enable newcomers to learn about current activities in this area. Linearity is a key feature in both theoretical and practical approaches to computer science, and the goal of this workshop is to present work exploring linearity both in theory and practice. Topics of interest include new results that make central use of linearity, ranging from foundational work to applications in any field, are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Specifically, topics of interest include, but are not limited to: * sub-linear logics * linear term calculi * linear type systems * linear proof-theory * linear programming languages * applications to concurrency * interaction-based systems * verification of linear systems * quantum models of computation * biological and chemical models of computation Important Dates --------------- * April 13, 2014: Submission deadline * May 10, 2014: Author notification * May 28, 2014: Deadline for final versions of accepted papers * July 13, 2014: Workshop Submission and Publication -------------------------- Authors are invited to submit an extended abstract (8 pages max) describing original ideas and recent results not published nor submitted elsewhere, or a 5-page abstract presenting relevant work that has been or will be published elsewhere, or work in progress. Preliminary proceedings will be available at the workshop. Papers should be written in English, and submitted in PostScript or PDF format, using the EPTCS style files. Submission is through the Easychair website: https://www.easychair.org/conferences/?conf=linearity2014 After the workshop, authors of the extended abstracts will be invited to submit a longe version of their work (typically a 15-pages paper) for publication in EPTCS. These submission will undergo a second round of referring. Furthermore, we envision publication of a special issue of a journal after the event. Programme Committee ------------------- * Sandra Alves (chair) * Iliano Cervesato (chair) * Kaustuv Chaudhuri * Maribel Fernández * Mário Florido * Simon Gay * Simone Martini * Luca Paolini * Simona Ronchi Della Rocca * Carsten Schuermann * Robert Simmons * Vasco Vasconcelos Contact ------- Sandra Alves: sandra(a)dcc.fc.up.pt Iliano Cervesato: iliano(a)cmu.edu

1 0