[TYPES/announce] Postdoc Position, Programming Group - SCS, University of St.Gallen
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A fully funded postdoc position is open in the Programming Group at the School of Computer Science, University of St. Gallen (CH). The position is supervised by Prof. Guido Salvaneschi. Our research interests include programming languages and software engineering, with applications to distributed systems and security. For an overview of our research topics, please check the page: https://programming-group.com The position is supported by the Swiss National Science Foundation. It is available immediately with an internationally competitive salary and an initial appointment of two years. The successful candidate should have a Ph.D. (or should be very close to completion thereof) in Computer Science, Mathematics, or a related field. The position will be filled as soon as a suitable candidate is found. Applications should be sent to guido.salvanes...@unisg.ch with a CV, including a publication list, and a short motivation letter. -- Guido Salvaneschi Associate Professor University of St.Gallen - Switzerland
[TYPES/announce] CFP: ACM Scala Symposium 2020
. For inspiration, you might consider advice in https://conf.researchr.org/track/POPL-2016/pepm-2016-main#Tool-Paper-Advice, which we however treat as non-binding. In case of doubts, please contact the program chair. # Student Talks In addition to regular papers and tool demos, we also solicit short student talks by bachelor/master/PhD students. A student talk is not accompanied by paper (it is sufficient to submit a short abstract of the talk in plain text). Student talks are about 15 minutes long, presenting ongoing or completed research related to Scala. In previous years, each student with an accepted student talk received a grant (donated by our sponsors) covering registration and/or travel costs. # Open-Source Talks We will also accept a limited number of short talks about open-source projects using Scala presented by contributors. An open-source talk is not accompanied by a paper (it is sufficient to submit a short abstract of the talk in plain text). Open-source talks are about 15 minutes long and should be about topics relevant to the symposium. They may, for instance, present or announce an open-source project that would be of interest to the Scala community. # Organizing Committee * (General Chair) Guido Salvaneschi - TU Darmstadt, Germany * (PC Chair) Nada Amin - Harvard University, United States * (Publicity Chair) David Richter - TU Darmstadt, Germany # Program Committee * Oliver Bracevac - TU Darmstadt, Germany * Youyou Cong - Tokyo Institute of Technology, Japan * Oleg Kiselyov - Tohoku University, Japan * Victor Kuncak - EPFL, Switzerland * Fengyun Liu - EPFL Switzerland * Mikael Mayer - EPFL, Switzerland * Ragnar Mogk - TU Darmstadt, Germany * Adriaan Moors - Lightbend * Jon Pretty - Propensive Ltd * Julien Richard-Foy - Scala Center * Georg Stefan Schmid - EPFL, Switzerland * Ruby Tahboub - Purdue University, United States * Philip Wadler - University of Edinburgh, United Kingdom # Submission Website The submission will be managed through HotCRP: https://scala20.hotcrp.com/ For questions and additional clarifications, please contact the conference organizers. -- Guido Salvaneschi Assistant Professor TU Darmstadt - Germany
[TYPES/announce] 2019 - Call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2019 : The Art, Science, and Engineering of Programming April 1-4, 2019, Genova, Italy http://2019.programming-conference.org The International Conference on the Art, Science, and Engineering of Programming is a new conference focused on programming topics including the experience of programming. We have named it for short. seeks for papers that advance knowledge of programming on any relevant topic, including programming practice and experience. Paper submissions and publications are handled by the the Art, Science, and Engineering of Programming journal (http://programming-journal.org). Accepted papers must be presented at the conference. CALL FOR PAPERS 2019 accepts scholarly papers that advance knowledge of programming. Almost anything about programming is in scope, but in each case there should be a clear relevance to the act and experience of programming. PAPER SUBMISSIONS: October 1, 2018 URL FOR SUBMISSIONS: http://programming-journal.org/submission/ Submissions covering several areas of expertise are accepted, including but not limited to: • General-purpose programming • Distributed systems programming • Parallel and multi-core programming • Graphics and GPU programming • Security programming • User interface programming • Database programming • Visual and live programming • Data mining and machine learning programming • Interpreters, virtual machines and compilers • Modularity and separation of concerns • Model-based development • Metaprogramming and reflection • Testing and debugging • Program verification • Programming education • Programming environments • Social coding IMPORTANT DATES Research paper submissions: October 1, 2018 Research paper first notifications: December 1, 2018 Research paper final notifications: January 7, 2019 ORGANIZATION General Chair: Davide Ancona, University of Genova Local Organizing Chair: Elena Zucca, University of Genova Program Chair: Matthew Flatt, University of Utah Organizing Committee: Walter Cazzola (Workshops Co-Chair), Università degli Studi di Milano Stefan Marr (Workshops Co-Chair), University of Kent Fabio Niephaus (Publicity Co-Chair), Hasso Plattner Institute, University of Potsdam Guido Salvaneschi (Publicity Co-Chair), Darmstadt University of Technology Tobias Pape (Web Technology Chair), Hasso Plattner Institute, University of Potsdam Program Committee: Anya Helene Bagge, University of Bergen Mehdi Bagherzadeh, Oakland University Walter Cazzola, Università degli Studi di Milano Ravi Chugh, University of Chicago Joeri De Koster, Vrije Universiteit Brussel Christos Dimoulas, Northwestern University Susan Eisenbach, Imperial College London Richard P. Gabriel, Dream Songs, Inc. & HPI Jeremy Gibbons, University of Oxford Michael Greenberg, Pomona College Philipp Haller, KTH Royal Institute of Technology Robert Hirschfeld, HPI, University of Potsdam Eunsuk Kang, Carnegie Mellon University Stephen Kell, University of Cambridge Stefan Marr, University of Kent Tamara Rezk, Inria Joshua Sunshine, Carnegie Mellon University Steffen Zschaler, King's College London 2019 is kindly supported by AOSA For more information, visit http://2019.programming-conference.org
[TYPES/announce] CFP: REBLS 2017 - 4th International Workshop on Reactive and Event-Based Languages & Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 4rd International Workshop on Reactive and Event-Based Languages & Systems Held at SPLASH Conference http://2017.splashcon.org/ Vancouver, Canada - October 23rd, 2017 = Introduction = Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design - so-called reactive and event-based languages and systems (REBLS) - have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored. This workshop will gather researchers in reactive and event-based languages and systems. The goal of the workshop is to exchange new technical research results and to define better the field by coming up with taxonomies and overviews of the existing work. = Contributions = Even though reactive programming and event-based programming are receiving ever more attention, the field is far from mature. This workshop will join forces and try to gather researchers working on the foundational models, languages and implementation technologies. We welcome all submissions on reactive programming, aspect- and event-oriented systems, including but not limited to: - Language design, implementation, runtime systems, program analysis, software metrics, patterns and benchmarks. - Study of the paradigm: interaction of reactive and event-based programming with existing language features such as object-oriented programming, mutable state, concurrency. - Advanced event systems, event quantification, event composition, aspect-oriented programming for reactive applications. - Functional-reactive programming, self-adjusting computation and incremental computing. - Applications, case studies that show the efficacy of reactive programming. - Empirical studies that motivate further research in the field. - Patterns and best-practices. - Related fields, such as complex event processing, reactive data structures, view maintenance, constraint-based languages, and their integration with reactive programming. IDEs, Tools. - Implementation technology, language runtimes, virtual machine support, compilers. - Modularity and abstraction mechanisms in large systems. - Formal models for reactive and event-based programming. The format of the workshop is that of a mini-conference. Participants can present their work in slots of 30mins with Q included. Because of the declarative nature of reactive programs, it is often hard to understand their semantics just by looking at the code. We therefore also encourage authors to use their slots for presenting their work based on live demos. = Submissions = REBLS encourages submissions of two types of papers: - Research results: complete works that ill be published in the ACM digital library. - In progress papers: papers that have the potential of triggering an interesting discussion at the workshop or present new ideas that require further systematic investigation. These papers will not be published in the ACM digital library. Info about the format and the page limits can be found on the REBLS'17 website (http://2017.splashcon.org/track/rebls-2017). = Important dates = - Papers deadline: August 1, 2017 - Papers notification: September 5, 2017 - Workshop: October 23rd, 2017 Organization Organizers: Guido Salvaneschi, TU Darmstadt Wolfgang De Meuter, Vrije Universiteit Brussel Patrick Eugster, Purdue University and TU Darmstadt Lukasz Ziarek, SUNY Buffalo = REBLS @ SPLASH 2017 -- Guido Salvaneschi Assistant Professor TU Darmstadt - Germany
[TYPES/announce] CFP: REBLS 2016 - 3rd International Workshop on Reactive and Event-Based Languages & Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 3rd International Workshop on Reactive and Event-Based Languages & Systems Held at SPLASH Conference http://2016.splashcon.org/ Amsterdam, Netherlands - November 1st, 2016 = Introduction = Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design - so-called reactive and event-based languages and systems (REBLS) - have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored. This workshop will gather researchers in reactive and event-based languages and systems. The goal of the workshop is to exchange new technical research results and to define better the field by coming up with taxonomies and overviews of the existing work. = Contributions = Even though reactive programming and event-based programming are receiving ever more attention, the field is far from mature. This workshop will join forces and try to gather researchers working on the foundational models, languages and implementation technologies. We welcome all submissions on reactive programming, aspect- and event-oriented systems, including but not limited to: - Language design, implementation, runtime systems, program analysis, software metrics, patterns and benchmarks. - Study of the paradigm: interaction of reactive and event-based programming with existing language features such as object-oriented programming, mutable state, concurrency. - Advanced event systems, event quantification, event composition, aspect-oriented programming for reactive applications. - Functional-reactive programming, self-adjusting computation and incremental computing. - Applications, case studies that show the efficacy of reactive programming. - Empirical studies that motivate further research in the field. - Patterns and best-practices. - Related fields, such as complex event processing, reactive data structures, view maintenance, constraint-based languages, and their integration with reactive programming. IDEs, Tools. - Implementation technology, language runtimes, virtual machine support, compilers. - Modularity and abstraction mechanisms in large systems. - Formal models for reactive and event-based programming. The format of the workshop is that of a mini-conference. Participants can present their work in slots of 30mins with Q included. Because of the declarative nature of reactive programs, it is often hard to understand their semantics just by looking at the code. We therefore also encourage authors to use their slots for presenting their work based on live demos. = Submissions = REBLS encourages submissions of two types of papers: - Research results: complete works that ill be published in the ACM digital library. - In progress papers: papers that have the potential of triggering an interesting discussion at the workshop or present new ideas that require further systematic investigation. These papers will not be published in the ACM digital library. Info about the format and the page limits can be found on the REBLS'16 website (http://2016.splashcon.org/track/rebls2016). = Important dates = - Papers deadline: August 1, 2016 - Papers notification: September 5, 2016 - Workshop: November 1, 2016 Organization and Committees Organizers: Guido Salvaneschi, TU Darmstadt Wolfgang De Meuter, Vrije Universiteit Brussel Patrick Eugster, Purdue University and TU Darmstadt Lukasz Ziarek, SUNY Buffalo Program Committee: Umut Acar - Carnegie Mellon University Albert Cheng - University of Houston Shigeru Chiba - University of Tokyo Camil Demetrescu - Sapienza University of Rome Dominique Devriese - Katholieke Universiteit Leuven Jonathan Edwards - Massachusetts Institute of Technology Tim Felgentreff - Hasso Plattner Institut Philipp Haller - KTH Royal Institute of Technology Erik Meijer - Applied Duality, Inc. Heather Miller - EPFL Jacques Noye - École des Mines de Nantes Yoshiki Ohshima - Viewpoints Research Institute Hridesh Rajan - Iowa State University Francisco Sant'anna - UERJ, Brazil = REBLS @ SPLASH 2016
[TYPES/announce] CFP: REBLS @ SPLASH 2015 - Workshop on Reactive and Event-Based Languages Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2nd International Workshop on Reactive and Event-Based Languages Systems Held at SPLASH Conference http://2015.splashcon.org/ Pittsburgh, Pennsylvania, USA - October 25/26, 2015 = Introduction = Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design - so-called reactive and event-based languages and systems (REBLS) - have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored. This workshop will gather researchers in reactive and event-based languages and systems. The goal of the workshop is to exchange new technical research results and to define better the field by coming up with taxonomies and overviews of the existing work. = Contributions = Even though reactive programming and event-based programming are receiving ever more attention, the field is far from mature. This workshop will join forces and try to gather researchers working on the foundational models, languages and implementation technologies. We welcome all submissions on reactive programming, aspect- and event-oriented systems, including but not limited to: language design, implementation, runtime systems, program analysis, software metrics, patterns and benchmarks. - Study of the paradigm: interaction of reactive and event-based programming with existing language features such as object-oriented programming, mutable state, concurrency. - Advanced event systems, event quantification, event composition, aspect-oriented programming for reactive applications. - Functional-reactive programming, self-adjusting computation and incremental computing. - Applications, case studies that show the efficacy of reactive programming. - Empirical studies that motivate further research in the field. - Patterns and best-practices. - Related fields, such as complex event processing, reactive data structures, view maintenance, constraint-based languages, and their integration with reactive programming. - IDEs, Tools. - Implementation technology, language runtimes, virtual machine support, compilers. - Modularity and abstraction mechanisms in large systems. - Formal models for reactive and event-based programming. The format of the workshop is that of a mini-conference. Because of the declarative nature of reactive programs, it is often hard to understand their semantics just by looking at the code. We therefore also encourage authors to use their slots for presenting their work based on live demos. Info about the format and the page limits can be found on the REBLS'15 website (http://www.rebls-ws.com). = Important dates = - Full-paper deadline: August 7, 2015 - Full-paper notification: September 7, 2015 - Workshop: October 25/26, 2015 Info about the submission site can be found on the REBLS'15 page (http://www.rebls-ws.com). Organization and Committees Organizers: Guido Salvaneschi, TU Darmstadt Wolfgang De Meuter, Vrije Universiteit Brussel Patrick Eugster, Purdue University and TU Darmstadt Lukasz Ziarek, SUNY Buffalo Program Committee: Umut Acar, Carnegie Mellon University Shigeru Chiba, University of Tokyo Dominique Devriese, Katholieke Universiteit Leuven Jonathan Edwards, Massachusetts Institute of Technology Philipp Haller, KTH Royal Institute of Technology Hridesh Rajan, Iowa State University = REBLS @ SPLASH 2015