[TYPES/announce] Programming with handlers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] On Tuesday 18th June (next week), we are holding an informal workshop on programming with handlers for algebraic effects, in Cambridge (further details below). We appreciate that this is rather short notice, but thought it may be of interest to some readers of the types list in the vicinity. Let us know if you would like to attend. Regards, Sam Sam --- Programming with handlers Tuesday 18th June Cambridge, UK For a long time we have been aware of the algebraic structure of computation and its relationship with monads. More recently the algebraic structure of computation has been used as a basis for new programming languages and new idioms for existing languages. Broadly speaking, the programmer first specifies a class of effects using an algebraic signature, and then specifies how those effects may be dealt with using an algebraic structure for that signature (a handler). We've invited talks from the following groups. They have all been involved in designing and implementing language support for handlers. We hope to have time for discussion and demos too. Matija Pretnar / Andrej Bauer (Ljubljana) Eff: http://arxiv.org/abs/1203.1539v1 Edwin Brady (St Andrews) http://www.cs.st-andrews.ac.uk/~eb/drafts/effects.pdf Ohad Kammar / Sam Lindley / Nicholas Oury (Cambridge, Edinburgh) http://homepages.inf.ed.ac.uk/slindley/papers/handlers-draft-march2013.pdf Conor McBride (Strathclyde) Frank: https://personal.cis.strath.ac.uk/conor.mcbride/pub/Frank/TFM.pdf -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
[TYPES/announce] WadlerFest, 11--12 April 2016, Edinburgh
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Our colleague, friend, tormentor and educator, Professor Philip Wadler will turn sixty at the beginning of April, 2016. Phil will be presented with a festschrift entitled "A list of successes that can change the world" at a special event, WadlerFest, on Monday 11th–Tuesday 12th April 2016 in Edinburgh. http://events.inf.ed.ac.uk/wf2016/ Accepted papers: Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna and Perdita Stevens Reflections on monadic lenses Robert Atkey, Sam Lindley and J. Garrett Morris Conflation confers concurrency Nick Benton, Andrew Kennedy, Martin Hofmann and Vivek Nigam Counting successes: effects and transformations for non-deterministic programs Andrew Black, Kim Bruce and James Noble The essence of inheritance John T. O'Donnell and Cordelia Hall Pointlessness is better than listlessness Hugh Leather and Janne Irgens The lambda calculus: practice and principle Simon Gay Subtyping supports safe session substitution Neil Ghani, Fredrik Nordvall Forsberg and Federico Orsanigo Proof relevant parametricity Jeremy Gibbons Comprehending ringads Ralf Hinze and Dan Marsden Dragging proofs out of pictures John Hughes Experiences with QuickCheck: testing the hard stuff and staying sane Graham Hutton and Patrick Bahr Cutting out continuations Conor McBride I got plenty o’ nuttin’ Martin Odersky, Nada Amin, Tiark Rompf, Sandro Stucki and Samuel Gruetter The essence of dependent object types Jennifer Paykin and Steve Zdancewic Linear lambda-mu is CP (more or less) Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg and Dimitrios Vytiniotis A reflection on types Tiark Rompf The essence of multi-stage evaluation in LMS Andreas Rossberg 1ML with special effects Manuel Serrano The computer scientist nightmare Avraham Shinnar and Jerome Simeon A branding strategy for business types Jeremy Siek and Sam Tobin-Hochstadt The recursive union of some gradual types Bernardo Toninho and Nobuko Yoshida Certifying data in multiparty session types Peter Thiemann A delta for hybrid type checking David Turner Recursion equations as a programming language Jeremy Yallop and Hai Liu Causal commutative arrows revisited Phil holds the chair in theoretical computer science (Robin Milner's old chair) at the Laboratory for Foundations of Computer Science (LFCS). A separate event, LFCS30, to celebrate the 30th anniversary of the founding of the LFCS will take place on Wednesday 13th April in Edinburgh. http://events.inf.ed.ac.uk/lfcs30/ Registration costs £25 and includes both events as well as coffee, lunch, and a banquet on Tuesday evening. http://www.epay.ed.ac.uk/browse/product.asp?compid=1=2=42 Stephen Gilmore Sam Lindley Conor McBride Don Sannella Phil Trinder -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
[TYPES/announce] Final call for participation: LFCS30 / WadlerFest, 11–13 April 2016, Edinburgh
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] This is the final call for participation at LFCS30 / WadlerFest. Registration deadline: 24th March 2016. WadlerFest (11–12 April 2016) -- Professor Philip Wadler will turn sixty at the beginning of April, 2016. Phil will be presented with a Festschrift entitled "A list of successes that can change the world" at a special event, WadlerFest, on Monday 11th–Tuesday 12th April 2016 in Edinburgh. http://events.inf.ed.ac.uk/wf2016/ LFCS 30th Anniversary (13 April 2016) - Founded in 1986 by Rod Burstall, Robin Milner, Gordon Plotkin and Matthew Hennessy, the Laboratory for Foundations of Computer Science is a community of theoretical computer scientists with interests in research topics such as concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases, and modelling, and their applications in Computer Science and beyond. LFCS30 is a celebration of thirty years of innovation in these areas. http://events.inf.ed.ac.uk/lfcs30/ Speakers include: Samson Abramsky, Peter Buneman, George Cleland, Kousha Etessami, Philippa Gardner, Robert Harper, Furio Honsell, Gordon Plotkin, John Power, Philip Scott, and Philip Wadler. Registration costs £25, as a contribution towards catering costs, and includes both events as well as coffee, lunch, and a celebration banquet, shared between the two events, on 12th April. http://www.epay.ed.ac.uk/browse/extra_info.asp?compid=1=2=24=42=2136 If you do not intend to attend all three days, then please let us know in the dietary requirements box so that we can adjust catering numbers accordingly. Alternatively send an email to: level4ad...@inf.ed.ac.uk Stephen Gilmore Sam Lindley Conor McBride Don Sannella Phil Trinder (organisers) -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
[TYPES/announce] CFP: ML Family Workshop 2016
algorithm, a complexity analysis), empirically or by substantial experience. Personal experience is accepted as justification so long as it is extensive and illustrated with concrete examples. Format -- The ML 2017 workshop will continue the informal approach followed since 2010. Presentations are selected from submitted abstracts. There are no published proceedings, so contributions may be submitted for publication elsewhere. We hope that this format will encourage the presentation of exciting (if unpolished) research and deliver a lively workshop atmosphere. Each presentation should take 20-25 minutes, except demos, which should take 10-15 minutes. The exact time will be decided based on the number of accepted submissions. The presentations will likely be recorded. Post-proceedings ML 2017 is an informal workshop without proceedings. We are planning to publish a post-proceedings and to invite interested authors of selected presentations to expand their abstracts for inclusion. Coordination with the OCaml Users and Developers Workshop - The OCaml workshop is seen as more practical and is dedicated in significant part to OCaml community building and the development of the OCaml system. In contrast, the ML family workshop is not focused on any language in particular, is more research-oriented, and deals with general issues of ML-style programming and type systems. Yet there is an overlap, which we are keen to explore in various ways. The authors who feel their submission fits both workshops are encouraged to mention it at submission time or contact the programme chairs. Submission details -- Submissions should be at most two pages, in PDF format, and printable on US Letter or A4 sized paper. A submission should have a synopsis (2--3 lines) and a body between 1 and 2 pages, in one- or two-column layout. The synopsis should be suitable for inclusion in the workshop programme. The bibliography will not be counted against the page limit. Submissions must be uploaded to the workshop submission website https://icfp-mlworkshop17.hotcrp.com/ before the submission deadline (Wednesday 31st May). If you have a question concerning the scope of the workshop or the submission process, please contact the programme chair. Important dates --- Wednesday 31st May (any time zone) Abstract submission deadline Wednesday 28th June Author notification Thursday 7th September 2017 ML Family Workshop Programme committee --- Nick Benton (Facebook, UK) Małgorzata Biernacka (University of Wroclaw, Poland) Stephen Dolan (University of Cambridge, UK) Shin-ya Katsumata (Kyoto University, Japan) Julia Lawall (LIP6 Paris, France) Sam Lindley (The University of Edinburgh, UK) (PC chair) Andreas Rossberg (Google, Germany) Sukyoung Ryu (KAIST, South Korea) Gabriel Scherer (Northeastern University, US) Alley Stoughton (Boston University, US) Niki Vazou (University of Maryland, US) -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
[TYPES/announce] CFP: Workshop on Type-driven Development (TyDe '17)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS 2nd Workshop on Type-Driven Development (TyDe '17) 3 September 2017, Oxford, UK http://tydeworkshop.org/2017 # Goals of the workshop The workshop on Type-Driven Development aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: - dependently typed programming; - generic programming; - design and implementation of programming languages, exploiting types in novel ways; - exploiting typed data, data dependent data, or type providers; - static and dynamic analyses of typed programs; - tools, IDEs, or testing tools exploiting type information; - pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs. # Program Committee - Nada Amin, EPFL, Switzerland - Ana Bove, Chalmers University of Technology, Sweden - Patricia Johann, Appalachian State University, US - Yukiyoshi Kameyama, University of Tsukuba, Japan - Sam Lindley, The University of Edinburgh, UK (co-chair) - Limin Jia, CMU, US - Assia Mahboubi, INRIA Saclay, France - Liam O’Connor, University of New South Wales, Australia - Nicolas Oury, Jane Street, UK - Jennifer Paykin, University of Pennsylvania, US - Paula Severi, University of Leicester, UK - Tarmo Uustalu, Talinn University of Technology, Estonia - Jeremy Yallop, University of Cambridge, UK - Brent Yorgey, Hendrix College, US (co-chair) # Proceedings and Copyright We plan to have formal proceedings, published by the ACM. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance, but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. # Submission details Submissions should fall into one of two categories: - Regular research papers (12 pages) - Extended abstracts (2 pages) The bibliography will not be counted against the page limits for either category. Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings. We welcome submissions from PC members (with the exception of the two co-chairs), but these submissions will be held to a higher standard. Submission is handled through HotCRP: https://icfp-tyde17.hotcrp.com/ All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines: http://www.sigplan.org/Resources/Author/ *Note* that the ACM SIGPLAN style guidelines have changed from previous years! In particular, submissions should use the new 'acmart' format and 'sigplan' subformat. Extended abstracts must be submitted with the label 'Extended abstract' clearly in the title. # Important Dates - Regular paper deadline: Wednesday, 24th May, 2017 - Extended abstract deadline: Wednesday, 7th June, 2017 - Author notification: Wednesday, 28th June, 2017 - Deadline for camera ready version: Saturday, 15th July, 2017 - Workshop: Sunday, 3rd September, 2017 # Travel Support Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC program, see its web page: http://www.sigplan.org/PAC/ -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
[TYPES/announce] Final CFP: ML Family Workshop 2017
: Research presentations should describe new ideas, experimental results, or significant advances in ML-related projects. We especially encourage presentations that describe work in progress, that outline a future research agenda, or that encourage lively discussion. These presentations should be structured in a way which can be, at least in part, of interest to (advanced) users. * Experience Reports: Users are invited to submit Experience Reports about their use of ML and related languages. These presentations do not need to contain original research but they should tell an interesting story to researchers or other advanced users, such as an innovative or unexpected use of advanced features or a description of the challenges they are facing or attempting to solve. * Demos: Live demonstrations or short tutorials should show new developments, interesting prototypes, or work in progress, in the form of tools, libraries, or applications built on or related to ML and related languages. (You will need to provide all the hardware and software required for your demo; the workshop organisers are only able to provide a projector.) * Informed Positions: A justified argument for or against a language feature. The argument must be substantiated, either theoretically (e.g. by a demonstration of (un)soundness, an inference algorithm, a complexity analysis), empirically or by substantial experience. Personal experience is accepted as justification so long as it is extensive and illustrated with concrete examples. Format -- The ML 2017 workshop will continue the informal approach followed since 2010. Presentations are selected from submitted abstracts. There are no published proceedings, so contributions may be submitted for publication elsewhere. We hope that this format will encourage the presentation of exciting (if unpolished) research and deliver a lively workshop atmosphere. Each presentation should take 20-25 minutes, except demos, which should take 10-15 minutes. The exact time will be decided based on the number of accepted submissions. The presentations will likely be recorded. Post-proceedings ML 2017 is an informal workshop without proceedings. We are planning to publish a post-proceedings and to invite interested authors of selected presentations to expand their abstracts for inclusion. Coordination with the OCaml Users and Developers Workshop - The OCaml workshop is seen as more practical and is dedicated in significant part to OCaml community building and the development of the OCaml system. In contrast, the ML family workshop is not focused on any language in particular, is more research-oriented, and deals with general issues of ML-style programming and type systems. Yet there is an overlap, which we are keen to explore in various ways. The authors who feel their submission fits both workshops are encouraged to mention it at submission time or contact the programme chairs. Submission details -- Submissions should be at most two pages, in PDF format, and printable on US Letter or A4 sized paper. A submission should have a synopsis (2--3 lines) and a body between 1 and 2 pages, in one- or two-column layout. The synopsis should be suitable for inclusion in the workshop programme. The bibliography will not be counted against the page limit. Submissions must be uploaded to the workshop submission website https://icfp-mlworkshop17.hotcrp.com/ before the submission deadline (Wednesday 31st May). If you have a question concerning the scope of the workshop or the submission process, please contact the programme chair. Important dates --- Wednesday 31st May (any time zone) Abstract submission deadline Wednesday 28th June Author notification Thursday 7th September 2017 ML Family Workshop Programme committee --- Nick Benton (Facebook, UK) Małgorzata Biernacka (University of Wroclaw, Poland) Stephen Dolan (University of Cambridge, UK) Shin-ya Katsumata (Kyoto University, Japan) Julia Lawall (LIP6 Paris, France) Sam Lindley (The University of Edinburgh, UK) (PC chair) Andreas Rossberg (Google, Germany) Sukyoung Ryu (KAIST, South Korea) Gabriel Scherer (Northeastern University, US) Alley Stoughton (Boston University, US) Niki Vazou (University of Maryland, US) -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
[TYPES/announce] Final CFP: Workshop on Type-driven Development (TyDe '17)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS 2nd Workshop on Type-Driven Development (TyDe '17) 3 September 2017, Oxford, UK http://tydeworkshop.org/2017 # Goals of the workshop The workshop on Type-Driven Development aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: - dependently typed programming; - generic programming; - design and implementation of programming languages, exploiting types in novel ways; - exploiting typed data, data dependent data, or type providers; - static and dynamic analyses of typed programs; - tools, IDEs, or testing tools exploiting type information; - pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs. # Invited speaker Andrew Kennedy, Facebook, UK # Program Committee - Nada Amin, EPFL, Switzerland - Ana Bove, Chalmers University of Technology, Sweden - Patricia Johann, Appalachian State University, US - Yukiyoshi Kameyama, University of Tsukuba, Japan - Sam Lindley, The University of Edinburgh, UK (co-chair) - Limin Jia, CMU, US - Assia Mahboubi, INRIA Saclay, France - Liam O’Connor, University of New South Wales, Australia - Nicolas Oury, Jane Street, UK - Jennifer Paykin, University of Pennsylvania, US - Paula Severi, University of Leicester, UK - Tarmo Uustalu, Tallinn University of Technology, Estonia - Jeremy Yallop, University of Cambridge, UK - Brent Yorgey, Hendrix College, US (co-chair) # Proceedings and Copyright We plan to have formal proceedings, published by the ACM. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance, but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. # Submission details Submissions should fall into one of two categories: - Regular research papers (12 pages) - Extended abstracts (2 pages) The bibliography will not be counted against the page limits for either category. Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings. We welcome submissions from PC members (with the exception of the two co-chairs), but these submissions will be held to a higher standard. Submission is handled through HotCRP: https://icfp-tyde17.hotcrp.com/ All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines: http://www.sigplan.org/Resources/Author/ *Note* that the ACM SIGPLAN style guidelines have changed from previous years! In particular, submissions should use the new ‘acmart’ format and the two-column ‘sigplan’ subformat (not to be confused with the one-column ‘acmlarge’ subformat!). Extended abstracts must be submitted with the label 'Extended abstract' clearly in the title. # Important Dates - Regular paper deadline: Wednesday, 24th May, 2017 - Extended abstract deadline: Wednesday, 7th June, 2017 - Author notification: Wednesday, 28th June, 2017 - Deadline for camera ready version: Saturday, 15th July, 2017 - Workshop: Sunday, 3rd September, 2017 # Travel Support Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC program, see its web page: http://www.sigplan.org/PAC/ -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
[TYPES/announce] 2nd CFP: Workshop on Type-driven Development (TyDe '17)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS 2nd Workshop on Type-Driven Development (TyDe '17) 3 September 2017, Oxford, UK http://tydeworkshop.org/2017 # Goals of the workshop The workshop on Type-Driven Development aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: - dependently typed programming; - generic programming; - design and implementation of programming languages, exploiting types in novel ways; - exploiting typed data, data dependent data, or type providers; - static and dynamic analyses of typed programs; - tools, IDEs, or testing tools exploiting type information; - pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs. # Invited speaker Andrew Kennedy, Facebook, UK # Program Committee - Nada Amin, EPFL, Switzerland - Ana Bove, Chalmers University of Technology, Sweden - Patricia Johann, Appalachian State University, US - Yukiyoshi Kameyama, University of Tsukuba, Japan - Sam Lindley, The University of Edinburgh, UK (co-chair) - Limin Jia, CMU, US - Assia Mahboubi, INRIA Saclay, France - Liam O’Connor, University of New South Wales, Australia - Nicolas Oury, Jane Street, UK - Jennifer Paykin, University of Pennsylvania, US - Paula Severi, University of Leicester, UK - Tarmo Uustalu, Tallinn University of Technology, Estonia - Jeremy Yallop, University of Cambridge, UK - Brent Yorgey, Hendrix College, US (co-chair) # Proceedings and Copyright We plan to have formal proceedings, published by the ACM. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance, but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. # Submission details Submissions should fall into one of two categories: - Regular research papers (12 pages) - Extended abstracts (2 pages) The bibliography will not be counted against the page limits for either category. Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings. We welcome submissions from PC members (with the exception of the two co-chairs), but these submissions will be held to a higher standard. Submission is handled through HotCRP: https://icfp-tyde17.hotcrp.com/ All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines: http://www.sigplan.org/Resources/Author/ *Note* that the ACM SIGPLAN style guidelines have changed from previous years! In particular, submissions should use the new ‘acmart’ format and the two-column ‘sigplan’ subformat (not to be confused with the one-column ‘acmlarge’ subformat!). Extended abstracts must be submitted with the label 'Extended abstract' clearly in the title. # Important Dates - Regular paper deadline: Wednesday, 24th May, 2017 - Extended abstract deadline: Wednesday, 7th June, 2017 - Author notification: Wednesday, 28th June, 2017 - Deadline for camera ready version: Saturday, 15th July, 2017 - Workshop: Sunday, 3rd September, 2017 # Travel Support Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC program, see its web page: http://www.sigplan.org/PAC/ -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
[TYPES/announce] Second CFP: ML Family Workshop 2017
algorithm, a complexity analysis), empirically or by substantial experience. Personal experience is accepted as justification so long as it is extensive and illustrated with concrete examples. Format -- The ML 2017 workshop will continue the informal approach followed since 2010. Presentations are selected from submitted abstracts. There are no published proceedings, so contributions may be submitted for publication elsewhere. We hope that this format will encourage the presentation of exciting (if unpolished) research and deliver a lively workshop atmosphere. Each presentation should take 20-25 minutes, except demos, which should take 10-15 minutes. The exact time will be decided based on the number of accepted submissions. The presentations will likely be recorded. Post-proceedings ML 2017 is an informal workshop without proceedings. We are planning to publish a post-proceedings and to invite interested authors of selected presentations to expand their abstracts for inclusion. Coordination with the OCaml Users and Developers Workshop - The OCaml workshop is seen as more practical and is dedicated in significant part to OCaml community building and the development of the OCaml system. In contrast, the ML family workshop is not focused on any language in particular, is more research-oriented, and deals with general issues of ML-style programming and type systems. Yet there is an overlap, which we are keen to explore in various ways. The authors who feel their submission fits both workshops are encouraged to mention it at submission time or contact the programme chairs. Submission details -- Submissions should be at most two pages, in PDF format, and printable on US Letter or A4 sized paper. A submission should have a synopsis (2--3 lines) and a body between 1 and 2 pages, in one- or two-column layout. The synopsis should be suitable for inclusion in the workshop programme. The bibliography will not be counted against the page limit. Submissions must be uploaded to the workshop submission website https://icfp-mlworkshop17.hotcrp.com/ before the submission deadline (Wednesday 31st May). If you have a question concerning the scope of the workshop or the submission process, please contact the programme chair. Important dates --- Wednesday 31st May (any time zone) Abstract submission deadline Wednesday 28th June Author notification Thursday 7th September 2017 ML Family Workshop Programme committee --- Nick Benton (Facebook, UK) Małgorzata Biernacka (University of Wroclaw, Poland) Stephen Dolan (University of Cambridge, UK) Shin-ya Katsumata (Kyoto University, Japan) Julia Lawall (LIP6 Paris, France) Sam Lindley (The University of Edinburgh, UK) (PC chair) Andreas Rossberg (Google, Germany) Sukyoung Ryu (KAIST, South Korea) Gabriel Scherer (Northeastern University, US) Alley Stoughton (Boston University, US) Niki Vazou (University of Maryland, US) -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
[TYPES/announce] Final CFP: ProWeb 2018
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ProWeb 2018: 2nd International Workshop on Programming Technology for the Future Web https://2018.programming-conference.org/track/proweb-2018-papers Co-located with the conference April 10, Nice, France Full-fledged web applications have become ubiquitous on desktop and mobile devices alike. Whereas “responsive” web applications already offered a more desktop-like experience, there is an increasing demand for “rich” web applications (RIAs) that offer collaborative and even off-line functionality —Google docs being the prototypical example. Long gone are the days that web servers merely had to answer incoming HTTP request with a block of static HTML. Today’s servers react to a continuous stream of events coming from JavaScript applications that have been pushed to clients. As a result, application logic and data is increasingly distributed. Traditional dichotomies such as “client vs. server” and “offline vs. online” are fading. ** Call for Papers ** The 2nd International Workshop on Programming Technology for the Future Web, or ProWeb18, is a forum for researchers and practitioners to share and discuss new technology for programming these and future evolutions of the web. We welcome submissions introducing programming technology (i.e., frameworks, libraries, programming languages, program analyses and development tools) for implementing web applications and for maintaining their quality over time, as well as experience reports about the use of state-of-the-art programming technology. Relevant topics include, but are not limited to: * Quality on the new web: static and dynamic program analyses; code, design test and process metrics; development and migration tools; automated testing and test generation; contract systems, type systems, and web service API conformance checking; ... * Hosting languages on the web: new runtimes; transpilation or compilation to JavaScript, WebAssembly, asm.js, ... * Designing languages for the web: multi-tier (or tierless) programming; reactive programming; frameworks for multi-tier or reactive programming on the web; ... * Distributed data sharing, replication and consistency: cloud types, CRDTs, eventual consistency, offline storage, peer-to-peer communication, ... * Security on the web: client-side and server-side security policies; policy enforcement; proxies and membranes; vulnerability detection; dynamic patching, ... * Surveys and case studies using state-of-the-art web technology * Ideas on and experience reports about: how to reconcile the need for quality with the need for agility on the web; how to master and combine the myriad of tier-specific technologies required to develop a web application, .. * Position statements on what the future of the web should look like We solicit three kinds of submissions via EasyChair: https://easychair.org/conferences/?conf=proweb2018 - 6-page **technical papers** and **experience reports** that, when accepted, will be published in the workshop post-proceedings as part of of the ACM’s Digital Library. - 3-page **position statements** that, when accepted, will be published in the workshop post-proceedings as part of of the ACM’s Digital Library. - 1-page **presentation abstracts** that, when accepted, will be made available on the website. Each submission will be reviewed by at least three members of the program committee. We welcome submissions that identify new problems, or report on promising ideas in early stages of research. Submissions of the third kind are ideal to further disseminate existing ideas within the community, to demonstrate existing tools, or simply to instigate a discussion. More information: https://2018.programming-conference.org/track/proweb-2018-papers ** Important dates (AoE) ** - Submission deadline: Mon 15 Jan 2018 - Author notification: Mon 12 Feb 2017 - Camera-ready version: Wed 21 Feb 2017 ** Organizers ** - Coen De Roover, Vrije Universiteit Brussel, Belgium - Tom Van Cutsem, Nokia Bell Labs, Belgium ** Program Committee ** - Nataliia Bielova, Inria, France - Tobias Distler, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany - Philipp Haller, KTH Royal Institute of Technology, Sweden - Sam Lindley, University of Edinburgh, United Kingdom - Anders Møller, Aarhus University, Denmark - Frank Piessens, KU Leuven, Belgium - Michael Prädel, TU Darmstadt, Germany - Alejandro Russo, Chalmers University of Technology, Sweden - Alan Schmitt, India, France - Christophe Scholliers, Universiteit Gent, Belgium - Manuel Serrano, Inria, France - Mario Südholt, IMT Atlantique Nantes, France - Peter Thiemann, University of Freiburg, Germany - Erik Wittern, IBM, United States -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
[TYPES/announce] MSFP 2020 - Second Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Eighth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Saturday 25th April 2020, Dublin, Ireland A satellite workshop of ETAPS 2020 https://msfp-workshop.github.io/msfp2020/ ** Deadline: 9th January (abstract), 16th January (paper) ** The eighth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven, Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held in July 2018, in Oxford, UK, as part of FLoC 2018. Important Dates: Abstract deadline: 9th January (Thursday) Paper deadline:16th January (Thursday) Notification: 27th February (Thursday) Final version: 26th March(Thursday) Workshop: 25th April(Saturday) Invited Speakers: = Pierre-Marie Pédrot - Inria Rennes-Bretagne-Atlantique, France Satnam Singh- Google Research, USA Program Committee: == Stephanie Balzer - CMU, USA Kwanghoon Choi- Chonnam, South Korea Ralf Hinze- Kaiserslautern, Germany Marie Kerjean - Inria Nantes, France Sam Lindley - Edinburgh and Imperial, UK (co-chair) Max New - Northeastern, USA (co-chair) Fredrik Nordvall-Forsberg - Strathclyde, UK Alberto Pardo - Montevideo, Uruguay Exequiel Rivas Gadda - Inria Paris, France Claudio Russo - DFINITY, UK Tarmo Uustalu - Reykjavik, Iceland Nicolas Wu- Imperial, UK Maaike Zwart - Oxford, UK Submission: === Submissions are welcomed on, but by no means restricted to, topics such as: structured effectful computation structured recursion structured corecursion structured tree and graph operations structured syntax with variable binding structured datatype-genericity structured search structured representations of functions structured quantum computation structure directed optimizations structured types structure derived from programs and data Please contact the programme chairs Sam Lindley (sam.lind...@ed.ac.uk) and Max New (max...@ccs.neu.edu) if you have any questions about the scope of the workshop. We accept two categories of submission: full papers of no more than 15 pages that will appear in the proceedings, and extended abstracts of no more than 2 pages that we will post on the website, but which do not constitute formal publications and will not appear in the proceedings. References and appendices are not included in page limits. Appendices may not be read by reviewers. Submissions must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the workshop by one of the authors. The proceedings will be published under the auspices of EPTCS with a Creative Commons license. A short abstract should be submitted a week in advance of the paper deadline (for both full paper and extended abstract submissions). We are using EasyChair to manage submissions. To submit a paper, use this link: https://easychair.org/conferences/?conf=msfp2020 -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
[TYPES/announce] MSFP 2020 - First Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Eighth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Saturday 25th April 2020, Dublin, Ireland A satellite workshop of ETAPS 2020 https://msfp-workshop.github.io/msfp2020/ ** Deadline: 9th January (abstract), 16th January (paper) ** The eighth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven, Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held in July 2018, in Oxford, UK, as part of FLoC 2018. Important Dates: Abstract deadline: 9th January (Thursday) Paper deadline:16th January (Thursday) Notification: 27th February (Thursday) Final version: 26th March(Thursday) Workshop: 25th April(Saturday) Invited Speakers: = - Pierre-Marie Pédrot, Inria Rennes-Bretagne-Atlantique, France - Second invited speaker TBC Program Committee: == Stephanie Balzer - CMU, USA Kwanghoon Choi- Chonnam, South Korea Ralf Hinze- Kaiserslautern, Germany Marie Kerjean - Inria Nantes, France Sam Lindley - Edinburgh and Imperial, UK (co-chair) Max New - Northeastern, USA (co-chair) Fredrik Nordvall-Forsberg - Strathclyde, UK Alberto Pardo - Montevideo, Uruguay Exequiel Rivas Gadda - Inria Paris, France Claudio Russo - DFINITY, UK Tarmo Uustalu - Reykjavik, Iceland Nicolas Wu- Imperial, UK Maaike Zwart - Oxford, UK Submission: === Submissions are welcomed on, but by no means restricted to, topics such as: structured effectful computation structured recursion structured corecursion structured tree and graph operations structured syntax with variable binding structured datatype-genericity structured search structured representations of functions structured quantum computation structure directed optimizations structured types structure derived from programs and data Please contact the programme chairs Sam Lindley (sam.lind...@ed.ac.uk) and Max New (max...@ccs.neu.edu) if you have any questions about the scope of the workshop. We accept two categories of submission: full papers of no more than 15 pages that will appear in the proceedings, and extended abstracts of no more than 2 pages that we will post on the website, but which do not constitute formal publications and will not appear in the proceedings. References and appendices are not included in page limits. Appendices may not be read by reviewers. Submissions must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the workshop by one of the authors. The proceedings will be published under the auspices of EPTCS with a Creative Commons license. A short abstract should be submitted a week in advance of the paper deadline (for both full paper and extended abstract submissions). We are using EasyChair to manage submissions. To submit a paper, use this link: https://easychair.org/conferences/?conf=msfp2020 -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
[TYPES/announce] MSFP 2020 - Final Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Eighth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Saturday 25th April 2020, Dublin, Ireland A satellite workshop of ETAPS 2020 https://msfp-workshop.github.io/msfp2020/ ** Deadline: 9th January (abstract), 16th January (paper) ** The eighth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven, Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held in July 2018, in Oxford, UK, as part of FLoC 2018. Important Dates: Abstract deadline: 9th January (Thursday) Paper deadline:16th January (Thursday) Notification: 27th February (Thursday) Final version: 26th March(Thursday) Workshop: 25th April(Saturday) Invited Speakers: = Pierre-Marie Pédrot - Inria Rennes-Bretagne-Atlantique, France Satnam Singh- Google Research, USA Program Committee: == Stephanie Balzer - CMU, USA Kwanghoon Choi- Chonnam, South Korea Ralf Hinze- Kaiserslautern, Germany Marie Kerjean - Inria Nantes, France Sam Lindley - Edinburgh and Imperial, UK (co-chair) Max New - Northeastern, USA (co-chair) Fredrik Nordvall-Forsberg - Strathclyde, UK Alberto Pardo - Montevideo, Uruguay Exequiel Rivas Gadda - Inria Paris, France Claudio Russo - DFINITY, UK Tarmo Uustalu - Reykjavik, Iceland Nicolas Wu- Imperial, UK Maaike Zwart - Oxford, UK Submission: === Submissions are welcomed on, but by no means restricted to, topics such as: structured effectful computation structured recursion structured corecursion structured tree and graph operations structured syntax with variable binding structured datatype-genericity structured search structured representations of functions structured quantum computation structure directed optimizations structured types structure derived from programs and data Please contact the programme chairs Sam Lindley (sam.lind...@ed.ac.uk) and Max New (max...@ccs.neu.edu) if you have any questions about the scope of the workshop. We accept two categories of submission: full papers of no more than 15 pages that will appear in the proceedings, and extended abstracts of no more than 2 pages that we will post on the website, but which do not constitute formal publications and will not appear in the proceedings. References and appendices are not included in page limits. Appendices may not be read by reviewers. Submissions must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the workshop by one of the authors. The proceedings will be published under the auspices of EPTCS with a Creative Commons license. A short abstract should be submitted a week in advance of the paper deadline (for both full paper and extended abstract submissions). We are using EasyChair to manage submissions. To submit a paper, use this link: https://easychair.org/conferences/?conf=msfp2020 -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
[TYPES/announce] PEPM 2021 - Second Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- CALL FOR PAPERS -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2021 === * Website : https://popl21.sigplan.org/home/pepm-2021 * Time: 18th--19th January 2021 * Place : Online (co-located with POPL 2021) ** Deadline: 8th October ** ** Originally POPL 2021 was scheduled to be held in Copenhagen, Denmark, but due to the ongoing COVID-19 pandemic POPL 2021 and all affiliated events will now be held online. ** The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), which has a history going back to 1991 and has co-located with POPL every year since 2006, originates in the discoveries of practically useful automated techniques for evaluating programs with only partial input. Over the years, the scope of PEPM has expanded to include a variety of research areas centred around the theme of semantics-based program manipulation — the systematic exploitation of treating programs not only as subject to black-box execution, but also as data structures that can be generated, analysed, and transformed while establishing or maintaining important semantic properties. Scope - In addition to the traditional PEPM topics (see below), PEPM 2021 welcomes submissions in new domains, in particular: * Semantics based and machine-learning based program synthesis and program optimisation. * Modelling, analysis, and transformation techniques for distributed and concurrent protocols and programs, such as session types, linear types, and contract specifications. More generally, topics of interest for PEPM 2021 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, embedded and resource-limited computation, and security. This list of categories is not exhaustive, and we encourage submissions describing new theories and applications related to semantics-based program manipulation in general. If you have a question as to whether a potential submission is within the scope of the workshop, please contact the programme co-chairs, Sam Lindley and Torben Mogensen . Submission categories and guidelines Two kinds of submissions will be accepted: * Regular Research Papers should describe new results, and will be judged on originality, correctness, significance, and clarity. Regular research papers must not exceed 12 pages. * Short Papers may include tool demonstrations and presentations of exciting if not fully polished research, and of interesting academic, industrial, and open-source applications that are new or unfamiliar. Short papers must not exceed 6 pages. References and appendices are not included in page limits. Appendices may not be read by reviewers. Both kinds of submissions should be typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’ format available at: http://sigplan.org/Resources/Author/ and submitted electronically via HotCRP: https://pepm21.hotcrp.com/ Reviewing will be single-blind. Submissions are welcome from PC members (except the two co-chairs). Accepted regular research papers will appear in formal proceedings published by ACM, and be included in the ACM Digital Library. Accepted short papers do not constitute formal publications and will not appear in the proceedings. At least one author of each accepted contribution must attend the workshop virtually to present the work
[TYPES/announce] PEPM 2021 - First Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- CALL FOR PAPERS -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2021 === * Website : https://popl21.sigplan.org/home/pepm-2021 * Time: 18th--19th January 2021 * Place : Online or Copenhagen, Denmark (co-located with POPL 2021) **Note that the workshop will be held as a physical, virtual, or hybrid physical/virtual meeting in line with POPL 2021. Details to appear.** The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), which has a history going back to 1991 and has co-located with POPL every year since 2006, originates in the discoveries of practically useful automated techniques for evaluating programs with only partial input. Over the years, the scope of PEPM has expanded to include a variety of research areas centred around the theme of semantics-based program manipulation — the systematic exploitation of treating programs not only as subject to black-box execution, but also as data structures that can be generated, analysed, and transformed while establishing or maintaining important semantic properties. Scope - In addition to the traditional PEPM topics (see below), PEPM 2021 welcomes submissions in new domains, in particular: * Semantics based and machine-learning based program synthesis and program optimisation. * Modelling, analysis, and transformation techniques for distributed and concurrent protocols and programs, such as session types, linear types, and contract specifications. More generally, topics of interest for PEPM 2021 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, embedded and resource-limited computation, and security. This list of categories is not exhaustive, and we encourage submissions describing new theories and applications related to semantics-based program manipulation in general. If you have a question as to whether a potential submission is within the scope of the workshop, please contact the programme co-chairs, Sam Lindley and Torben Mogensen . Submission categories and guidelines Two kinds of submissions will be accepted: * Regular Research Papers should describe new results, and will be judged on originality, correctness, significance, and clarity. Regular research papers must not exceed 12 pages. * Short Papers may include tool demonstrations and presentations of exciting if not fully polished research, and of interesting academic, industrial, and open-source applications that are new or unfamiliar. Short papers must not exceed 6 pages. References and appendices are not included in page limits. Appendices may not be read by reviewers. Both kinds of submissions should be typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’ format available at: http://sigplan.org/Resources/Author/ and submitted electronically via HotCRP: https://pepm21.hotcrp.com/ Reviewing will be single-blind. Submissions are welcome from PC members (except the two co-chairs). Accepted papers will appear in formal proceedings published by ACM, and be included in the ACM Digital Library. Authors of short papers, however, can ask for their papers to be left out of the formal proceedings, in which case they will not be treated as formal publications and may be revised and published elsewhere. At least one author of each accepted contribution must attend
[TYPES/announce] MSFP 2020 (Monday August 31st and Tuesday September 1st) - Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Eighth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Monday 31st August and Tuesday 1st September 2020, online https://msfp-workshop.github.io/msfp2020/ ** Due to the COVID-19 pandemic, MSFP 2020 will now be held as a virtual meeting ** ** Registration deadline: Tuesday 25th August ** CALL FOR PARTICIPATION Registration Register for participation here by Tuesday 25th August: https://forms.gle/HNvFsxDKbGAvnv9x9 There is no registration fee. Invited Speakers Pierre-Marie Pédrot - Inria Rennes-Bretagne-Atlantique, France Satnam Singh- Google Research, USA The eighth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven, Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held in July 2018, in Oxford, UK, as part of FLoC 2018. Programme = All times are UTC+1 (i.e. the timezone of Dublin, Ireland where MSFP 2020 was originally scheduled to be held). Monday -- 13:00 Invited Speaker: Pierre-Marie Pedrot All your base categories are belong to us: A syntactic model of presheaves in type theory 14:00 break 14:30 Philippa Cowderoy Information aware type systems and telescopic constraint trees 15:00 Christopher Jenkins, Aaron Stump, and Larry Diehl Efficient lambda encodings for Mendler-style coinductive types in Cedille 15:30 break 16:00 Niels Voorneveld From equations to distinctions: Two interpretations of effectful computations 16:30 Dominic Orchard, Philip Wadler, and Harley Eades III Unifying graded and parameterised monads 17:00 virtual pub Tuesday --- 13:00 Anne Baanen and Wouter Swierstra Combining predicate transformer semantics for effects: a case study in parsing regular languages 13:30 Oleg Grenrus Shattered lens 14:00 break 14:30 Artjoms Sinkarovs Multi-dimensional arrays with levels 15:00 Fritz Henglein and Mikkel Kragh Mathiesen Module theory and query processing 15:30 break 16:00 Invited speaker: Satnam Singh Extracting low-level formally verified circuits from Cava in Coq 17:00 virtual pub Program Committee = Stephanie Balzer - CMU, USA Kwanghoon Choi- Chonnam, South Korea Ralf Hinze- Kaiserslautern, Germany Marie Kerjean - Inria Nantes, France Sam Lindley - Edinburgh and Imperial, UK (co-chair) Max New - Northeastern, USA (co-chair) Fredrik Nordvall-Forsberg - Strathclyde, UK Alberto Pardo - Montevideo, Uruguay Exequiel Rivas Gadda - Inria Paris, France Claudio Russo - DFINITY, UK Tarmo Uustalu - Reykjavik, Iceland Nicolas Wu- Imperial, UK Maaike Zwart - Oxford, UK Platforms = * We will use Google Meet for presentations. * If the number of participants is not too high then we will invite all participants to use Google Meet if they wish. * Regardless, we will also livestream talks via YouTube. * Questions and general discussion will be handled through Zulip. * We will use gather.town for "corridor chat". Further details will be emailed to registered participants. -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
[TYPES/announce] PEPM 2021 - Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- CALL FOR PARTICIPATION -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2021 === * Website : https://popl21.sigplan.org/home/pepm-2021 * Time: 18th--19th January 2021 * Place : Online (co-located with POPL 2021) Registration https://popl21.sigplan.org/attending/Registration The registration fee for POPL and all associated events (including PEPM) is a nominal US$10 (or optionally, if you are willing and able to pay more, some other amount based on your status). Early registration deadline: **Sunday 10th January, 2021** Keynote speakers Pat Hanrahan (Stanford) TBC Julia Lawall (Inria) Program manipulation of C code: from partial evaluation to semantic patches for the Linux kernel Matúš Tejiščák (Chordify) Erasure in dependently typed programming Preliminary Schedule (All talks are live. All times are CET, i.e. UTC+1.) Monday 18th January 2021 1000--1030 A functional Abstraction of Type Trails Kenichi Asai, *Youyou Cong*, Chiaki Ishio 1030--1100 A Text-based Syntax Completion Method Using LR Parsing *Isao Sasano*, Kwanghoon Choi 1100--1130 break 1130--1200 Coq to C Translation with Partial Evaluation Akira Tanaka 1200--1230 Counterexample Generation for Program Verification based on Ownership Refinement Types *Hideto Ueno*, John Toman, Naoki Kobayashi, Takeshi Tsukada 1230--1330 break 1330--1400 Control Flow Obfuscation for Featherweight Java using Continuation Passing Kenny Zhuo Ming Lu 1400--1430 Efficient Fair Conjunction for Structurally-Recursive Relations Petr Lozov, Dmitri Boulytchev 1430--1500 break 1500--1600 keynote 1 Program manipulation of C code: from partial evaluation to semantic patches for the Linux kernel Julia Lawall (Inria) Tuesday 19th January 2021 1500--1600 keynote 2 Erasure in dependently typed programming Matúš Tejiščák (Chordify) 1600--1630 break 1630--1700 Staged Effects and Handlers for Modular Languages with Abstraction *Casper Bach Poulsen*, Cas van der Rest, Tom Schrijvers 1700--1730 Automatic Differentiation via Effects and Handlers: An Implementation in Frank Jesse Sigal 1730--1800 break 1800--1830 A Type-Safe Structure Editor Calculus Christian Godiksen, Thomas Herrmann, Hans Hüttel, Mikkel Korup Lauridsen, Iman Owliaie 1830--1900 Strictly Capturing Non-Strict Closures Zachary Sullivan, Paul Downen, Zena M. Ariola 1900--1930 break 1930--2030 keynote 3 TBC Pat Hanrahan (Stanford) Best paper award PEPM 2021 continues the tradition of a Best Paper award. The winner will be announced at the workshop. The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
[TYPES/announce] post-doctoral research position - Effect Handler Oriented Programming - Edinburgh
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi, I have an opening for a post-doctoral research position at The University of Edinburgh on Effect Handler Oriented Programming (EHOP) funded by a UKRI Future Leaders Fellowship. Candidates should have a background in programming languages with experience of functional programming, formal semantics, and type theory. Some experience with effect handlers and algebraic effects is desirable, but not essential. The role will involve theory (e.g. developing and reasoning about novel effect type systems and algebraic theories) and practice (e.g. designing, implementing, and evaluating implementations and applications of effect handlers), and ample opportunity to engage with our project partners. The position is for three years starting in February 2022. The EHOP project: https://urldefense.com/v3/__https://effect-handlers.org/__;!!IBzWLUs!Dm1iM7rXJIJBqX3-JH6Wh-FEcOu_LoSe-hQMbFUkuDliNK_hfpgEud4SoZhct1hJnhJJCnmr9ZN2nA$ Job application details: https://urldefense.com/v3/__https://elxw.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/2087/__;!!IBzWLUs!Dm1iM7rXJIJBqX3-JH6Wh-FEcOu_LoSe-hQMbFUkuDliNK_hfpgEud4SoZhct1hJnhJJCnkafCpvmA$ If you are interested then feel free to contact me (application deadline: 1 November 2021). Sam The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.
[TYPES/announce] postdoctoral research positions in effect handler oriented programming at Edinburgh
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] I have funding for up to two postdoctoral researchers to work with me and my group on the theoretical foundations and practical design and implementation of effect handlers at The University of Edinburgh. https://urldefense.com/v3/__https://elxw.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/5903/__;!!IBzWLUs!XDiwYbtmbd2d5dhMuffzdw_YqVSyvKvgwOSkjCHZ_JX4prX_shxc0A-wcPAThVeJs3fYaPT5r9roR5fCO56rPSFXDm8BOHGHmWR5$ Feel free to get in touch with me if you're interested. Sam The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.
