[TYPES/announce] PhD position in Programming Language Tooling - Lund University, Sweden
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are offering one fully funded PhD position to a qualified candidate with an interest in programming languages (both textual and visual), program analysis, meta programming, and cloud solutions. The goal of the project is to develop general methods for constructing cloud tooling for textual and visual languages. The research will be based on reference attribute grammars, which is a high-level declarative formalism for specifying type analysis and other static analyses of languages, and for generating compilers and other tooling. For more information, see https://cs.lth.se/open-positions/phd-student-in-cloud-based-language-tooling/ *** The deadline for applications is March 30, 2021. *** Prof. Görel Hedin Department of Computer Science Lund University Sweden
[TYPES/announce] Three fully paid PhD positions at Lund University
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Three fully paid PhD positions at Lund University Application deadline: August 30 a) Explainable Declarative Program Analysis, for types and effects (PI Görel Hedin) b) A Domain-Specific Language approach for Reliability, Availability, Maintainability and Safety of Autonomous Robots (PI Christoph Reichenbach) c) Continuous Software System Testing of Autonomous Systems (PI Per Runeson) The positions are financed by the large Swedish research program WASP (the Wallenberg AI, Autonomous Systems and Software Program) and includes joint PhD courses, summer schools, international study trips, etc. See http://www.lth.se/english/work/show/doctoral%20students%20in%20computer%20science%20(wasp)(pa2019-2500)/ <http://www.lth.se/english/work/show/doctoral%20students%20in%20computer%20science%20(wasp)(pa2019-2500)/>
[TYPES/announce] Associate Professor in Software Technology with Starting Grant, at Lund University, Sweden
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Second call for applications. The following position is announced on the types-announce mailinglist, as new programming languages, type systems, and verification techniques are important techniques and tools in the software technology field. STRONGLY FINANCED ASSOCIATE PROFESSOR POSITION IN SOFTWARE TECHNOLOGY The Computer Science department at Lund University, Sweden, invites applications for a newly created position as Associate Professor in Software Technology, supported by WASP, Wallenberg Autonomous Systems Program. The position includes a generous starting grant of roughly 2.5 million Euro, adequate to finance four PhD/postdoc students over a period of 4 years, i.e., comparable to an ERC starting grant. We are looking for candidates with an excellent research record, demonstrated through a clear and innovative research vision along with research results, including software, and publications in conferences and journals of top quality. Special attention will be paid to industry collaboration and the long term development potential of the candidate. WASP is a 10 year research program funded by a donation of more than 100 million Euro by the Knut and Alice Wallenberg Foundation, and with additional funding provided by industry and participating universities in Sweden. WASP supports a number of strongly financed positions in Sweden, see http://wasp-sweden.org/ . Lund University is ranked as one of the top 100 in the world.Seehttp://www.lunduniversity.lu.se/about/work-at-lund-university/why-work-at-lund-university . Lund, "city of ideas", is over 1000 years old and is consistently ranked as one of the best places in Sweden to live. It is located in the southern part of Sweden, just 35 minutes by train from the Danish Copenhagen international airport. Close to the engineering faculty is the IDEON Science Park with 350 companies, including many global actors in ICT. Formal announcement:https://lu.mynetworkglobal.com/en/what:job/jobID:105412/where:4/ Application deadline: September 15, 2016 For more information, contact: Prof. Görel Hedin, http://cs.lth.se/gorel-hedin (main contact) Prof. Per Runeson, http://cs.lth.se/per-runeson (head of department)
[TYPES/announce] Associate Professor in Software Technology with Starting Grant, at Lund University, Sweden
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The following position is announced on the types-announce mailinglist, as new programming languages, type systems, and verification techniques are important techniques and tools in the software technology field. STRONGLY FINANCED ASSOCIATE PROFESSOR POSITION IN SOFTWARE TECHNOLOGY The Computer Science department at Lund University, Sweden, invites applications for a newly created position as Associate Professor in Software Technology, supported by WASP, Wallenberg Autonomous Systems Program. The position includes a generous starting grant of roughly 2.5 million Euro, adequate to finance four PhD/postdoc students over a period of 4 years, i.e., comparable to an ERC starting grant. We are looking for candidates with an excellent research record, demonstrated through a clear and innovative research vision along with research results, including software, and publications in conferences and journals of top quality. Special attention will be paid to industry collaboration and the long term development potential of the candidate. WASP is a 10 year research program funded by a donation of more than 100 million Euro by the Knut and Alice Wallenberg Foundation, and with additional funding provided by industry and participating universities in Sweden. WASP supports a number of strongly financed positions in Sweden, see http://wasp-sweden.org/ . Lund University is ranked as one of the top 100 in the world. Seehttp://www.lunduniversity.lu.se/about/work-at-lund-university/why-work-at-lund-university . Lund, "city of ideas", is over 1000 years old and is consistently ranked as one of the best places in Sweden to live. It is located in the southern part of Sweden, just 35 minutes by train from the Danish Copenhagen international airport. Close to the engineering faculty is the IDEON Science Park with 350 companies, including many global actors in ICT. Formal announcement: https://lu.mynetworkglobal.com/en/what:job/jobID:105412/where:4/ Application deadline: September 15, 2016 For more information, contact: Prof. Görel Hedin, http://cs.lth.se/gorel-hedin Prof. Per Runeson, http://cs.lth.se/per-runeson
[TYPES/announce] CALL FOR PARTICIPATION in SLE/GPCE/FOSD 2012
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** CALL FOR PARTICIPATION in SLE/GPCE/FOSD 2012 Main Conferences, Keynotes, Workshops/Industrial Track, Doctoral Symposium, Poster Sessions Sept. 24th - Oct. 28th, 2012 Technische Universität Dresden/GERMANY SLE: http://planet-sl.org/sle2012 GPCE: http://program-transformation.org/GPCE12/ FOSD: http://planet-sl.org/fosd2012 *** The 5th International Conference on Software Language Engineering (SLE 2012) is devoted to topics related to artificial languages in software engineering. Of particular relevance are technologies, methods, experiments, and case studies on software languages from modelware, grammarware and ontologyware perspectives. The 11th International Conference on Generative Programming and Component Engineering (GPCE 2012) is a venue for researchers and practitioners interested in techniques that use advanced programming languages, programming techniques, and program generators to improve the structure and modularity of programs. The 4th International Workshop on Feature-Oriented Software Development (FOSD) is to be aimed at the collaboration between the researchers who work in the field of FOSD or in the related fields of software product lines, service-oriented architecture, model-driven engineering and feature interactions. The SLE/GPCE/FOSD program overview is here to find: http://planet-sl.org/sle2012/index.php?option=com_contentview=articleid=10:programcatid=9:presentation REGISTRATION Register online at http://planet-sl.org/sle2012/index.php?option=com_contentview=articleid=17:registrationcatid=9:presentation until 24th August to take advantage of the early bird registration rates! We encourage you to reserve your hotel rooms using the conference registration site. SLE/GPCE KEYNOTES = SLE and GPCE have three keynote speakers: - Éric Tanter (University of Chile): Taming Aspects - Oege de Moor (University of Oxford): Analysing Contributions - Margaret-Anne Storey (University of Victoria): Addressing Cognitive and Social Challenges in Using and Reusing Ontologies FOSD has two keynote speakers: - Mira Mezini (Darmstadt University of Technology): Programming Language Concepts for Feature-Oriented Software Development - Salvador Trujillo (IKERLAN Research Centre): FOSD-Engineering beyond Code: Experiences from Offshore Wind Power and Railways SLE/GPCE SCIENTIFIC PROGRAM === 20 SLE and 15 GPCE presentations have been selected for presentation in altogether 12 sessions. Moreover, we have an SLE doctoral symposium with an own keynote and 12 presentations, 2 SLE poster sessions and 3 SLE minitutorials on metamodeling, grammarware, and ontologies. SLE INDUSTRIAL TRACK (ITSLE) = On the 25th of September ITSLE12 will feature an industrial track: http://planet-sl.org/itsle2012/index.php?option=com_contentview=articleid=136Itemid=319 This workshop brings together people from industry and academia working on domain specific languages and model driven software engineering.
[TYPES/announce] Last Call for Submissions: SLE 2012 Poster Track and Doctoral Symposium
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] LAST CALL FOR SUBMISSIONS to Poster Track and Doctoral Symposium Fifth International Conference on Software Language Engineering (SLE 2012) Sept 25-28, 2012, Dresden, Germany General chair: Uwe Assmann http://planet-sl.org/sle2012 SLE is co-located with GPCE, FOSD, and ITSLE. Call for submissions to Poster Track and the Doctoral Symposium closes July 10. Call for papers to the main track is closed. The 5th International Conference on Software Language Engineering (SLE) is devoted to topics related to artificial languages in software engineering. SLE encourages communication among communities that have traditionally looked at software languages from different and yet complementary perspectives. Of particular relevance to SLE are technologies, methods, experiments, and case studies on software languages from modelware, grammarware and ontologyware perspectives. POSTER TRACK On-line proceedings Submission deadline: July 10 For the poster track, we solicit short papers of length between 5 and 6 pages in topics of interest to the SLE community, and we encourage authors to report on early work and applications. Poster papers will be evaluated based on novelty and clearness of presentation. Submitted papers must not have been previously published or currently be submitted for publication elsewhere. Authors of accepted short papers will present their posters during a poster session at the conference. Poster track co-chairs: - Dimitris Kolovos, University of York - Anya Helene Bagge, University of Bergen Poster track program committee: - Emilie Balland, INRIA - Laurence Tratt, Middlesex University - Alessandro Rossini, University of Bergen - Pieter Van Gorp, Eindhoven University of Technology - Anne Etien, LIFL - University of Lille 1 - Antonio Cicchetti, Mälardalen University - Louis Rose, University of York - Zinovy Diskin, McMaster University / University of Waterloo DOCTORAL SYMPOSIUM On-line proceedings Submission deadline: July 10 The International Conference on Software Language Engineering (SLE) aims to bring together the different sub-communities of the software-language-engineering community to foster cross-fertilisation and to strengthen research overall. Within this context the Doctoral Symposium at SLE 2012 contributes towards these goals by providing a forum for both early and late-stage PhD students to present their research and get detailed feedback and advice from researchers both in and out of their particular research area. The main objectives of this event are: - to provide PhD students with an opportunity to write about and present their research - to provide PhD students with constructive feedback on their work from their peers and from established researchers in their own and in different SLE sub-communities - to build bridges for potential research collaboration - to foster integrated thinking about SLE challenges crossing the boundaries between sub-communities - to encourage discussion about research methodology Besides research topics as mentioned in the SLE conference positioning, we explicitly solicit papers that address - unusual cross-domain aspects of software languages, - practical application of software language engineering concepts in real world examples, commercial or non-commercial, or - usage and usability aspects of software languages for non-IT and non-research audience as well. Furthermore, we encourage PhD students to submit papers about research aspects of and connected to software language engineering, even if not explicitly mentioned in the positioning of SLE and doctoral symposium in order to start exchange of such research ideas in the community. Doctoral Symposium co-chairs: - Prof. Dr. Ulrich W. Eisenecker, University of Leipzig - Christian Bucholdt, Credit Suisse AG, Zürich Doctoral Symposium program committee: - Roberto Lopez Herrejon, Johannes Kepler University of Linz, AT - Michael Haupt, Oracle - Rick Rabiser, Johannes Kepler University of Linz, AT - Zoltan Porkolab, Eötvös Loránd University, HU - Valentino Vranic, University of Technology Bratislava, SK - Sebastian Günther, Vrije University Brussels, BE - Gunther Saake, University of Magdeburg, DE - Ulrich Breymann, University of Applied Sciences Bremen, DE - Johannes Müller, University of Leipzig, DE - Christian Kästner, University of Marburg, DE - Mark van den Brand, Eindhoven University of Technology, NL - Jörg Liebig, University of Passau, DE - Jaako Järvi, Texas AM University, College Station, USA - Arnaud Hubaux, University of Namur, BE - Steffen Becker, University of Paderborn, DE - Heike Wehrheim, University of Paderborn, DE - David Benavides, University of Seville, ES - Oscar Nierstrasz, University of Bern, CH - Michal Valenta,
[TYPES/announce] Second Call for Submissions: SLE 2012 Poster Track and Doctoral Symposium
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SECOND CALL FOR SUBMISSIONS to Poster Track and Doctoral Symposium Fifth International Conference on Software Language Engineering (SLE 2012) Sept 25-28, 2012, Dresden, Germany General chair: Uwe Assmann http://planet-sl.org/sle2012 SLE is co-located with GPCE, FOSD, and ITSLE. Call for submissions to Poster Track and the Doctoral Symposium closes July 10. Call for papers to the main track is closed. The 5th International Conference on Software Language Engineering (SLE) is devoted to topics related to artificial languages in software engineering. SLE encourages communication among communities that have traditionally looked at software languages from different and yet complementary perspectives. Of particular relevance to SLE are technologies, methods, experiments, and case studies on software languages from modelware, grammarware and ontologyware perspectives. POSTER TRACK On-line proceedings Submission deadline: July 10 For the poster track, we solicit short papers of length between 5 and 6 pages in topics of interest to the SLE community, and we encourage authors to report on early work and applications. Poster papers will be evaluated based on novelty and clearness of presentation. Submitted papers must not have been previously published or currently be submitted for publication elsewhere. Authors of accepted short papers will present their posters during a poster session at the conference. Poster track co-chairs: - Dimitris Kolovos, University of York - Anya Helene Bagge, University of Bergen Poster track program committee: - Emilie Balland, INRIA - Laurence Tratt, Middlesex University - Alessandro Rossini, University of Bergen - Pieter Van Gorp, Eindhoven University of Technology - Anne Etien, LIFL - University of Lille 1 - Antonio Cicchetti, Mälardalen University - Louis Rose, University of York - Zinovy Diskin, McMaster University / University of Waterloo DOCTORAL SYMPOSIUM On-line proceedings Submission deadline: July 10 The International Conference on Software Language Engineering (SLE) aims to bring together the different sub-communities of the software-language-engineering community to foster cross-fertilisation and to strengthen research overall. Within this context the Doctoral Symposium at SLE 2012 contributes towards these goals by providing a forum for both early and late-stage PhD students to present their research and get detailed feedback and advice from researchers both in and out of their particular research area. The main objectives of this event are: - to provide PhD students with an opportunity to write about and present their research - to provide PhD students with constructive feedback on their work from their peers and from established researchers in their own and in different SLE sub-communities - to build bridges for potential research collaboration - to foster integrated thinking about SLE challenges crossing the boundaries between sub-communities - to encourage discussion about research methodology Besides research topics as mentioned in the SLE conference positioning, we explicitly solicit papers that address - unusual cross-domain aspects of software languages, - practical application of software language engineering concepts in real world examples, commercial or non-commercial, or - usage and usability aspects of software languages for non-IT and non-research audience as well. Furthermore, we encourage PhD students to submit papers about research aspects of and connected to software language engineering, even if not explicitly mentioned in the positioning of SLE and doctoral symposium in order to start exchange of such research ideas in the community. Doctoral Symposium co-chairs: - Prof. Dr. Ulrich W. Eisenecker, University of Leipzig - Christian Bucholdt, Credit Suisse AG, Zürich Doctoral Symposium program committee: - Roberto Lopez Herrejon, Johannes Kepler University of Linz, AT - Michael Haupt, Oracle - Rick Rabiser, Johannes Kepler University of Linz, AT - Zoltan Porkolab, Eötvös Loránd University, HU - Valentino Vranic, University of Technology Bratislava, SK - Sebastian Günther, Vrije University Brussels, BE - Gunther Saake, University of Magdeburg, DE - Ulrich Breymann, University of Applied Sciences Bremen, DE - Johannes Müller, University of Leipzig, DE - Christian Kästner, University of Marburg, DE - Mark van den Brand, Eindhoven University of Technology, NL - Jörg Liebig, University of Passau, DE - Jaako Järvi, Texas AM University, College Station, USA - Arnaud Hubaux, University of Namur, BE - Steffen Becker, University of Paderborn, DE - Heike Wehrheim, University of Paderborn, DE - David
[TYPES/announce] 2nd CFP: SLE 2012 - International Conference on Software Language Engineering
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Second CALL FOR PAPERS Fifth International Conference on Software Language Engineering (SLE 2012) Sept 25-28, 2012, Dresden, Germany (Co-located with GPCE 2012) General chair: Uwe Assmann, Dresden University of Technology, Germany Program co-chairs: Krzysztof Czarnecki, Waterloo University, Canada Görel Hedin, Lund University, Sweden http://planet-sl.org/sle2012 The 5th International Conference on Software Language Engineering (SLE 2012) is devoted to topics related to artificial languages in software engineering. SLE's foremost mission is to encourage and organize communication among communities that have traditionally looked at software languages from different and yet complementary perspectives. Thus, of particular relevance to SLE are technologies, methods, experiments, and case studies on software languages from modelware, grammarware and ontologyware perspectives. IMPORTANT DATES Abstract submission deadline : June 4, 2012 Article submission deadline : June 11, 2012 Notification to authors : August 3, 2012 Camera-ready papers for preproceedings : September 3, 2012 Camera-ready papers for postproceedings : October 28, 2012 TYPES OF SUBMISSIONS We solicit the following types of papers: - Research papers: These should report a substantial research contribution to SLE or successful application of SLE techniques or both. Full paper submissions must not exceed 20 pages (Springer LNCS style). - Industrial experience papers: These papers discuss practical applications of SLE technology with an emphasis on the advantages and disadvantages of the method, techniques, or tools used. These papers must not exceed 10 pages. - Tool demonstration papers: Because of SLE's ample interest in tools, we seek papers that present software tools related to the field of SLE. These papers will accompany a tool demonstration to be given at the conference. These papers must not exceed 10 pages. The selection criteria include the originality of the tool, its innovative aspects, the relevance of the tool to SLE, and the maturity of the tool. Submitted articles must not have been previously published or currently be submitted for publication elsewhere. PROCEEDINGS All submitted papers will be reviewed by at least three members of the program committee. As for previous instances of SLE, all accepted papers will be made available at the conference in the pre-proceedings and published in the post-proceedings of the conference, which will appear in Springer's Lecture Notes in Computer Science series. Authors will have the opportunity to revise their accepted paper for the pre- and post-proceedings. All papers must be formatted according to the Springer’s Lecture Notes in Computer Science style. SCOPE The term software language refers to artificial languages used in software development including general-purpose programming languages, domain-specific languages, modeling and meta-modeling languages, data models, and ontologies. Examples include general purpose modeling languages such as UML, but also domain-specific modeling languages for business process modeling, such as BPMN, or embedded systems, such as Simulink or Modelica, and specialized XML-based and OWL-based languages and vocabularies. The term software language also comprises APIs and collections of design patterns that define a language implicitly. Software language engineering is the application of systematic, disciplined, and quantifiable approaches to the development (design, implementation, testing, deployment), use, and maintenance (evolution, recovery, and retirement) of these languages. Of special interest are (1) formal descriptions of languages that are used to design or generate language-based tools and (2) methods and tools for managing such descriptions, including modularization, refactoring, refinement, composition, versioning, co-evolution, recovery, and analysis. EAPLS BEST PAPER AWARD The best reviewed papers submitted to SLE and GPCE will be candidates for the 2012 SLE/GPCE Best Paper Award given by EAPLS. Out of these candidates, an independent EAPLS committee will select the award winner. TOPICS OF INTEREST We solicit high-quality contributions in the area of SLE ranging from theoretical and conceptual contributions to tools, techniques, and frameworks that support the aforementioned lifecycle activities. The topics of interest include, but are not limited to the following: - Formalisms used in designing and specifying languages and tools that analyze language descriptions: Examples are formalisms for grammars, schemas, ontologies, and metamodels; tools that detect inconsistencies in metamodels or analyze grammars to build