April 2017 - Haskell - Haskell.org

ANN: Compose Unconference and Exchange [NYC, May 20-21]
by Gershom B 24 Apr '17

24 Apr '17

I'm happy to announce that we now have a venue and dates for the affiliated Unconference and Exchange (aka "hackathon") for the Compose conference in NYC. It will take place the weekend immediately following the main conference, featuring improptu tutorials, collaborative coding, and generally be a good informal opportunity to work and discuss with functional programmers of all sorts. Registration (free) is at: https://www.eventbrite.com/e/cmpse-unconference-and-exchange-2017-tickets-3… Registration for the main conference remains at: https://composeconference.eventbrite.com. Early bird tickets are now gone, so get tickets while you can! We're also happy to announce the topic of our invited keynote by Emily Riehl: A Categorical View of Computational Effects * Unconference information: http://www.composeconference.org/2017/unconference/ * Unconference registration: https://www.eventbrite.com/e/cmpse-unconference-and-exchange-2017-tickets-3… * Full conference abstracts: http://www.composeconference.org/2017/program * Conference Registration: http://composeconference.eventbrite.com * Follow @composeconf on twitter for news: https://twitter.com/composeconf * On freenode irc, chat with fellow attendees at #composeconference * Corporate sponsorships are welcome. Current sponsors list forthcoming. * Policies (diversity and anti-harassment): http://www.composeconference.org/conduct * Email us with any questions at info(a)composeconference.org * Please forward this announcement to interested parties and lists.

1 0

6 Assistant professor positions at the University of Utrecht
by Wouter Swierstra 24 Apr '17

24 Apr '17

The department of Information and Computing Sciences of Utrecht University is looking for: 6 talented Assistant Professors in Information and Computing Sciences (Tenure Track 0.8 - 1.0 FTE) (Female/Male), including one Westerdijk fellowship (Female) We have a strong tradition of research using functional languages -- please consider applying! ## Job description We are searching for excellent candidates, preferably on the Assistant Professor level. Candidates must have expertise in Computing and Information Sciences, related to our current research groups and teaching programmes. We are looking for outstanding candidates who will invigorate and enrich the scope of expertise of our Department and can enhance its involvement in interdisciplinary research projects within and outside the university. The quality of the candidate is leading, but preferred areas of expertise are Data Science, Programming Languages, Information Science, Computer Graphics and Serious Games. As teaching is an important and satisfying part of our work we are searching for people with a demonstrable motivation to teach. The preferred candidate has teaching experience, and is actively interested in improving her or his teaching, the courses and the teaching programme. Also candidates largely focusing on teaching will be considered. ## Qualifications Ideally your eligibility is exemplified by: ### Research: * PhD in Computer Science, Information Science or another relevant discipline; * track record of international publications in leading conferences and journals; * experience with or good prospects for acquiring external research funds; * vision on future research directions in own area of expertise; * experience with or readiness to supervise PhD projects; * active role in international scientific communities. ### Teaching: * enthusiasm for teaching and student supervision; * ability to teach in departmental BSc and MSc programmes; * vision on teaching and your own contribution to teaching. Please note that we are also interested in candidates with a focus on teaching! ### Leadership: * play an active and cooperative role in the department and the University; * willingness to organize scientific events, such as research seminars or teaching seminars; * willingness to partake in departmental committees. In view of the gender balance we strongly encourage qualified women to apply. ## Offer The candidate is offered a position for 3-5 years, depending on experience (0.8 / 1.0 FTE). Depending on experience and the specific field of expertise a tenure-track position could be offered. Salary depends on qualifications and experience, and ranges between 3,068euro and 5,330euro (scale 10 - 12 Collective Labour Agreement Dutch Universities) gross per month for a full-time employment. In case of proven outstanding performance an appointment as associate professor could be considered. The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year. We offer flexible employment conditions (according to a multiple choice model), working-from-home facilities, partially paid parental leave, a pension scheme, and collective insurance schemes. Facilities for sports and child care are available on our campus, which is only 15 minutes away from the historical city center of Utrecht. ## About the organization A better future for everyone. This ambition motivates our scientists in executing their leading research and inspiring teaching. At Utrecht University, the various disciplines collaborate intensively towards major societal themes. Our focus is on Dynamics of Youth, Institutions for Open Societies, Life Sciences and Sustainability. The city of Utrecht is one of the oldest cities in the Netherlands, with a charming old center and an internationally oriented culture that is strongly influenced by its century-old university. Utrecht city has been consistently ranked as one of the most livable cities in the Netherlands. The Faculty of Science consists of six departments: Biology, Pharmaceutical Sciences, Information and Computing Sciences, Physics and Astronomy, Chemistry and Mathematics. The Faculty is home to 5,900 students and nearly 1,600 staff and is internationally renowned for the quality of its research. The Faculty's academic programmes reflect developments in today's society. The Department of Information and Computing Sciences is nationally and internationally renowned for its research in Computer Science and Information Science. The research of the Department focuses on fundamental aspects of Computing and Information Sciences. Current research groups are Algorithmic Data Analysis, Algorithms and Complexity, Decision Support Systems, Intelligent Systems, Simulation of Complex Systems, Multimedia, Geometric Computing, Organisation and Information, Software Technology, Software Technology of Learning and Teaching. Relevant areas of interdisciplinary research include Game Research and Technology, Foundations of Complex Systems, Applied Data Science and Integrative Bioinformatics. The Department has, among others, close collaborations with the University Medical Center, the Departments of Physics and Mathematics, and the Faculties of Humanities and Geosciences. The Department offers Bachelor programmes in Computer Science and Information Science, and four English language research Master programmes in Artificial Intelligence, Business Informatics, Computing Science, and Game and Media Technology. The Department is developing Master programmes in Data Science. High enrolment figures and good student ratings make the education very successful. The Department currently comprises 9 full-time chairs and 100 other scientific staff, including postdocs and PhD-students. Due to our successful teaching programmes and our ambitions in research the Department is expanding. We are therefore actively searching for 6 talented Research and Teaching Assistant Professors in Information and Computing Sciences. Please note that positions offered will vary, depending on experience and expertise. We will offer the top candidate a fully financed PhD position. We offer the top female candidate a Westerdijk fellowship which includes a fully financed PhD student and a 50K euro research budget. In case this is the same person the second PhD student will be offered to the second candidate on the list. ## Additional information Additional information about the vacancy can be obtained from: Prof M. van Kreveld, (M.J.vanKreveld(a)uu.nl) Research Director or Ria van Vlimmeren (M.F.J.vanVlimmeren(a)uu.nl) Secretary to the Board of the Department. As part of the selection procedure, the candidate is expected to give an outline of her/his research plans in a written report and/or an oral presentation. ## Apply Application deadline is 14 May 2017. To apply go to: https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs and please attach a letter of motivation, curriculum vitae and (email) addresses of two referees. ## More information: https://www.uu.nl/en https://www.uu.nl/en/organisation/faculty-of-science https://www.uu.nl/en/organisation/department-of-information-and-computing-s… https://www.uu.nl/en/organisation/faculty-of-science/about-us/westerdijk-fe… https://www.uu.nl/en/organisation/working-at-utrecht-university/terms-of-em… https://www.uu.nl/en/organisation/working-at-utrecht-university

1 0

RV 2017 - Deadline Extension: full submissions May 8
by Klaus Havelund 21 Apr '17

21 Apr '17

*RV 2017* **** DEADLINE EXTENSION: MAY 8 **** *Call for Papers and Tutorials* The 17th International Conference on Runtime Verification September 13-16, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include, but are not limited to: - specification languages - monitor construction techniques - program instrumentation - logging, recording, and replay - combination of static and dynamic analysis - specification mining and machine learning over runtime traces - monitoring techniques for concurrent and distributed systems - runtime checking of privacy and security policies - statistical model checking - metrics and statistical information gathering - program/system execution visualization - fault localization, containment, recovery and repair - integrated vehicle health management (IVHM) Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. We welcome contributions exploring the combination of runtime verification techniques with machine learning and static analysis. Whilst these are highlight topics, papers falling into these categories will not be treated differently from other contributions. An overview of previous RV conferences and earlier workshops can be found at: http://www.runtime-verification.org. RV 2017 will be held September 13-16 in Seattle, WA, USA. RV 2017 will feature a tutorial day (September 13), and three conference days (September 14-16). Important Dates *Papers* as well as *tutorial proposals* will follow the following timeline: - Abstract deadline: April 24, 2017 May 1, 2017 (Anywhere on Earth) - Paper and tutorial deadline: May 1, 2017 May 8, 2017 (Anywhere on Earth) - Tutorial notification: May 21, 2017 - Paper notification: June 26, 2017 - Camera-ready deadline: July 24, 2017 - Conference: September 13-16, 2017 Invited Speakers We are very pleased to confirm the following invited speakers for RV 2017: - Rodrigo Fonseca <http://cs.brown.edu/~rfonseca/>, Brown University, USA - Vlad Levin and Jakob Lichtenberg <https://msdn.microsoft.com/en-us/windows/hardware/drivers/devtest/tools-for…>, Microsoft, USA - Andreas Zeller <https://www.st.cs.uni-saarland.de/zeller/>, Saarland University, Germany General Information on Submissions All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style detailed here: http://www.springer.de/comp/lncs/authors.html Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page here: https://easychair.org/conferences/?conf=rv17 The page limitations mentioned below include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix, that will be reviewed at the discretion of reviewers, but not included in the proceedings. At least one author of each accepted paper and tutorial must attend RV 2017 to present. Paper Submissions There are three categories of papers which can be submitted: regular, short or tool papers. Papers in each category will be reviewed by at least 3 members of the Program Committee. - *Regular Papers* (up to 15 pages, not including references) should present original unpublished results. We welcome theoretical papers, system papers, papers describing domain-specific variants of RV, and case studies on runtime verification. - *Short Papers* (up to 6 pages, not including references) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. - *Tool Demonstration Papers* (up to 8 pages, not including references) should present a new tool, a new tool component, or novel extensions to existing tools supporting runtime verification. The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. The Program Committee of RV 2017 will give a best paper award, and a selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design <http://link.springer.com/journal/10703>. Tutorial Submissions Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings, not including references. A proposal for a tutorial must contain the subject of the tutorial, a brief abstract, a proposed format and timelines (of different parts), a note on the relevance to RV, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a brief biography of the presenter. The proposal should not exceed 2 pages. RV-CuBES: A Workshop Replacement for the Competition The Runtime Verification Competition will not be running in 2017. In its place a Workshop is being organised to discuss the future of the competition and showcase existing Runtime Verification tools. Please see the relevant page <http://rv2017.cs.manchester.ac.uk/rv-cubes/> on the conference website for details. Organization *General Chair* Klaus Havelund <http://www.havelund.com/>, NASA Jet Propulsion Laboratory, USA *Program Chairs* Shuvendu Lahiri <https://www.microsoft.com/en-us/research/people/shuvendu/>, Microsoft Research, USA Giles Reger <http://www.cs.man.ac.uk/~regerg/>, University of Manchester, UK *Finance Chair* Oleg Sokolsky <http://www.cis.upenn.edu/~sokolsky/>, University of Pennsylvania, USA *Publicity Chair* Ayoub Nour <http://www-verimag.imag.fr/~nouri/>i, University Grenoble Alpes, France *Local Organisation Chairs* Grigory Fedyukovich <http://homes.cs.washington.edu/~grigory/about.html>, University of Washington, USA Rahul Kumar <http://rahulku.com/>, Microsoft Research, USA *Program Committee* Wolfgang Ahrendt <http://www.cse.chalmers.se/~ahrendt/>, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Cyrille Artho <https://people.kth.se/~artho/>, KTH Royal Institute of Technology, Sweden Howard Barringer <http://www.manchester.ac.uk/research/Howard.barringer/>, The University of Manchester, UK Ezio Bartocci <http://www.eziobartocci.com/>, Vienna University of Technology, Austria Andreas Bauer <http://www.immerundewig.at/>, KUKA Systems, Germany Saddek Bensalem <http://www-verimag.imag.fr/~bensalem/>, University of Grenoble Alpes/VERIMAG, France Eric Bodden <http://www.bodden.de/>, Paderborn University / Fraunhofer IEM, Germany Borzoo Bonakdarpour <http://www.cas.mcmaster.ca/borzoo/>, McMaster University, Canada Christian Colombo <https://www.um.edu.mt/ict/cs/staff/christian_colombo>, University of Malta, Malta Ylies Falcone <http://www.ylies.fr/>, University Grenoble Alpes/Inria, France Grigory Fedyukovich <http://homes.cs.washington.edu/~grigory/about.html>, University of Washington, USA Lu Feng <https://www.cs.virginia.edu/~lufeng/>, University of Virginia, USA Patrice Godefroid <https://patricegodefroid.github.io/>, Microsoft Research, USA Jean Goubault-Larrecq <http://www.lsv.ens-cachan.fr/~goubault/>, CNRS/ENS de Cachan, France Alex Groce <http://eecs.oregonstate.edu/people/groce-alex>, Northern Arizona University, USA Radu Grosu <https://ti.tuwien.ac.at/cps/people/grosu>, Vienna University of Technology, Austria Sylvain Hallé <http://leduotang.ca/sylvain/>, University of Québec at Chicoutimi, Canada Marieke Huisman <http://wwwhome.ewi.utwente.nl/~marieke/>, University of Twente, Netherlands Franjo Ivancic <https://sites.google.com/site/ivancic/>, Google, USA Bengt Jonsson <http://user.it.uu.se/~bengt/>, Uppsala University, Sweden Felix Klaedtke <https://sites.google.com/site/felixklaedtkeshomepage/>, NEC Europe Ltd., Germany Rahul Kumar <http://rahulku.com/>, Microsoft Research, USA Kim Larsen <http://people.cs.aau.dk/~kgl/>, Aalborg University, Denmark Insup Lee <http://www.cis.upenn.edu/~lee/home/home/index.shtml>, University of Pennsylvania, USA Axel Legay <https://people.irisa.fr/Axel.Legay/>, Inria Rennes, France Martin Leucker <https://www.isp.uni-luebeck.de/leucker>, University of Lübeck, Germany Ben Livshits <http://research.microsoft.com/en-us/um/people/livshits/>, Imperial College, UK David Lo <http://www.mysmu.edu/faculty/davidlo/>, Singapore Management University, Singapore Francesco Logozzo <https://www.linkedin.com/in/francesco-logozzo-4106386>, Facebook, USA Parthasarathy Madhusudan <http://madhu.cs.illinois.edu/>, University of Illinois at Urbana-Champaign, USA Leonardo Mariani <http://www.lta.disco.unimib.it/lta/personalPages/leonardoMariani/leonardoMa…>, University of Milan Bicocca, Italy Madan Musuvathi <https://www.microsoft.com/en-us/research/people/madanm/>, Microsoft Research, USA Ayoub Nouri <http://www-verimag.imag.fr/~nouri/>, University of Grenoble Alpes, France Gordon Pace <http://www.cs.um.edu.mt/gordon.pace/>, University of Malta, Malta Doron Peled <http://u.cs.biu.ac.il/~doronp/>, Bar Ilan University, Israel Veselin Raychev <http://www.srl.inf.ethz.ch/raychev.php>, ETH Zurich, Switzerland Grigore Rosu <http://fsl.cs.illinois.edu/index.php/Grigore_Rosu>, University of Illinois at Urbana-Champaign, USA Cesar Sanchez <http://software.imdea.org/~cesar/>, IMDEA Software Institute, Spain Gerardo Schneider, <http://www.cse.chalmers.se/~gersch/> Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Rahul Sharma <https://cs.stanford.edu/people/sharmar/>, Microsoft Research, India Julien Signoles <http://julien.signoles.free.fr/index.en.html>, CEA LIST, France Scott Smolka <http://www3.cs.stonybrook.edu/~sas/>, Stony Brook University, USA Oleg Sokolsky <https://www.cis.upenn.edu/~sokolsky/>, University of Pennsylvania, USA Bernhard Steffen <http://ls5-www.cs.tu-dortmund.de/cms/de/mitarbeiter/prof/Bernhard_Steffen.h…> , University of Dortmund, Germany Scott Stoller <http://www3.cs.stonybrook.edu/~stoller/>, Stony Brook University, USA Volker Stolz <http://www.mn.uio.no/ifi/personer/vit/stolz/>, Western Norway University of Applied Sciences, Norway Frits Vaandrager <http://www.cs.ru.nl/~fvaan/>, Radboud University, Netherlands Neil Walkinshaw <http://www2.le.ac.uk/departments/informatics/people/neil-walkinshaw>, University of Leicester, UK Chao Wang <http://www-bcf.usc.edu/~wang626/>, University of Southern California, USA Eugen Zalinescu <http://www2.in.tum.de/hp/Main?nid=315>, Technische Universitat München, Germany

1 0

Last CFP - Extended deadline - HLPP'2017 - The 10th International Symposium on High-Level Parallel Programming and Applications
by Clemens Grelck 20 Apr '17

20 Apr '17

[ Apologies if you receive multiple copies of this email ] Please, feel free to resubmit this call for papers to your colleagues or any other person or institution if you think they could be interested. ------------------------------------------------------- CALL FOR PAPERS -- Paper submission Deadline extended to *April 21* -- Accepted papers to be published in special issues of the following journals (see below): * IJPP (Springer) * CCPP (Wiley) HLPP 2017 The 10th International Symposium on High-Level Parallel Programming and Applications July 10 - 11, 2017 Valladolid, Spain Web: https://hlpp2017.infor.uva.es/ email: hlpp2017(a)infor.uva.es == Aims and scope of HLPP == As processor and system manufacturers increase the amount of both inter- and intra-chip parallelism, it becomes crucial to provide the software industry with high-level, clean, and efficient tools for parallel programming. Parallel and distributed programming methodologies are currently dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared memory mechanisms. Higher-level, structured approaches offer many possible advantages and have a key role to play in the scalable exploitation of ubiquitous parallelism. Since 2001, the HLPP series of workshops/symposia has been a forum for researchers developing state-of-the-art concepts, tools, and applications for high-level parallel programming. The general emphasis is on software quality, programming productivity, and high-level performance models. The 10th Symposium on High-Level Parallel Programming and Applications will be held July 10-11th in the cultural city of Valladolid, Spain. == Topics == HLPP 2017 invites papers on all topics in high-level parallel programming, its tools and applications including, but not limited to, the following aspects: * High-level programming, performance models (BSP, CGM, LogP, MPM, etc.) and tools * Declarative parallel programming methodologies based on functional, logical, data-flow, and other paradigms * Algorithmic skeletons, patterns, etc., and constructive methods * High-level parallelism in programming languages and libraries (e.g, Haskell, Scala, PGAS, etc.): semantics and implementation * Verification of declarative parallel and distributed programs * Efficient code generation, auto-tuning, and optimization for parallel programming * Model-driven software engineering for parallel systems * Domain-specific languages: design, implementation, and applications * High-level programming models for heterogeneous/hierarchical platforms with accelerators; e.g. GPU, Xeon Phi, etc. * High-level parallel methods for large structured and semi-structured datasets * Applications of parallel systems using high-level languages and tools * Teaching experience with high-level tools and methods == Important dates == * Submission deadline: Extended to *April 21* * Author notification: *May 16* * Camera-ready paper due for draft proceedings: *June 16* * Early registration deadline: *May 31* * Late registration deadline: *June 30* (after this date the registration will be only possible paying by cash at the registration desk during the symposium) * Symposium: *July 10-11* * Camera-ready paper due for journal publication: *September 15* == Proceedings and Journal Special Issues == Accepted papers will be distributed as informal draft proceedings during the symposium. Additionally, accepted papers will be published in a special issue of a renowned international journal. Depending on their subject, some papers will be selected for the *International Journal of Parallel Programming* (Springer), while others will be selected for *Concurrency and Computation: Practice and Experience* (Wiley). We expect the special issues to appear online-first by the end of 2017 and the printed edition in 2018. == Paper submission == Papers submitted to HLPP2017 must describe original research results and must not have been published or simultaneously submitted anywhere else. Manuscripts must be prepared with the Springer IJPP Latex macro package <http://static.springer.com/sgw/documents/468198/application/zip/LaTeX.zip>, using the single column option (\documentclass[smallextended]{svjour3}), and submitted via the EasyChair Conference System <https://easychair.org/conferences/?conf=hlpp2017>, as one PDF file. The strict page limit for initial submission and camera-ready version is 18 pages in the aforementioned format. Each paper will receive a minimum of three reviews by members of the program committee. Papers will be selected based on their originality, relevance, technical clarity, and quality of presentation. At least one author of each accepted paper must register for the HLPP 2017 symposium and present the paper. After the symposium, you have ample time to revise the paper incorporating potential comments and remarks of your colleagues. == Organization Committee == * Arturo Gonzalez-Escribano, Universidad de Valladolid, Spain * Diego R. Llanos, Universidad de Valladolid, Spain * Daniel Barba-Gutierrez, Universidad de Valladolid, Spain * Ana Moreton-Fernandez, Universidad de Valladolid, Spain * Eduardo Rodriguez-Gutiez, Universidad de Valladolid, Spain == Program committee == * Chair: José Daniel García (Universidad Carlos III de Madrid, Spain) * Herbert Kuchen (University of Muenster) * Aleksandar Prokopec (École Polytechnique Fédérale de Lausanne) * Kostis Sagonas (Uppsala University) * Massimo Torquati (University of Pisa) * Pedro Alonso (Universitat Politècnica de València) * Christoph Kessler (Linköping University) * Murray Cole (University of Edinburgh) * Susanna Pelagatti (University of Pisa) * Michel Steuwer (The University of Edinburgh) * Clemens Grelck (University of Amsterdam) * Gaétan Hains (Huawei France, R&D Center) * Dora Blanco (University of Santiago de Compostela) * Marco Danelutto (University of Pisa) * Peter Kilpatrick (Queen¿s University Belfast) * Marco Aldinucci (University of Pisa) * Kiminori Matsuzaki (Kochi University of Technology) * Sergei Gorlatch (University of Münster) * Francisco de Sande (Universidad de La Laguna) * Joel Falcou (NumScale, Universitè Paris Sud) * Kevin Hammond (University of St. Andrews) * Arturo Gonzalez-Escribano (Universidad de Valladolid) * Diego R. Llanos (Universidad de Valladolid) == HLPP steering committee == * Clemens Grelck (Universiteit van Amsterdam, Netherlands) * Gaétan Hains (Université Paris-Est, France) * Kiminori Matsuzaki (Kochi University of Technology, Japan) * Frédéric Loulergue (SICCS, Northern Arizona University, USA) * Quentin Miller (Somerville College Oxford, United Kingdom) * Alexander Tiskin (University of Warwick, United Kingdom) == Venue == HLPP 2017 will be hosted by Universidad de Valladolid, Spain The symposium will be held at "Palacio de Congresos Conde Ansurez" ------------------------------------------------------- Kind regards, The HLPP'2017 local organization committee -- -- -- HLPP'2017. Local Organization Committee -- Universidad de Valladolid (Spain) -- http://hlpp2017.infor.uva.es/ -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Programme Director Software Engineering Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 System and Network Engineering Lab F +31 (0) 20 525 7490 Office C3.109 staff.fnwi.uva.nl/c.u.grelck ----------------------------------------------------------------------

1 0

Re: [Haskell] haskell Summer of Code
by Jasper Van der Jeugt 19 Apr '17

19 Apr '17

Sorry for the double mail -- re-sending since my mail bounced for the haskell mailing list. Jasper On Wed, Apr 19, 2017 at 12:10 PM, Jasper Van der Jeugt <m(a)jaspervdj.be> wrote: > Hey all, > > Sorry for the confusion. As stated in the timeline, the student > application period begins on the 25th of April, so next week. At that > time, a form will be provided on <https://summer.haskell.org/>. I > should have added this info explicitly to the homepage -- I will rectify > that now. > > If it is somehow not possible to submit at that time because of schedule > conflicts, please contact us and we will take of it. > > Kind regards > Jasper Van der Jeugt > > On Wed, Apr 19, 2017 at 07:11:17AM +0530, Harendra Kumar wrote: >> It is surprising that the haskell summer of code webpage does not mention >> how to or where to submit a proposal. After reading this email I went >> through the SoC announcement email myself and thus got to >> https://summer.haskell.org/ which too does not have any details on how to >> submit proposals, maybe I missed something. However, I could find the >> following from contacts page on this website: >> >> You can reach us by sending an email to committee [AT] haskell.org. >> Alternatively, you can contact nvazou [AT] cs.umd.edu and m [AT] >> jaspervdj.be directly. >> >> I guess, you can try sending your proposal to these email ids, I have >> copied them on this email as well. >> >> -harendra >> >> >> On 19 April 2017 at 05:14, Bhavishya Desai <bhavishyagopesh(a)gmail.com> >> wrote: >> >> > Hello devs, >> > >> > I'm attaching the link of my proposal for summer of code.I'm interested in >> > IOS app for codeworld. >> > >> > Here it is:Proposal >> > <https://docs.google.com/document/d/1HWTtCZqQdAC9CD9ADCo6CuWfBidunnwi_1vlw5d…> >> > >> > Sorry if it's not the right place for submitting proposals for review, I >> > couldn't find any appropriate place(even the irc wasn't that active.) >> > >> > Waiting for your review, >> > >> > Thank YOU. >> > >> > _______________________________________________ >> > Haskell mailing list >> > Haskell(a)haskell.org >> > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell >> > >> >

1 0

CFP: 20th ACM MSWiM - Miami Beach, USA
by Robson De Grande 19 Apr '17

19 Apr '17

=================================================== Call-For-Papers: 20th ACM MSWiM 2017 Miami Beach, Florida, Nov 21-25, 2017 http://www.mswimconf.com/2017 ==================================================== IMPORTANT: Submission deadline: May 20th 2017 =================================================== *Pending Upon Approval Note: Extended versions of selected papers will be considered for publication in a Fast Track issue of Elsevier's Computer Communications. ===================================================== ACM* MSWiM 2017 is the 20th Annual International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems. MSWiM is an international forum dedicated to in-depth discussion of Wireless and Mobile systems, networks, algorithms and applications, with an emphasis on rigorous performance evaluation. MSWiM is a highly selective conference with a long track record of publishing innovative ideas and breakthroughs. MSWiM 2017 will be held in Miami Beach, USA, Nov 21-25, 2017. Authors are encouraged to submit full papers presenting new research related to the theory or practice of all aspects of modeling, analysis and simulation of mobile and wireless systems. Submitted papers must not have been published elsewhere nor currently be under review by another conference or journal. Papers related to wireless and mobile network Modeling, Analysis, Design, and Simulation are solicited on, but not limited to, the following topics in mobile and wireless systems: -- Wireless Communication and Mobile Networking - Performance evaluation and modeling - Analytical Models - Simulation languages and tools for wireless systems - Wireless measurements tools and experiences - Formal methods for analysis of wireless systems - Correctness, survivability and reliability evaluation - Mobility modeling and management - Models and protocols for cognitive radio networks - Models and protocols for autonomic, or self-* networks - Capacity, coverage and connectivity modeling and analysis - Wireless network algorithms and protocols - Software Defined Network - Services for Smart City - Wireless PANs, LANs - Ad hoc and MESH networks - Vehicular Ad-hoc Networks (VANET) - Sensor and actuator networks - Delay Tolerant Networks - Integration of wired and wireless systems - Pervasive computing and emerging models - Wireless multimedia systems - QoS provisioning in wireless and mobile networks - Security and privacy of mobile/wireless systems - Algorithms and protocols for energy efficient operation and power control - Mobile applications, system software and algorithms - RF channel modeling and analysis - Design methodologies, Tools, prototypes and testbeds - Parallel and distributed simulation of wireless systems - Operating systems for mobile computations - Programming language support for mobility - Resource management techniques - Management of mobile object systems Paper Submission and Publication: High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. More detailed instructions for EDAS paper submission can be found at http://www.mswimconf.com/2017. Accepted papers will appear in the conference proceedings to be published by ACM Press. Important Dates: Paper Registration (Full list of authors, title, keywords, abstract): May 20th 2017 Paper Submission Deadline: May 20, 2017 Notification of Acceptance: June 30, 2017 Organizing Committee: General Co-Chair: - Antonio Loureiro, UFMG, Brazil TPC Co-Chairs: - Richard Yu, Carleton University Canada - Hsiao-Chun Wu, Louisana State University, USA Tutorial Chairs: - Pan Li, Case Western Reserve University, USA, - Costas Bush, Louisiana State University, USA Workshop Chair: - Paolo Bellavista, University of Bologna, Italy Demos/Toosl Chair - Raquel Mini, PUC-Minas, Brazil PhD Forum Chair - Bjorn Landfeldt, Lund University, Sweeden

1 0

CFP IEEE/ACM DS-RT 2017, Rome, Italy
by Robson De Grande 19 Apr '17

19 Apr '17

---------------------------------------------------------------------------- Please accept our apologies if you have received multiple copies. ---------------------------------------------------------------------------- Call for Papers - DS-RT 2017 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications http://ds-rt.com/2017 18 - 20 October 2017, Rome, Italy ---------------------------------------------------------------------------- Important: Paper submission deadline: 12th May 2017 ---------------------------------------------------------------------------- *** The Symposium *** The 2017 IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2017) promises to be a grand affair and will take place in Rome, Italy. DS-RT 2017 serves as a platform for simulationists from academia, industry and research labs for presenting recent research results in Distributed Simulation and Real Time Applications. DS-RT 2017 targets the growing overlap between large distributed simulations and real time applications, such as collaborative virtual environments, pervasive and ubiquitous application scenarios, motor-, controller-, sensor- and actuator systems. The conference features prominent invited speakers as well as papers by top researchers in the field. DS-RT 2017 will include contributed technical papers, invited papers, and panel discussions. The proceedings will be published by IEEE-CS press. *** Call for Papers *** DS-RT provides an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, research students, and systems developers on issues and challenges related to distributed simulation and real time applications. Authors are encouraged to submit both theoretical and practical results of significance. Demonstration of new tools/applications is very encouraged. The scope of the symposium includes, but is not limited to: - Paradigms, Methodology and Software Architectures for Large Scale Distributed and Real-Time Simulations (e.g. Parallel and Distributed Simulation, Multi-Agent Based Distributed Simulation, HLA/RTI, Web, Grid and cloud based Simulation, hardware-software co-design for extreme scale simulations) - Paradigms, Modelling, Architecture and Environments for Large Scale Real-time Systems and Concurrent Systems with hard and soft Real-Time Contstraints - Advanced modelling techniques (reuse of models, new modelling languages, agent-based M&S, and spatial M&S) - Non-functional Properties of Distributed Simulation and Real-Time Systems (e.g. Dependability, Availability, Reliability, Maintainability, Safety, Security, Trustworthiness, QoS) - Theoretical Foundations of Large Scale Real-Time and Simulation Models (e.g. Event Systems, Causality, Space-Time Models, Notions of Time, Discrete and Continuous Systems, Simulator Coordination) - Simulation Studies at Large and Very Large Scale (e.g. Industrial, Commercial, Ecological and Environmental, Societal, Power and Energy, Pervasive and Ubiquitous Computing Systems) - Performance and Validation of Large Scale and Distributed Simulations (e.g., benchmarking and analytical results, empirical studies DIS, HLA/RTI studies) - Algorithms and methods for parallel or distributed simulation (synchronization, scheduling, memory management, and load balancing) - Languages and Tools, Development Environments, Data Interfaces, Network Protocols and Model Repositories that address Very Large Simulations - Data Management and Distribution Issues, Interest Management, Semantic Modelling, Multi-resolution Modelling, Dead-Reckoning Mechanisms - Pervasive and Ubiquitous Computing Architectures and Applications that involve Simulations and/or adhere to Real-Time Constraints - Simulation based Virtual Environments and Mixed Reality Systems (e.g. Interactive Virtual Reality, Human Communication through Immersive Environments) - Collaborative Virtual and Augmented Reality, Shared Interaction Spaces, Telepresence Systems and Shared Workspaces, 3D Video and Acoustic Reconstruction, Shared Object Manipulation - Serious Gaming and Massive Multiplayer Online Games (MMOG) applications, architectures and scalability issues - Visual Interactive Simulation Environments (e.g., Generic Animation, Visual Interactive Modelling, Interactive Computer Based Training and Learning, Scientific Visualization, High-End Computer Graphics) - Design Issues, Interaction Designs, Human Commuter Interaction Issues raised by Large Scale DS-RT Systems - Media Convergence (e.g. New Technologies, Media Theory, Real-Time considerations of Multi Modality, etc.) - Innovative Styles of Interactions with Large Scale DS-RT Systems (e.g. Implicit, Situative and Attentive Interaction, Tangible Interaction, Embedded Interaction, etc.) - Technologies for Living Labs (e.g. Mirror World Simulation, Interoperability, Large Scale Multi Sensor Networks, Global Wireless Communication, Multi Stakeholder Understanding and Innovation) - Environmental and Emerging Simulation Challenges (e.g. Growth of Human Population, Climate Change, CO2, Health Care, Ecosystems, Sustainable Development, Water and Energy Supply, Human Mobility, Air Traffic, World Stock Markets, Food Supply Chains, Megacities, Smart Cities, Disaster Planning, etc.) - Advanced Simulation Studies and Technologies (e.g. Discrete event, continuous Simulation, etc.) - Cognitive Modelling and Simulation, Artificial Intelligence in Simulation, and Neural Network Models and Simulation - Service-oriented Computing and Simulation, Web-based Modelling and Simulation, and Simulation of Multimedia Applications and Systems - Modeling and Virtual Evaluation of Distributed Systems through Simulation, Resilience Network Evaluation in Distributed Systems through Simulation, Models and Simulation Environments for Distributed Cyber-Physical Systems Evaluation - Advances in Simulation Methodology and Practices - Smart Network Design and Traffic Modelling - Haptic-audio-visual System and applications - Medical and surgical simulation based Systems - Human-computer interaction in virual reality environment Authors of selected papers will be invited to submit extended versions of their papers to the Journal of Simulation (JoS). *** Important Dates Full Papers *** Paper Submission Deadline: 5th May 2017 Notification of Acceptance: 5th June 2017 Camera Ready version due: 10th July 2017 Symposium presentation: 18 - 20 October 2017 *** Call for Posters/Demos/Industrial Case Studies *** The 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2017) also solicits posters and technical demonstrations that report on recent original results, ongoing research or industrial case studies in the area of distributed simulation and real time applications. *** Important Dates Posters/Demos/Industrial Case Studies *** Paper submission deadline: 12th May 2017 Notification of acceptance: 5th June 2017 Camera-ready deadline: 10th July 2017 *** Submission *** Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. Accepted papers will appear in the conference proceedings to be published by IEEE-CS press. General information regarding submission can be found at http://ds-rt.com/2017 Questions from authors may be directed to the Program Co-Chairs. IMPORTANT: ATTENDANCE BY AT LEAST ONE AUTHOR IS MANDATORY *** ORGANIZING COMMITTEE*** General Chair: Alfredo Garro, University of Calabria, Rende, Italy Program Chair: Andrea D'Ambrogio, University of Rome "Tor Vergata", Rome, Italy Special Session Co-Chairs: Anthony Ventresque,Lero & University College Dublin, Dublin, Ireland Robson De Grande, University of Ottawa, Ottawa, Canada Local Organization Chair: Andrea Giglio, Guglielmo Marconi University, Rome, Italy Financial Chair: Rina Mary Mazza, University of Calabria, Rende, Italy Registration Chair: Simona Citrigno, ICT-SUD Competence Center, Rende, Italy Publicity Co-Chairs: Simon J.E Taylor, Brunel University London, UK Mirela Sechi Moretti Annoni Notare, FAERO - University of Technology in Fly Transportation, Florianopolis, Brazil Posters Chair: Floriano De Rango, University of Calabria, Rende, Italy Publication Chair: Andrea Tundis, Technische Universitdt Darmstadt, Darmstadt, Germany Web Co-Chairs: Robson De Grande, University of Ottawa, Ottawa, Canada Rodolfo Coutinho, UFMG, Belo Horizonte, Brazil

1 0

haskell Summer of Code
by Bhavishya Desai 19 Apr '17

19 Apr '17

Hello devs, I'm attaching the link of my proposal for summer of code.I'm interested in IOS app for codeworld. Here it is:Proposal <https://docs.google.com/document/d/1HWTtCZqQdAC9CD9ADCo6CuWfBidunnwi_1vlw5d…> Sorry if it's not the right place for submitting proposals for review, I couldn't find any appropriate place(even the irc wasn't that active.) Waiting for your review, Thank YOU.

2 1

RV and RV-CuBES 2017 - Call for papers and tutorials
by Klaus Havelund 15 Apr '17

15 Apr '17

*RV 2017* *Call for Papers and Tutorials* The 17th International Conference on Runtime Verification September 13-16, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk rv2017(a)easychair.org Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include, but are not limited to: - specification languages - monitor construction techniques - program instrumentation - logging, recording, and replay - combination of static and dynamic analysis - specification mining and machine learning over runtime traces - monitoring techniques for concurrent and distributed systems - runtime checking of privacy and security policies - statistical model checking - metrics and statistical information gathering - program/system execution visualization - fault localization, containment, recovery and repair - integrated vehicle health management (IVHM) Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. We welcome contributions exploring the combination of runtime verification techniques with machine learning and static analysis. Whilst these are highlight topics, papers falling into these categories will not be treated differently from other contributions. An overview of previous RV conferences and earlier workshops can be found at: http://www.runtime-verification.org. RV 2017 will be held September 13-16 in Seattle, WA, USA. RV 2017 will feature a tutorial day (September 13), and three conference days (September 14-16). Important Dates *Papers* as well as *tutorial proposals* will follow the following timeline: - Abstract deadline: April 24, 2017 (Anywhere on Earth) - Paper and tutorial deadline: May 1, 2017 (Anywhere on Earth) - Tutorial notification: May 21, 2017 - Paper notification: June 26, 2017 - Camera-ready deadline: July 24, 2017 - Conference: September 13-16, 2017 Invited Speakers We are very pleased to confirm the following invited speakers for RV 2017: - Rodrigo Fonseca <http://cs.brown.edu/%7Erfonseca/>, Brown University, USA - Vlad Levin and Jakob Lichtenberg <https://msdn.microsoft.com/en-us/windows/hardware/drivers/devtest/tools-for…>, Microsoft, USA - Andreas Zeller <https://www.st.cs.uni-saarland.de/zeller/>, Saarland University, Germany General Information on Submissions All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style detailed here: http://www.springer.de/comp/lncs/authors.html Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page here: https://easychair.org/conferences/?conf=rv17 The page limitations mentioned below include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix, that will be reviewed at the discretion of reviewers, but not included in the proceedings. At least one author of each accepted paper and tutorial must attend RV 2017 to present. Paper Submissions There are three categories of papers which can be submitted: regular, short or tool papers. Papers in each category will be reviewed by at least 3 members of the Program Committee. - *Regular Papers* (up to 15 pages, not including references) should present original unpublished results. We welcome theoretical papers, system papers, papers describing domain-specific variants of RV, and case studies on runtime verification. - *Short Papers* (up to 6 pages, not including references) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. - *Tool Demonstration Papers* (up to 8 pages, not including references) should present a new tool, a new tool component, or novel extensions to existing tools supporting runtime verification. The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. The Program Committee of RV 2017 will give a best paper award, and a selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design <http://link.springer.com/journal/10703>. Tutorial Submissions Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings, not including references. A proposal for a tutorial must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a brief biography of the presenter. The proposal should not exceed 2 pages. RV-CuBES: A Workshop Replacement for the Competition The Runtime Verification Competition will not be running in 2017. In its place a Workshop is being organised to discuss the future of the competition and showcase existing Runtime Verification tools. Please see the relevant page <http://rv2017.cs.manchester.ac.uk/rv-cubes/> on the conference website for details. Organization *General Chair* Klaus Havelund <http://www.havelund.com/>, NASA Jet Propulsion Laboratory, USA *Program Chairs* Shuvendu Lahiri <https://www.microsoft.com/en-us/research/people/shuvendu/>, Microsoft Research, USA Giles Reger <http://www.cs.man.ac.uk/%7Eregerg/>, University of Manchester, UK *Finance Chair* Oleg Sokolsky <http://www.cis.upenn.edu/%7Esokolsky/>, University of Pennsylvania, USA *Publicity Chair* Ayoub Nour <http://www-verimag.imag.fr/%7Enouri/>i, University Grenoble Alpes, France *Local Organisation Chairs* Grigory Fedyukovich <http://homes.cs.washington.edu/%7Egrigory/about.html>, University of Washington, USA Rahul Kumar <http://rahulku.com/>, Microsoft Research, USA *Program Committee* Wolfgang Ahrendt <http://www.cse.chalmers.se/%7Eahrendt/>, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Cyrille Artho <https://people.kth.se/%7Eartho/>, KTH Royal Institute of Technology, Sweden Howard Barringer <http://www.manchester.ac.uk/research/Howard.barringer/>, The University of Manchester, UK Ezio Bartocci <http://www.eziobartocci.com/>, Vienna University of Technology, Austria Andreas Bauer <http://www.immerundewig.at/>, KUKA Systems, Germany Saddek Bensalem <http://www-verimag.imag.fr/%7Ebensalem/>, University of Grenoble Alpes/VERIMAG, France Eric Bodden <http://www.bodden.de/>, Paderborn University / Fraunhofer IEM, Germany Borzoo Bonakdarpour <http://www.cas.mcmaster.ca/borzoo/>, McMaster University, Canada Christian Colombo <https://www.um.edu.mt/ict/cs/staff/christian_colombo>, University of Malta, Malta Ylies Falcone <http://www.ylies.fr/>, University Grenoble Alpes/Inria, France Grigory Fedyukovich <http://homes.cs.washington.edu/%7Egrigory/about.html>, University of Washington, USA Lu Feng <https://www.cs.virginia.edu/%7Elufeng/>, University of Virginia, USA Patrice Godefroid <https://patricegodefroid.github.io/>, Microsoft Research, USA Jean Goubault-Larrecq <http://www.lsv.ens-cachan.fr/%7Egoubault/>, CNRS/ENS de Cachan, France Alex Groce <http://eecs.oregonstate.edu/people/groce-alex>, Northern Arizona University, USA Radu Grosu <https://ti.tuwien.ac.at/cps/people/grosu>, Vienna University of Technology, Austria Sylvain Hallé <http://leduotang.ca/sylvain/>, University of Québec at Chicoutimi, Canada Marieke Huisman <http://wwwhome.ewi.utwente.nl/%7Emarieke/>, University of Twente, Netherlands Franjo Ivancic <https://sites.google.com/site/ivancic/>, Google, USA Bengt Jonsson <http://user.it.uu.se/%7Ebengt/>, Uppsala University, Sweden Felix Klaedtke <https://sites.google.com/site/felixklaedtkeshomepage/>, NEC Europe Ltd., Germany Rahul Kumar <http://rahulku.com/>, Microsoft Research, USA Kim Larsen <http://people.cs.aau.dk/%7Ekgl/>, Aalborg University, Denmark Insup Lee <http://www.cis.upenn.edu/%7Elee/home/home/index.shtml>, University of Pennsylvania, USA Axel Legay <https://people.irisa.fr/Axel.Legay/>, Inria Rennes, France Martin Leucker <https://www.isp.uni-luebeck.de/leucker>, University of Lübeck, Germany Ben Livshits <http://research.microsoft.com/en-us/um/people/livshits/>, Imperial College, UK David Lo <http://www.mysmu.edu/faculty/davidlo/>, Singapore Management University, Singapore Francesco Logozzo <https://www.linkedin.com/in/francesco-logozzo-4106386>, Facebook, USA Parthasarathy Madhusudan <http://madhu.cs.illinois.edu/>, University of Illinois at Urbana-Champaign, USA Leonardo Mariani <http://www.lta.disco.unimib.it/lta/personalPages/leonardoMariani/leonardoMa…>, University of Milan Bicocca, Italy Madan Musuvathi <https://www.microsoft.com/en-us/research/people/madanm/>, Microsoft Research, USA Ayoub Nouri <http://www-verimag.imag.fr/%7Enouri/>, University of Grenoble Alpes, France Gordon Pace <http://www.cs.um.edu.mt/gordon.pace/>, University of Malta, Malta Doron Peled <http://u.cs.biu.ac.il/%7Edoronp/>, Bar Ilan University, Israel Veselin Raychev <http://www.srl.inf.ethz.ch/raychev.php>, ETH Zurich, Switzerland Grigore Rosu <http://fsl.cs.illinois.edu/index.php/Grigore_Rosu>, University of Illinois at Urbana-Champaign, USA Cesar Sanchez <http://software.imdea.org/%7Ecesar/>, IMDEA Software Institute, Spain Gerardo Schneider, <http://www.cse.chalmers.se/%7Egersch/> Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Rahul Sharma <https://cs.stanford.edu/people/sharmar/>, Microsoft Research, India Julien Signoles <http://julien.signoles.free.fr/index.en.html>, CEA LIST, France Scott Smolka <http://www3.cs.stonybrook.edu/%7Esas/>, Stony Brook University, USA Oleg Sokolsky <https://www.cis.upenn.edu/%7Esokolsky/>, University of Pennsylvania, USA Bernhard Steffen <http://ls5-www.cs.tu-dortmund.de/cms/de/mitarbeiter/prof/Bernhard_Steffen.h…>, University of Dortmund, Germany Scott Stoller <http://www3.cs.stonybrook.edu/%7Estoller/>, Stony Brook University, USA Volker Stolz <http://www.mn.uio.no/ifi/personer/vit/stolz/>, University of Olso, Norway Frits Vaandrager <http://www.cs.ru.nl/%7Efvaan/>, Radboud University, Netherlands Neil Walkinshaw <http://www2.le.ac.uk/departments/informatics/people/neil-walkinshaw>, University of Leicester, UK Chao Wang <http://www-bcf.usc.edu/%7Ewang626/>, University of Southern California, USA Eugen Zalinescu <http://www2.in.tum.de/hp/Main?nid=315>, Technische Universitat München, Germany

1 0

SPLASH 2017: 3rd Combined Call for Contributions
by SPLASH Publicity 14 Apr '17

14 Apr '17

ACM SIGPLAN SPLASH 2017 October 22-27, 2017 Vancouver, Canada http://2017.splashcon.org The ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, and software engineering. We invite high quality submissions describing original and unpublished work. Combined Call for Contributions: * OOPSLA * Onward! Papers * Onward! Essays * SPLASH-I **New to this call!** * Dynamic Languages Symposium (DLS) * Software Language Engineering (SLE) * Generative Programming: Concepts & Experiences (GPCE) * SPLASH-E * Scala Symposium **New to this call!** * Posters * Doctoral Symposium * Student Research Competition ## OOPSLA Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. Contributions may include the development of new tools (such as language front-ends, program analyses, and runtime systems), new techniques (such as methodologies, design processes, and code organization approaches), new principles (such as formalisms, proofs, models, and paradigms), and new evaluations (such as experiments, corpora analyses, user studies, and surveys). Abstracts due: Thu April 13, 2017 Submissions due: Mon April 17, 2017 http://2017.splashcon.org/track/splash-2017-OOPSLA ## Onward! Papers Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities, and applications. Onward! is more radical, more visionary, and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research. Submissions due: Fri April 21, 2017 http://2017.splashcon.org/track/onward-2017/onward-2017-Onward-Papers ## Onward! Essays Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be an exploration of a topic, its impact, or the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps that by which the author reached an understanding of such a topic. The subject area should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings. Submissions due: Fri April 21, 2017 http://2017.splashcon.org/track/onward-2017/onward-2017-essays-2017 ## SPLASH-I SPLASH-I is a series of research and industry talks, demos and panels that address topics relevant to the SPLASH community. We invite short proposals for novel and innovative talks, panels, and demonstrations that address all aspects of software construction and delivery relevant to SPLASH attendees. Suitable topics include, but are not limited to, data science, big data, probabilistic languages in data science, compilers, virtual machines, augmented/virtual reality, visualization, cloud computing, security, software engineering, and software defined networks. Proposals due: Fri May 5, 2017 http://2017.splashcon.org/track/splash-2017-SPLASH-I ## Dynamic Languages Symposium (DLS) >From Lisp, Snobol, and Smalltalk to Python, Racket, and Javascript, Dynamic Languages have been playing a fundamental role both in programming research and practice. DLS is the premier forum for researchers and practitioners to share research and experience on all aspects on Dynamic Languages. DLS invites high quality papers reporting original research and experience related to the design, implementation, and applications of dynamic languages. Abstracts due: Fri May 26, 2017 Submissions due: Fri June 2, 2017 http://www.dynamic-languages-symposium.org/dls-17/index.html ## Software Language Engineering (SLE) Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deployment, and maintenance of software languages. The term “software language” is used broadly, and includes: general-purpose programming languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling languages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and OWL-based languages and vocabularies). SLE solicits high-quality contributions in areas ranging from theoretical and conceptual contributions to tools, techniques, and frameworks in the domain of language engineering. Abstracts due: Fri June 2, 2017 Submissions due: Fri June 9, 2017 http://2017.splashcon.org/track/sle-2017/sle-2017-papers ## Generative Programming: Concepts & Experiences (GPCE) The International Conference on Generative Programming: Concepts & Experience (GPCE) is a venue for researchers and practitioners interested in techniques and tools for code generation, language implementation, and product-line development. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to (i) program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems, (ii) domain-specific languages, language embedding, language design, and language workbenches, (iii) feature-oriented programming, domain engineering, and feature interactions, (iv) applications and properties of code generation, language implementation, and product-line development. Abstracts due: Sun June 25, 2017 Submissions due: Sun July 2, 2017 http://2017.splashcon.org/track/gpce-2017/gpce-2017-GPCE-2017 ## SPLASH-E SPLASH-E is a new (started in 2013) forum for software and languages (SE/PL) researchers with activities and interests around computing education. Some build pedagogically-oriented languages or tools; some think about pedagogic challenges around SE/PL courses; some bring computing to non-CS communities; some pursue human studies and educational research. At SPLASH-E, we share our educational ideas and challenges centered in software/languages, as well as our best ideas for advancing such work. Unlike general conferences on computing education, SPLASH-E strives to bring together researchers and those with educational interests that arise from software ideas or concerns. Submissions due: Thu June 29, 2017 http://2017.splashcon.org/track/splash-2017-SPLASH-E ## Scala Symposium The Scala Symposium is the leading forum for researchers and practitioners related to the Scala programming language. We welcome a broad spectrum of research topics and support many submission formats for industry and academia alike. We seek submissions on all topics related to Scala, including (but not limited to): language design and implementation, library design and implementation patterns for extending Scala, formal techniques for Scala-like programs, concurrent and distributed programming in Scala, big data and machine learning libraries and applications using Scala, safety and reliability of Scala programs, interoperability with other languages and runtimes, tools, case studies, experience reports, and pearls. Abstracts due: Sun July 2, 2017 Submissions due: Sun July 9, 2017 http://2017.splashcon.org/track/scala-2017/scala-2017-papers ## Posters The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact. It is held early in the conference, to promote continued discussion among interested parties. Submissions due: Sat July 15, 2017 http://2017.splashcon.org/track/splash-2017-Posters ## Doctoral Symposium The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months. Submissions due: Fri June 30, 2017 http://2017.splashcon.org/track/splash-2017-Doctoral-Symposium ## Student Research Competition The ACM Student Research Competition (SRC), sponsored by Microsoft Research, offers a unique forum for ACM student members at the undergraduate and graduate levels to present their original research at SPLASH before a panel of judges and conference attendees. The SRC gives visibility to not only up-and-coming young researchers, but also exposes them to the field of computer science research and its community. This competition also gives students an opportunity to discuss their research with experts in their field, get feedback, and to help them sharpen their communication and networking skills. Submissions due: Mon July 17, 2017 http://2017.splashcon.org/track/splash-2017-Student-Research-Competition ## Information Contact: publicity(a)splashcon.org Website: http://2017.splashcon.org Location: Hyatt Regency Vancouver Vancouver, Canada ## Organization SPLASH General Chair: * Gail Murphy (University of British Columbia) OOPSLA Program Chair: * Jonathan Aldrich (Carnegie Mellon University) Onward! Papers Chair: * Emina Torlak (University of Washington) Onward! Essays Chair: * Robert Biddle (Carleton University) DLS Program Chair: * Davide Anaconde (University of Genova) GPCE General Chair: * Matthew Flatt (University of Utah) GPCE Program Chair: * Sebastian Erdweg (TU Delft) SLE General Chair: * Benoit Combemale (University of Rennes 1) SLE Program Co-Chairs: * Marjan Mernik (University of Maribor) * Bernhard Rumpe (RWTH Aachen University) Scala Symposium General Chair: * Heather Miller (Ecole Polytechnique Federale de Lausanne) Scala Symposium Program Co-Chairs: * Philipp Haller (KTH Royal Institute of Technology) * Ondrej Lhotak (University of Waterloo) Scala Symposium Organizers: * Paolo G. Giarrusso (University of Tuebingen) * Jonathan Immanuel Brachtaeuser (University of Tuebingen) SPLASH-E Chair: * Joe Gibbs Politz (University of California, San Diego) SPLASH-I Co-Chairs: * Karim Ali (University of Alberta) * Avik Chaudhuri (Facebook) Workshops Co-Chairs: * Craig Anslow (Middlesex University) * Alex Potanin (Victoria University of Wellington) OOPLSA Artifact Evaluation Co-Chairs: * Michael Bond (Ohio State University) * Sam Tobin-Hochstadt (Indiana University) Posters Co-Chairs: * Jonathan Bell (George Mason University) * Patrick Lam (University of Waterloo) Doctoral Symposium Chair: * Elisa Gonzalez Boix (Vrije Universiteit Brussel) Programming Languages Mentoring Workshop Co-Chairs: * Lori Pollock (University of Delaware) * Barbara Ryder (Virginia Tech) Student Research Competition Co-Chairs: * Shan Shan Huang (LogicBlox) * Jennifer Sartor (Vrije Universiteit Brussel) Student Volunteers Co-Chairs: * Daco Harkes (TU Delft) * Giovanni Viviani (University of British Columbia) Publications Chair: * Alex Potanin (Victoria University of Wellington) * Tijs van der Storm (CWI & University of Groningen) Sponsorships Co-Chairs: * Tony Hosking (Australian National University, Data61, Purdue University) * Jurgen Vinju (CWI & TU Eindhoven) Video Co-Chairs: * David Darais (University of Maryland) * Michael Hilton (Oregon State University) Web and Publicity Co-Chairs: * Ronald Garcia (University of British Columbia) * Eric Walkingshaw (Oregon State University)

1 0