[TYPES/announce] Call for talk proposals: HOPE'14 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'14)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- CALL FOR TALK PROPOSALS HOPE 2014 The 3rd ACM SIGPLAN Workshop on Higher-Order Programming with Effects August 31, 2014 Gothenburg, Sweden (the day before ICFP 2014) https://www.mpi-sws.org/~neelk/hope2014/ -- HOPE 2014 aims at bringing together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. - Goals of the Workshop - A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make it hard to build, maintain, and reason about one's code. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help tame or encapsulate effects (e.g. monads, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc. to be posted on this website. --- Call for Talk Proposals --- We solicit proposals for contributed talks. Proposals should be at most 2 pages, in either plain text or PDF format, and should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs at the address hope2013 AT mpi-sws.org. Deadline for talk proposals: June 13, 2014 (Friday) Notification of acceptance: July 4, 2014 (Friday) Workshop: August 31, 2014 (Sunday) The submission website is now open: https://www.easychair.org/conferences/?conf=hope2014 - Workshop Organization - Program Co-Chairs: Neel Krishnaswami (University of Birmingham) Hongseok Yang (University of Oxford) Program Committee: Zena Ariola (University of Oregon) Ohad Kammar (University of Cambridge) Ioannis Kassios (ETH Zurich) Naoki Kobayashi (University of Tokyo) Paul Blain Levy (University of Birmingham) Aleks Nanevski (IMDEA) Scott Owens (University of Kent) Sam Staton (Radboud University Nijmegen) Steve Zdancewic (University of Pennsylvania)
[TYPES/announce] Call For Submissions Doctoral Symposium ECOOP 2014
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call For Submissions 24th Doctoral Symposium at ECOOP'14 Monday, July 28th, 2014, Uppsala, Sweden http://ecoop14.it.uu.se/programme/doctoral-symposium.php Goals - The 2014 Doctoral Symposium provides a forum for both early and late-stage PhD students to present their research and get detailed feedback and advice. The main objectives of this event are: • to allow PhD students to practice writing clearly and to effectively present their research proposal • to get constructive feedback from other researchers • to build bridges for potential research collaboration • to contribute to the conference goals through interaction with other researchers at the main conference. The 24th edition of the Doctoral Symposium will be held as part of ECOOP 2014, Uppsala, Sweden. Event Format This is a full-day event of interactive presentations where the morning session will be dedicated to junior students and the afternoon session will be dedicated to the senior students. Besides the formal presentations and discussions in sessions, there will be plenty of opportunities for informal interactions during breaks, lunch and (possibly) dinner. It is also planned that members of the academic panel will give short presentations on a variety of topics related to PhD studies and doing research. Important Dates for ECOOP'14 Doctoral Symposium --- All deadlines are 23:59 Anywhere on Earth, i.e. Howland Island/Baker Island (GMT/UTC-12 hours), or your local time. Submission deadline: 6 June 2014 Acceptance notification: 16 June 2014 Written feedback:14 July 2014 Doctoral Symposium: 28 Jul 2014 If accepted for presentation, the student's advisor must email the chair no later than July 14th and confirm that the advisor attended at least one of the student's presentation rehearsals. Call For Submissions Potential topics are those of the main ECOOP'14 conference, i.e. all topics related to object technology including but not restricted to: • Architecture, Design Patterns • Aspects, Components, Modularity, Separation of Concerns • Collaboration, Workflow • Concurrency, Real-time, Embeddedness, Mobility, Distribution • Databases, Persistence, Transactions • Domain Specific Languages, Language Workbenches • Dynamicity, Adaptability, Reflection • Frameworks, Product Lines, Generative Programming • HCI, User Interfaces • Language Design, Language Constructs, Static Analysis • Language Implementation, Virtual Machines, Partial Evaluation • Methodology, Process, Practices, Metrics • Model Engineering, Design Languages, Transformations • Requirements Analysis, Business Modeling • Software Evolution, Versioning • Theoretical Foundations, Formal methods • Tools, Programming environments The structure and length of submissions is discussed below, and differs between junior and senior students. For Senior PhD Students --- The goal of the doctoral symposium session is to provide PhD students with useful feedback towards the successful completion of their dissertation research. Each student is assigned an academic panel, based on the specifics of that student's research, and a panel of PhD students who will prepare to participate in the discussion of the proposal and the presentation. The Doctoral student will give a presentation of 15-20 minutes (exact time will be announced later), followed by 15-20 minutes of questions and feedback. The experience is meant to mimic a mini- defense interview. Aside from the actual feedback, this helps the student gain familiarity with the style and mechanics of such an interview (advisors of student presenters will not be allowed to attend their student's presentations). To participate, the students should be far enough in their research to be able to present: • the importance of the problem • a clear research proposal • some preliminary work/results • an evaluation plan The students should still have at least 12 months before defending their dissertation. We believe that students that are defending within a year would not be able to incorporate the feedback they receive. To participate, please submit: • a 3-4 page abstract in the llncs format. • a letter from your advisor. This letter should include an assessment of the current status of your dissertation research and an expected date for dissertation submission. The advisor should e-mail this letter to Beatrice Åkerblom (beatr...@dsv.su.se). Abstracts should be sumbitted to:
[TYPES/announce] Extended deadline: PSC 2014, Proof, Structure, Computation. Vienna, 17-18 July
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Extended deadline for short abstracts: 6 May 2014 PSC 2014: Proof, Structure, Computation. CSL-LICS Affiliated Workshop July 17-18, 2014, Vienna, Austria http://vsl2014.at/psc/ === Highlights === - PSC welcomes submissions of short abstracts: 1-2 pages in LNCS format - Invited speakers: Ulrich Berger and Martin Escardo - Post-proceedings are planned for a journal special issue === Important Dates === 6 May 2014 . Abstract submission (extended) 16 May 2014 Notification to authors 16 June 2014 ... Camera-ready abstracts for electronic proceedings 17-18 July 2014 PSC in Vienna === Scope === The extraction of computational content from proofs has a long tradition in logic, but usually depends on a concrete encoding that allows us to turn proofs into algorithms. A recent trend in this field is the departure from such encoding which not only makes it simpler to represent the mathematical content, but also makes the extracted computational content encoding independent. This shift in focus allows us to focus on what is relevant: the computational aspects of proofs and the specification (not representation) of the structures involved. We now have growing evidence that this move from representations (e.g. the signed digit representation of the reals) to axioms (e.g. of the real numbers) is possible. This development largely parallels the step from assembler to high level languages in programming. As a by-product this move has already opened up the possibility to gain computational information from axiomatic proofs in more abstract and genuinely structural areas of mathematics such as algebra and topology. === Invited Speakers === Ulrich Berger (Swansea University, UK) Martin Escardo (University of Birmingham, UK) === Submissions === We welcome 1-2-page abstracts presenting (finished, ongoing, or if clearly stated even published) work on proof, structure, and computation. Particular topics of interest are * Proof Theory * Program Extraction * Constructive Mathematics * Topology and Computation * Realisability Semantics * Coalgebra and Computation * Categorical Models * Domain Theory * Interval Analysis === Submission Guidelines === Abstracts are invited of ongoing, finished, or (if clearly stated) even published work on a topic relevant to the workshop. The abstracts will appear in electronic pre-proceedings that will be distributed at the meeting. Abstracts (at most 2 pages, in LNCS style) are to be be submitted electronically in PDF via EasyChair http://www.easychair.org/conferences/?conf=psc2014 Accepted communications must be presented at the workshop by one of the authors. === Special Issue === We plan to invite extended versions of selected abstract with original work to post-proceedings in a journal special issue. They will be peer-reviewed according to the standard journal policy. === Program Committee === Neil Ghani (University of Strathclyde, UK) Helle Hvid Hansen (Radboud University Nijmegen, NL) Rosalie Iemhoff (Utrecht University, NL) Bjoern Lellmann (TU Vienna, AT) Sara Negri (University of Helsinki, FI) Dirk Pattinson (ANU, AU), PC chair Dieter Probst (University of Bern, CH) Peter Schuster (University of Leeds, UK), PC chair Alex Simpson (University of Edinburgh, UK) Ana Sokolova (University of Salzburg, Austria), PC chair === Organizing Committee === Dirk Pattinson (ANU, Australia), PC chair Peter Schuster (University of Leeds, UK), PC chair Ana Sokolova (University of Salzburg, Austria), PC chair === Contact === psc2...@easychair.org