- Haskell - Haskell.org

Call for Participation: Midlands Graduate School, 14-18 April, Birmingham UK
by Graham Hutton 05 Feb '19

05 Feb '19

Dear all, Midlands Graduate School (MGS) registration is now open! Eight courses on property based testing, category theory, univalent type theory, lambda calculus, and more. 14-18 April 2019, Birmingham, UK. Spaces are limited, so register early. Please share! http://events.cs.bham.ac.uk/mgs2019/ Best wishes, Graham Hutton ============================================================ Midlands Graduate School 2019 14-18 April 2019, Birmingham, UK http://events.cs.bham.ac.uk/mgs2019/ BACKGROUND: The Midlands Graduate School (MGS) in the Foundations of Computing Science provides an intensive course of lectures on the mathematical foundations of computing. The MGS has been running since 1999, and is aimed at PhD students in their first or second year of study, but the school is open to everyone, and has increasingly seen participation from industry. We welcome participants from all over the world! COURSES: Eight courses will be given. Participants usually take all the introductory courses and choose additional options from the advanced courses depending on their interests. Invited course - Adventures in Property Based Testing, John Hughes Introductory courses - Lambda Calculus, Venanzio Capretta - Category Theory, Thorsten Altenkirch - Univalent Type Theory in Agda, Martn Escard Advanced courses - Calculating programs, Jennifer Hackett - Type Refinement Systems, Noam Zeilberger - Synthesis of Reactive Systems, Rayna Dimitrova - Monoidal Categories, Higher Categories, Jamie Vicary REGISTRATION: Registration is 220 for student, academic and independent participants, and 420 for industry participants. Accommodation is not included; please see the conference webpage for advice. The registration deadline is ** Sunday, 31 March **. Spaces are limited, so please register early to secure your place. SPONSORSHIP: We offer a range of sponsorship opportunities for industry (bronze, silver, gold and platinum), each with specific benefits. Please see the website for further details. ============================================================ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.

1 0

Bx 2019 Second Call for Papers (Workshop on Bidirectional Transformations)
by James Cheney 04 Feb '19

04 Feb '19

Bx 2019: 8th International Workshop on Bidirectional Transformations ==================================================================== Highlights: - workshop date set on June 4, 2019 - Zachary Ives confirmed as invited speaker - abstract submission Tuesday, Feb 12, AoE - links to CEUR-WS.org style and template files updated * http://bx-community.wikidot.com/bx2019:home * June 4, 2019, Saint Joseph’s University, Philadelphia, PA, USA * as part of Philadelphia Logic Week (PLW) 2019: https://sites.sju.edu/plw/ * Invited speaker: Zachary Ives (University of Pennsylvania) Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2019 is a dedicated venue for bx in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields. Bx 2019 will be a part of Philadelphia Logic Week (PLW) 2019, which also includes conference and workshops on logic, provenance, and databases, topics that we hope will complement Bx and help build engagement with these communities. Important Dates =============== - Abstract submission: Feb 12 (AoE) - Paper submission: Feb 19 (AoE) - Author notification: Apr 8 - Camera-ready: around May 1 - Workshop: Jun 4, 2019 Aims and Topics =============== The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bx from different perspectives, including but not limited to: - bidirectional programming languages and frameworks - data and model synchronization - view updating - inter-model consistency analysis and repair - data/schema (or model/metamodel) co-evolution - coupled software/model transformations - inversion of transformations and data exchange mappings - domain-specific languages for bx - analysis and classification of requirements for bx - bridging the gap between formal concepts and application scenarios - analysis of efficiency of transformation algorithms and benchmarks - survey and comparison of bx technologies - case studies and tool support Submission Guidelines ===================== Papers must follow the CEUR-WS.org one-column style (with page numbers) available at - http://ceur-ws.org/Vol-XXX/samplestyles/onecolpceurws.sty and must be submitted via EasyChair: - https://www.easychair.org/conferences/?conf=bx2019 A sample LaTeX file using the above style (along with an included sample image) can be downloaded at - http://ceur-ws.org/Vol-XXX/samplestyles/paper1p.tex - http://ceur-ws.org/Vol-XXX/samplestyles/fig1.eps Five categories of submissions are considered: * Full Research Papers (up to 15 pages) - in-depth presentations of novel concepts and results - applications of bx to new domains - survey papers providing novel comparisons between existing bx technologies and approaches case studies * Tool Papers (up to 8 pages) - guideline papers presenting best practices for employing a specific bx approach (with a specific tool) - presentation of new tools or substantial improvements to existing ones - qualitative and/or quantitative comparisons of applying different bx approaches and tools * Experience Report (up to 8 pages) - sharing experiences and lessons learned with bx tools/frameworks/languages - how bx is used in (research/industrial/educational) projects * Extended Abstracts and Short Papers (up to 4 pages) - work in progress - small focused contributions - position papers and research perspectives - critical questions and challenges for bx * Talk Proposals (up to 2 pages) - proposed lectures about topics of interest for bx - existing work representing relevant contributions for bx - promising contributions that are not mature enough to be proposed as papers of the other categories If your submission is not a Full Research Paper, please include the intended submission category in the Title field of EasyChair’s submission form. The bibliography is excluded from the page limits. All papers are expected to be self-contained and well-written. Tool papers are not expected to present novel scientific results, but to document artifacts of interest and share bx experience/best practices with the community. Experience papers are expected to report on lessons learnt from applying bx approaches, languages, tools, and theories to practical application case studies. Extended abstracts should primarily provoke interesting discussion at the workshop and will not be held to the same standard of maturity as regular papers; short papers contain focused results, positions or perspectives that can be presented in full in just a few pages, and that correspondingly contain fewer results and that therefore might not be competitive in the full paper category. Talk proposals are expected to present work that is of particular interest to the community and worth a talk slot at the workshop. We strongly encourage authors to ensure that any (variants of) examples are present in the bx example repository at the time of submission, and for tool papers, to allow for reproducibility with minimal effort, either via a virtual machine (e.g., via Share - http://share20.eu) or a dedicated website with relevant artifacts and tool access. All papers will be peer-reviewed by at least three members of the program committee. If a paper is accepted, one author of the paper is expected to participate in the workshop to present it. Authors of accepted tool papers are also expected to be available to demonstrate their tool at the event. Proceedings and Special Issue ============================= The workshop proceedings, including all accepted papers (except talk proposals), will be published electronically by CEUR-WS.org. A special issue open to all authors of papers in BX workshops over the past few years is planned. Program committee ================= * Co-chairs - James Cheney, University of Edinburgh, UK - Hsiang-Shang ‘Josh’ Ko, National Institute of Informatics, Japan * Members - Leopoldo Bertossi, Carleton University, Canada - Ravi Chugh, University of Chicago, US - Zinovy Diskin, McMaster University, Canada - Paolo Guagliardo, University of Edinburgh, UK - Jules Hedges, University of Oxford, UK - Michael Johnson, Macquarie University, Australia - Leen Lambers, Hasso Plattner Institute, University of Potsdam, Germany - Kazutaka Matsuda, Tohoku University, Japan - Anders Miltner, Princeton University, US - Alfonso Pierantonio, University of L'Aquila, Italy - Perdita Stevens, University of Edinburgh, UK - Daniel Strüber, University of Koblenz and Landau, Germany - Manuel Wimmer, Vienna University of Technology, Austria - Nicolas Wu, University of Bristol, UK

1 0

CfP: WLP 2019 - 33rd Workshop on (Constraint) Logic Programming
by Petra Hofstedt (BTU) 04 Feb '19

04 Feb '19

========================================================= WLP 2019: Call for Papers ========================================================= 33rd Workshop on (Constraint) Logic Programming Cottbus, Germany, September 9-13, 2019 (part of Declare 2019; co-located with INAP, WFLP, and QPLogic) Important Dates Abstract submission: May 27, 2019 Paper submission: June 3, 2019 Notification of acceptance: July 1, 2019 Camera-ready papers: July 29, 2019 Early registration: August 12, 2019 Online Registration: September 2, 2019 Workshop: September 9-13, 2019 WLP 2019 The workshops on (constraint) logic programming serve as the scientific forum of the annual meeting of the Society of Logic Programming (GLP, Gesellschaft fuer Logische Programmierung e.V.). They bring together researchers (not only from Germany) interested in logic programming, constraint programming, and related areas like databases, artificial intelligence, and operations research. Previous workshops have been held in Germany, Austria, Switzerland, Egypt, Japan, Denmark, Spain, Brazil, Italy, and France. Contributions are welcome on all theoretical, experimental, and application aspects of logic and constraint logic programming. The topics include, but are not limited to the following areas: + Logic and Constraint Logic Programming Languages and Extensions + Knowledge Representation and Non-monotonic Reasoning + Applications and Application Areas of (C)LP + Implementations WLP 2019 will be part of DECLARE 2019 and hence be co-located with INAP 2019 (International Conference on Applications of Declarative Programming and Knowledge Management), WFLP 2019 (International Workshop on Functional and Logic Programming), and QPLogic 2019 (Quantum and Probability Logic). Submission Guidelines Authors are invited to submit long papers (no longer than 15 pages) or short papers (no longer than 6 pages) in the following categories: + Regular research papers + Application papers + System descriptions We also encourage submissions on ongoing work of PhD students (no longer than 6 pages). Submissions must be unpublished original work and not submitted for publication elsewhere. However, work that already appeared in informally published workshop proceedings may be submitted too. All papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. All submissions must be formatted in the Lecture Notes in Computer Science style. For further information on the submission procedure, please, visit the conference web site: declare19.de Proceedings All papers accepted for presentation at the conference will be published in informal proceedings publicly available at the Computing Research Repository. According to the program committee reviews, submissions can be directly accepted for publication in the formal post-conference proceedings. The formal post-conference proceedings will be published in both electronic and paper formats by Springer in the Lecture Notes in Computer Science series. After the conference, all authors accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the conference. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. All accepted papers will be presented during the conference. At least one author of an accepted contribution is expected to register for the conference and present the paper. Program Committee Slim Abdennadher (German University in Cairo, Egypt) Christoph Beierle (FernUniversität in Hagen, Germany) Thomas Eiter (Vienna University of Technology, Austria) Daniel Gall (University of Ulm, Germany) Ulrich Geske (University of Potsdam, Germany) Michael Hanus (University of Kiel, Germany) Petra Hofstedt (BTU Cottbus - Senftenberg, Germany) (co-Chair) Steffen Hölldobler (TU Dresden, Germany) Tomi Jahunen (Aalto University, Finland) Ulrich John (hwtk Berlin) (co-Chair) Ke Liu (BTU Cottbus - Senftenberg, Germany) Sven Löffler (BTU Cottbus - Senftenberg, Germany) Falco Nogatz (University of Würzburg, Germany) Torsten Schaub (University of Potsdam, Germany) Sibylle Schwarz (HTWK Leipzig, Germany) Dietmar Seipel (University of Würzburg, Germany) Hans Tompits (Vienna University of Technology, Austria) Janis Voigtländer (Universität Duisburg-Essen, Germany) Armin Wolf (Fraunhofer FOKUS Berlin, Germany) Organizing Committee Petra Hofstedt (General Chair), Sven Löffler, Katrin Ebert, Brandenburg University of Technology, Cottbus, Germany

1 0

Invitation to the 1st European Forum of the SARL Users and Developers (EuSarlCon19)
by Yazan Mualla 04 Feb '19

04 Feb '19

INVITATION FOR PAPERS AND TALKS (extended) The 1st European Forum for the SARL Users and Developers (EuSarlCon-19) ----------------------------------------------------------------------- In conjunction with: * the 10th International Conference on Ambient Systems, Networks, and Technologies (ANT 2019); * the 8th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS-19); * the 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL-19). May 2, 2019, Leuven, Belgium. http://www.multiagent.fr/Conferences:EuSarlCon19 ------------------------------------------------------------------- Description =========== The 2019 European SarlCon is the SARL user meeting that is organized in Europe in order to provide a place where SARL users and developers could exchange their experiences. It will be held on May 2, 2019, in Leuven, Belgium. That is the last day of the ANT-2019 conference, the ABMTRANS-19 and the SARL-19 workshops. Abstracts and/or short papers are due on February 15, 2019. The papers are expected to be very short (< 2500 equivalent words). ABMTRANS-19 and SARL-19 are providing an alternative for publishing longer papers. Abstracts and papers can be submitted to ABMTRANS-19, to SARL-19, to SarlCon19, or all. We will coordinate with the main conference so that papers are not presented twice. Submissions directly for the SarlCon should take the form of an abstract (< 1000 words), and are to be submitted before February 15, 2019, through EasyChair. SARL-related submissions to the main conference will as well be considered for inclusion in the SarlCon program. Submission ========== You are invited to submit the abstract in PDF format on EasyChair (https://easychair.org/conferences/?conf=eusarlcon2019) not exceeding 1000 words in length. Organizer ========= -Stéphane GALLAND (Univ. de Technologie de Belfort-Montbeliard, France) <stephane.galland(a)utbm.fr> -Yazan MUALLA (Univ. de Technologie de Belfort-Montbeliard, France) Registration ============ Registration to the European SarlCon 2019 is free. Please notify the organizers if you want to come in order to organize the meeting.

1 0

CfP: WFLP 2019 - 27th International Workshop on Functional and (Constraint) Logic Programming
by Petra Hofstedt (BTU) 04 Feb '19

04 Feb '19

========================================================= WFLP 2019: Call for Papers ========================================================= 27th International Workshop on Functional and (Constraint) Logic Programming Cottbus, Germany, September 9-13, 2019 (part of Declare 2019; co-located with INAP, WLP, and QPLogic) Important Dates Abstract submission: May 27, 2019 Paper submission: June 3, 2019 Notification of acceptance: July 1, 2019 Camera-ready papers: July 29, 2019 Early registration: August 12, 2019 Online Registration: September 2, 2019 Workshop: September 9-13, 2019 WFLP 2019 The international Workshop on Functional and (constraint) Logic Programming (WFLP) aims at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. WFLP has a reputation for being a lively and friendly forum, and it is open for presenting and discussing work in progress, technical contributions, experience reports, experiments, reviews, and system descriptions. The 27th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2019) will be held at the Brandenburgische Technische Universität Cottbus Germany. Previous WFLP editions were WFLP 2018 (Frankfurt am Main, Germany), WFLP 2017 (Würzburg, Germany), WFLP 2016 (Leipzig, Germany), WFLP 2014 (Wittenberg, Germany), WFLP 2013 (Kiel, Germany), WFLP 2012 (Nagoya, Japan), WFLP 2011 (Odense, Denmark), WFLP 2010 (Madrid, Spain), WFLP 2009 (Brasilia, Brazil), WFLP 2008 (Siena, Italy), WFLP 2007 (Paris, France), WFLP 2006 (Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany). WFLP 2019 will be part of DECLARE 2019 and hence be co-located with INAP 2019 (International Conference on Applications of Declarative Programming and Knowledge Management), WLP 2019 (Workshop on (Constraint) Logic Programming), and QPLogic 2019 (Quantum and Probability Logic). Topics The topics of interest cover all aspects of functional and logic programming. They include (but are not limited to): * Functional programming * Logic programming * Constraint programming * Deductive databases, data mining * Extensions of declarative languages, objects * Multi-paradigm declarative programming * Foundations, semantics, non-monotonic reasoning, dynamics * Parallelism, concurrency * Program analysis, abstract interpretation * Program and model manipulation * Program transformation, partial evaluation, meta-programming * Specification, * Verification * Debugging * Testing * Knowledge representation, machine learning * Interaction of declarative programming with other formalisms * Implementation of declarative languages * Advanced programming environments and tools * Software techniques for declarative programming * Applications The primary focus is on new and original research results, but submissions describing innovative products, prototypes under development, application systems, or interesting experiments (e.g., benchmarks) are also encouraged. Survey papers that present some aspects of the above topics from a new perspective, and experience reports are also welcome. Papers must be written and presented in English. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Submission Guidelines Submission is via Easychair submission website for WFLP 2019: https://easychair.org/conferences/?conf=wflp2019 Authors are invited to submit papers in the following categories: + Regular research paper + Work-in-progress report + System description Regular research papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been formally published or that are simultaneously submitted to a journal, conference, or workshop with formal proceedings. They will be judged on the basis of significance, relevance, correctness, originality, and clarity. For work-in-progress reports and system descriptions, less formal rules apply, and presentation-only submissions (talk and discussion, but no paper in the formal proceedings) are possible. Please contact the PC chair with any questions. All submissions must be formatted in the Lecture Notes in Computer Science style. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. However, all submissions (especially work-in-progress reports and system descriptions) may be considerably shorter than 15 pages. Proceedings All papers accepted for presentation at the conference will be published in informal proceedings publicly available at the Computing Research Repository. According to the program committee reviews, submissions can be directly accepted for publication in the formal post-conference proceedings. The formal post-conference proceedings will be published in both electronic and paper formats by Springer in the Lecture Notes in Computer Science series. After the conference, all authors accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the conference. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Therefore, all accepted papers will be published in open-access, and the authors can also decide to publish their work in the Springer LNCS formal proceedings. Program Committee Maria Alpuente Frasnedo, Universitat Politècnica de València, Spain Sergio Antoy, Portland State University, USA Olaf Chitil, University of Kent, UK Sandra Dylus, University of Kiel, Germany Moreno Falaschi, U. Siena, Italy Michael Hanus, University of Kiel, Germany Herbert Kuchen, University of Münster, Germany (Chair) Julio Mariño Carballo, Universidad Politécnica de Madrid, Spain Manuel Montenegro Montes, Universidad Complutense de Madrid, Spain Kostis Sagonas, Uppsala University, Sweden Sibylle Schwarz, HTWK Leipzig, Germany Dietmar Seipel, University of Würzburg, Germany Josep Silva Galiana, Universitat Politècnica de València, Spain Johannes Waldmann, HTWK Leipzig, Germany Organizing Committee Petra Hofstedt (General Chair), Sven Löffler, Katrin Ebert, Brandenburg University of Technology, Cottbus, Germany

1 0

CfP: INAP - 22nd International Conference on Applications of Declarative Programming and Knowledge Management
by Petra Hofstedt 01 Feb '19

01 Feb '19

========================================================= INAP 2019: Call for Papers ========================================================= 22nd International Conference on Applications of Declarative Programming and Knowledge Management Cottbus, Germany, September 9-13, 2019 (part of Declare 2019; co-located with WFLP, WLP, and QPLogic) Important Dates Paper registration: May 27, 2019 Paper submission: June 3, 2019 Notification of acceptance: July 1, 2019 Camera-ready papers: July 29, 2019 Early registration: August 12, 2019 Online Registration: September 2, 2019 Conference: September 9-13, 2019 INAP 2019 INAP is a forum for intensive discussion of applications of important technologies around declarative programming, constraint problem solving, and related computing paradigms. It comprehensively covers the impact of data and knowledge engineering, programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. Previous INAP conferences have been held in Japan, Germany, Portugal, and Austria. We invite high quality contributions on the described topics, especially, but not exclusively, on different aspects of declarative programming, constraint processing, data and knowledge management, as well as their use for distributed systems and the web: * data and knowledge engineering / management: deductive databases, rule bases, decision support, expert systems, knowledge discovery; * declarative programming: logic programming, nonmonotonic reasoning, knowledge representation, domain-specific languages; * constraints: constraint systems, (extensions of) constraint (logic) programming, constraint-based modeling and applications; * distributed systems and the web: agents and concurrent engineering, ontologies, semantic web, internet of things; * practical systems: tools for academic and industrial use, knowledge-based web services, logic solvers and applications; * multi-paradigm programming. INAP 2019 will be part of DECLARE 2019 and hence be co-located with WFLP 2019 (International Workshop on Functional and Logic Programming), WLP 2019 (Workshop on (Constraint) Logic Programming), and QPLogic 2019 (Quantum and Probability Logic). Submission Guidelines Authors are invited to submit long papers (no longer than 15 pages) or short papers (no longer than 6 pages) in the following categories: + Regular research papers + Application papers + System descriptions We also encourage submissions on ongoing work of PhD students (no longer than 6 pages). Submissions must be unpublished original work and not submitted for publication elsewhere. However, work that already appeared in informally published workshop proceedings may be submitted too. All papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. All submissions must be formatted in the Lecture Notes in Computer Science style. For further information on the submission procedure, please, visit the conference web site: declare19.de Proceedings All papers accepted for presentation at the conference will be published in informal proceedings publicly available at the Computing Research Repository. According to the program committee reviews, submissions can be directly accepted for publication in the formal post-conference proceedings. The formal post-conference proceedings will be published in both electronic and paper formats by Springer in the Lecture Notes in Computer Science series. After the conference, all authors accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the conference. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. All accepted papers will be presented during the conference. At least one author of an accepted contribution is expected to register for the conference and present the paper. Program Committee Salvador Abreu (Universidade de Évora, Portugal) Christoph Beierle (FernUniversität in Hagen, Germany) François Bry (Ludwig-Maximilian-University of Munich, Germany) Vitor Santos Costa (University of Porto, Portugal) Thom Frühwirth (University of Ulm, Germany) Ulrich Geske (University of Potsdam, Germany) Gopal Gupta (UT Dallas, USA) Michael Hanus (University of Kiel, Germany) Petra Hofstedt (BTU Cottbus - Senftenberg, Germany) (Chair) Tomi Jahunen (Aalto University, Finland) Gabriele Kern-Isberner (TU Dortmund University, Germany) Herbert Kuchen (University of Münster, Germany) Sven Löffler (BTU Cottbus - Senftenberg, Germany) Vitor Beires Nogueira (Universidade de Évora, Portugal) Ricardo Rocha (University of Porto, Portugal) Dietmar Seipel (University of Würzburg, Germany) Helmut Simonis (University College Cork, Ireland) Theresa Swift (Universidade Nova de Lisboa, Portugal) Hans Tompits (Vienna University of Technology, Austria) Masanobu Umeda (Kyushu Institute of Technology, Japan) Armin Wolf (Fraunhofer FOKUS Berlin, Germany) Track Chairs Salvador Abreu (Universidade de Évora) - Logic Programming and Extensions Dietmar Seipel (University of Würzburg) - (Deductive) Databases, Rule Bases, Decision Support, Expert Systems, Knowledge Discovery Petra Hofstedt (BTU Cottbus - Senftenberg) - Constraints, Constraint Solvers and Systems Organizing Committee Petra Hofstedt (General Chair), Sven Löffler, Katrin Ebert, Brandenburg University of Technology, Cottbus, Germany -- Prof. Dr. Petra Hofstedt BTU Cottbus-Senftenberg Tel: +49-355-69-3886 Programming Languages and Fax: +49-355-69-3830 Compiler Construction Group WWW: http://www.b-tu.de/fg-programmiersprachen-compilerbau/

1 0

The 16th International Conference on Mobile Web and Intelligent Information Systems (MobiWis 2019) Springer, LNCS 26-28 August 2019, Istanbul, Turkey
by Aneta Poniszewska-Marańda 31 Jan '19

31 Jan '19

------------------------ Call for Papers ----------------------------- The 16th International Conference on Mobile Web and Intelligent Information Systems (MobiWis 2019) Springer, LNCS 26-28 August 2019, Istanbul, Turkey http://www.mobiwis.org/2019/ ----------------------------------------------------------------------------- The areas of the Web, mobile technologies, and information systems have been following a continuous and steady development over a number of years through the innovative research and practices of researchers, developers and practitioners from academia, industry, governmental and scientific organizations. The International Conference on Mobile Web and Intelligent Information Systems (MobiWis) aims to enable synergy between these areas and provides the premier venue to present and discuss latest research and developments related to research issues of the mobile web and the engineering of intelligent and innovative mobile systems and services. The conference comprises a set of carefully selected tracks that focus on the particular challenges regarding mobile Web and intelligent information systems in research areas such as, among others, Web Engineering, Service-Oriented Computing, Web of Things, Data and Knowledge Management, Cloud Computing, Security and Human-Computer Interaction. Conference Tracks: - Smart and Intelligent Systems - Mobile Software Systems - Adaptive Approaches for Mobile Computing - Middleware/SOA for Mobile Systems - Context- and Location-aware Services - Pervasive and Ubiquitous Applications - Data management in the Mobile Web - Mobile Cloud Services - Mobile Web of Things - Mobile Web Security, Trust and Privacy - Mobile Networks, Protocols and Applications - Mobile Commerce and Business Services - Socially Influencing Systems - HCI in Mobile Applications - Industry and Demos Important Dates: Submission Deadline: 11 March 2019 Authors Notification: 20 May 2019 Final Manuscript Due: 14 June 2019 Submission Instructions: Full papers must be in English and must not exceed 12 pages. Short papers should be limited to 8 pages. Papers should be formatted in Springer's LNCS format. See submission instructions on the conference website. Publication: All accepted papers will be included in the conference proceedings published by Springer in the Lecture Notes in Computer Science (LNCS) series. For each accepted paper, at least one author must register for the conference and present the paper. Authors of selected papers will be invited to submit an extended version of their papers for a special issues in international journals (see conference website). Lecture Notes in Computer Science (LNCS) series is indexed by the ISI Conference Proceedings Citation Index - Science (CPCI-S), included in ISI Web of Science, EI Engineering Index (Compendex and Inspec databases), ACM Digital Library, dblp, Google Scholar, Scopus, etc. See LNCS - Information on Abstracting and Indexing (http://www.springer.com/computer/lncs?SGWID=0-164-6-1068921-0) Organizing Committee: General Co-Chairs: Markus Aleksy, ABB, Germany Perin Unal, Teknopar, Turkey Program Co-Chairs: Irfan Awan, University of Bradford, UK Mohammed Ghazal, Abu Dhabi University, UAE Local Organising Co-Chairs: Sezer Gören Ugurdag, Yeditepe University, Turkey Tacha Serif, Yeditepe University, Turkey Publication Chair: Muhammad Younas, Oxford Brookes University, UK Journal Special Issue Coordinator: George Ghina, Brunel University London, UK Workshop Coordinator: Tor-Morten Grřnli, Kristiania University College, Norway Publicity Chair: Aneta Poniszewska-Maranda, Lodz University of Technology, Poland --- Politechnika Łódzka Lodz University of Technology Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie. This email contains information intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient or if you have received this message in error, please notify the sender and delete it from your system.

1 0

CFP_14th International Conference on Risks and Security of Internet and Systems (CRiSIS)
by SAOUSSEN CHEIKHROUHOU 28 Jan '19

28 Jan '19

Call for papers The 14th International Conference on Risks and Security of Internet and Systems (CRiSIS) 29-31 October 2019, Hammamet, Tunisia http://crisis2019.redcad.org The International Conference on Risks and Security of Internet and Systems 2019 will be the 14th in a series dedicated to security issues in Internet-related applications, networks and systems. Internet has become essential for the exchange of information between user groups and organizations from different backgrounds and with different needs and objectives. These users are exposed to increasing risks regarding security and privacy, due to the development of more and more sophisticated online attacks, the growth of Cyber Crime, etc. Attackers nowadays do not lack motivation and they are more and more experienced. To make matters worse, for performing attacks have become easily accessible. Moreover, the increasing complexity as well as the immaturity of new technologies such as pervasive, mobile and wireless devices and networks, raise new security challenges. In this context, new security mechanisms and techniques should be deployed to achieve an assurance level acceptable for critical domains such as energy, transportation, health, defence, banking, critical infrastructures, embedded systems and networks, avionics systems, etc. The CRiSIS conference offers a remarkable forum for computer and network security actors from industry, academia and government to meet, exchange ideas and present recent advances on Internet-related security threats and vulnerabilities, and on the solutions that are needed to counter them. === TOPICS === The topics addressed by CRiSIS range from the analysis of risks, attacks to networks and system survivability, to security models, security mechanisms and privacy enhancing technologies. The authors are invited to submit research results as well as practical experiment or deployment reports. Industrial papers about applications or case studies are also welcomed in different domains (e.g., telemedicine, banking, e-government, e-learning, e-commerce, critical infrastructures, mobile networks, embedded applications, etc.). The list of topics includes but is not limited to: - Analysis and management of risk - Attacks and defenses - Attack data acquisition and network monitoring - Cryptography, biometrics, watermarking - Dependability and fault tolerance of Internet applications - Distributed systems security and safety - Embedded system security and safety - Empirical methods for security and risk evaluation - Hardware-based security and physical security - Intrusion detection and prevention systems - Organizational, ethical and legal issues - Privacy protection and anonymization - Risk-aware access and usage control - Security and risk assessment - Security and risks metrics - Security and dependability of operating systems - Security and safety of critical infrastructures - Security and privacy of peer-to-peer system - Security and privacy of wireless networks - Security models and security policies - Security of new generation networks, security of VoIP and multimedia - Security of e-commerce, electronic voting and database systems - Security of social networks - Security of industrial control systems - Smartphone security and privacy - Traceability, metrology and forensics - Trust management - Use of smart cards and personal devices for Internet applications - Web and cloud security === PAPER SUBMISSION === Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers must be written in English and must be submitted electronically in PDF format. The papers that will be selected for presentation at the conference will be included in post-proceedings published by Springer in the Lecture Notes in Computer Science (LNCS) series (prior to publication the papers should be revised according to the review comments). Pre-proceedings will appear at the time of the conference. Maximum paper length will be 16 printed pages for full papers or 6 pages for short papers, in LNCS style ( http://www.springer.de/comp/lncs/authors.html) Authors of accepted papers must guarantee that their papers will be presented at the conference. All paper submissions will be handled through the Easy Chair conference management system: https://easychair.org/conferences/?conf=crisis2019 === IMPORTANT DATES === - Submission deadline: June 09, 2019 - Notification to authors: July 20, 2019 - Camera-ready versions: September 22, 2019 - Conference dates: October 29-31, 2019 === GENERAL CHAIRS === Nora Cuppens, IMT Atlantique, France Ahmed Hadj Kacem, University of Sfax, Tunisia === PC CHAIRS === Frédéric Cuppens, IMT Atlantique, France Slim Kallel, University of Sfax, Tunisia === PUBLICATION CHAIRS === Nora Cuppens, IMT Atlantique, France Mohamed Mosbah, Bordeaux INP, France === PUBLICITY CHAIRS === Saoussen Cheikhrouhou, University of Sfax, Tunisia Reda Yaich, IRT SystemX, France === LOCAL ORGANISATION COMMITTEE=== Nesrine Khabou, University of Sfax, Tunisia Fairouz Fakhfekh, University of Sfax, Tunisia Riadh Ben Halima, University of Sfax, Tunisia Ismail Bouassida, University of Sfax, Tunisia Hatem Hadj Kacem, University of Sfax, Tunisia === PROGRAM COMMITTEE(to be completed) === Esma Aimer, University of Montreal Luca Allodi ,University of Torento Jocelyn Aubert, Luxembourg Institute of Science and Technology Fabrizio Biondi, IRISA/INRIA Rennes Anis Bkakria, IMT Atlantique Yu Chen, State University of New York Binghamton Nora Cuppens-Boulahia,IMT Atlantique, France Frédéric Cuppens, IMT Atlantique, France Imen Jemili, Faculté des Sciences, Bizerte, Tunisia Jose M. Fernandez, Ecole Polytechnique de Montreal Manoj Singh Gaur, IIT Jammu, India Bogdan Groza, Politehnica University of Timisoara Ruan He, Orange Christos Kalloniatis, University of the Aegean Sokratis Katsikas, Center for Cyber and Information Security, NTNU Nizar Kheir, Thales Group Igor Kotenko, St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences (SPIIRA) Marc Lacoste, Orange Kostas Lambrinoudakis, University of Piraeus Jean-Louis Lanet, LHS Rennes, France Mohamed Mosbah, LaBRI, Bordeaux INP, France Raja Natarajan, TIFR, India Stephen Neville, University of Victoria Roberto Di Pietro, Bell Labs Kai Rannenberg, Goethe University Frankfurt Michael Rusinowitch, LORIA INRIA Nancy Ketil Stoelen, SINTEF Nadia Tawbi, Université de Laval Akka Zemmari, LaBRI - Université de Bordeaux Lingyu Wang, Concordia University

1 0

KKIO 21st Software Engineering Conference, September 11-13, 2019, Bialystok, Poland
by Aneta Poniszewska-Marańda 27 Jan '19

27 Jan '19

================================== Call for Papers ============================== KKIO 21 st Software Engineering Conference September 11-13, 2019, Bialystok, Poland Motto : Integrating Research and Practice in Software Engineering KKIO’19 web site: [ http://kkio.pti.org.pl/2019/ | http://kkio.pti.org.pl/2019/ ] KKIO is a prime software engineering conference organized annually by Polish Information Processing Society. The language of the conference is English. The aim of KKIO 2018 is to stimulate research, promote cooperation between science and industry, and facilitate a dialogue with governmental bodies. In particular, KKIO'19 will provide a forum for the presentation of research results, scientific challenges faced by the industry, scientific achievements that could address these problems. It will be also a platform to make contacts, initiate cooperation between researchers and engineers. This year KKIO coincides with 30 th anniversary of the Faculty of Computer Science, Bialystok University of Technology who also hosts KKIO. Bialystok is a quickly growing IT hub, surrounded by unspoiled nature, rivers, forests, with biggest population of European bisons living at large in wilderness. We invite papers covering a wide range of software engineering topics including software methods & tools, innovative applications in emerging domains, technology transfer success stories and failures, education, and other topics listed on the conference web site. Submission deadline : Abstract by 24 March 2019; Papers by 31 March 2019 Submission site : EasyChair [ https://easychair.org/conferences/?conf=kkio2019 | https://easychair.org/conferences/?conf=kkio2019 ] You will find all the submission details on the KKIO’19 web site (For Authors -> Submissions) We invite researchers, PhD students, engineers and business representatives to submit papers concerning research, research & development, case-studies, education in software engineering, and application of software systems in industry. In addition, we invite proposals for special sessions, workshops, discussion panels and tutorials. Papers and proposals should be written in English. Accepted papers will be published in a dedicated monograph of the prestigious series Studies in Computational Intelligence (Springer): Integrating Research and Practice in Software Engineering The books of this series are submitted by Springer to WoS, EI-Compendex, DBLP, SCOPUS, Google Scholar and Springerlink. Authors of the best papers will be invited to submit revised and extended versions of their submissions to high profile journals. The authors of all high-quality papers that will not be accepted for dedicated volume of Studies in Computational Intelligence will be invited to prepare the extended version of the papers that will be published in Special Issue of Lecture Notes on Data Engineering and Communications Technologies (LNDECT), Springer (https://www.springer.com/series/15362) The books of this series are submitted to ISI Proceedings, MetaPress, Springerlink and DBLP. Proceedings for the KKIO’16 and KKIO’17 are now indexed by Web of Science and Scopus. Call for Special Sessions The organizers of the conference are seeking Special Sessions / Workshop Proposals on topics complementary to those of the main conference and Panel, Training / Business Workshops, and Tutorial Proposals. The responsibility of the Special Session / Workshop Chair(s) would be to prepare a specific Call for Papers, organize the sessions program committee (reviewers) and advertise the event. The special session should include at least three papers (if more papers are submitted it could have a form of an independent workshop). The papers are accepted based on two reviews provided by the Special Session PC members and one by a member of the KKIO Program Committee. Please, submit a proposal using the web form: [ https://tinyurl.com/kkio-sessions-tutorials | https://tinyurl.com/kkio-sessions-tutorials ] , preferably before 15.02.2019 for special sessions and 15.05.2019 for tutorials. Important dates: Papers: Abstract submission (strongly recommended): 24.03.2019 Paper submission: 31.03.2019 Notification of acceptance: 10.05.2019 Camera-ready papers submission: 26.05.2019 Special Sessions/Workshops Proposal submission: 15.02.2019 Notification of acceptance: 20.02.2019 Panels, Training Workshops, Tutorial Proposals Submission: 15.05.2019 Notification of acceptance: 30.05.2019 Registration & payment Early registration: 25.06.2019 Late registration: 20.08.2019 Program Committee Co-Chairs: Stanislaw Jarzabek, Bialystok University of Technology, Poland Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Special Sessions, Panels, Training Workshops, Tutorials Chair : Miroslaw Ochodek, Poznan University of Technology, Poland Contacts: Conference program: [ mailto:kkio2019@easychair.org | kkio2019(a)easychair.org ] Special Sessions, Panels, Workshops, Tutorials: Miroslaw Ochodek, miroslaw.ochodek(a)cs.put.poznan.pl Conference organization: [ mailto:wi.kkio2019@pb.edu.pl | wi.kkio2019(a)pb.edu.pl ] --- Politechnika Łódzka Lodz University of Technology Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie. This email contains information intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient or if you have received this message in error, please notify the sender and delete it from your system.

1 0

SPLASH 2019: 1st Combined Call for Contributions
by Aggelos Biboudis 22 Jan '19

22 Jan '19

/************************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'19) Athens, Greece Sun 20 - Fri 25 October 2019 https://2019.splashcon.org/ Sponsored by ACM SIGPLAN /************************************************************************************/ COMBINED CALL FOR CONTRIBUTIONS OOPSLA Onward! Workshops Dynamic Languages Symposium (DLS) Generative Programming: Concepts & Experiences (GPCE) Software Language Engineering (SLE) Managed Programming Languages and Runtimes (MPLR) /************************************************************************************/ 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: * SPLASH Workshops * PACMPL Issue OOPSLA * Onward! Papers * Onward! Essays * Dynamic Languages Symposium (DLS) * Generative Programming: Concepts & Experiences (GPCE) * Software Language Engineering (SLE) * Managed Programming Languages and Runtimes (MPLR) * SPLASH-I * Posters * Doctoral Symposium * Student Research Competition * Student Volunteers ## SPLASH Workshops Following its long-standing tradition, SPLASH 2018 will host a variety of high quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. Submissions are currently being accepted on “a rolling basis”. The rolling call will close on Fri 15 Mar, 2019. https://2019.splashcon.org/track/splash-2019-workshops ## PACMPL Issue 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). Submissions due: Fri 5 Apr, 2019 https://2019.splashcon.org/track/splash-2019-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: Mon 22 April, 2019 https://2019.onward-conference.org/track/onward-2019-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 long or short. An essay can be an exploration of the topic and its impact, or a story about 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 the one the author took to reach an understanding of the topic. The subject area—software, programming, and programming languages—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: Mon 22 April, 2019 https://2019.onward-conference.org/track/onward-2019-Onward-Essays ## 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 of Dynamic Languages. DLS invites high quality papers reporting original research and experience related to the design, implementation, and applications of dynamic languages. Abstracts due: Wed 29 May, 2019 Submissions due: Wed 5 Jun, 2019 https://conf.researchr.org/home/dls-2019 ## 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 metaprogramming. 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: Fri 14 Jun, 2019 Submissions due: Fri 21 Jun, 2019 https://conf.researchr.org/home/gpce-2019 ## Software Language Engineering (SLE) Software Language Engineering (SLE) is the discipline of engineering languages and their tools required for the creation of software. It abstracts from the differences between programming languages, modelling languages, and other software languages, and emphasizes the engineering facet of the creation of such languages, that is, the establishment of the scientific methods and practices that enable the best results. SLE 2018 solicits high quality contributions in areas ranging from theoretical and conceptual contributions, to tools, techniques, and frameworks in the domain of software language engineering. Abstracts due: Fri 14 Jun, 2019 Submissions due: Fri 21 Jun, 2019 https://conf.researchr.org/home/sle-2019 ## Managed Programming Languages and Runtimes (MPLR) The International Conference on Managed Programming Languages & Runtimes (MPLR, formerly ManLang) is a premier forum for presenting and discussing novel results in all aspects of managed programming languages and runtime systems, which serve as building blocks for some of the most important computing systems around, ranging from small-scale (embedded and real-time systems) to large-scale (cloud-computing and big-data platforms) and anything in between (mobile, IoT, and wearable applications). Submissions due: Mon July 8, 2019 https://conf.researchr.org/home/mplr-2019 ## SPLASH-I SPLASH-I is a series of high-quality talks that highlight the challenges that are on the forefront of both research and practice across the SPLASH community's broad spectrum of domains and techniques. We invite the community to propose speakers (including themselves) through our call for contributions. Submissions due: Fri May 17, 2019 https://2019.splashcon.org/track/splash-2019-SPLASH-I ## 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 at any desired level of detail. The poster session is held early in the conference to promote continued discussion among interested parties. Submissions due: Sat 7 Sep, 2019 https://2019.splashcon.org/track/splash-2019-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. This year, the John Vlissides Award will be presented to a symposium participant showing significant promise in applied software research. All participants to the Doctoral Symposium are eligible. The award includes a prize of $2,000. Submissions due: Fri 12 Jul, 2019 http://2019.splashcon.org/track/splash-2019-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. Student Research Competition abstract due: Fri July 12, 2019 https://2019.splashcon.org/track/splash-2019-SRC ## Student Volunteers The SPLASH Student Volunteers program provides an opportunity for students from around the world to associate with some of the leading personalities in industry and research in the following areas: programming languages, object-oriented technology and software development. Student volunteers contribute to the smooth running of the conference by performing tasks such as: assisting with registration, providing information about the conference to attendees, assisting session organizers and monitoring sessions. Detailed information on how to apply will be available on the main conference page in March 2019. Estimated deadline for the SV applications will be towards the end of September 2019. https://2019.splashcon.org/track/splash-2019-Student-Volunteers ## Information Contact: publicity at splashcon.org Website: https://2019.splashcon.org/ Location: Royal Olympic Hotel, Athens, Greece ## Organization SPLASH General Chair: * Yannis Smaragdakis (University of Athens) OOPSLA Review Committee Chair: * Eelco Visser (Delft University of Technology) Onward! Papers Chair: * Hidehiko Masuhara (Tokyo Institute of Technology) Onward! Essays Chair: * Tomas Petricek (Alan Turing Institute) DLS Program Chair: * Stefan Marr (University of Kent) GPCE General Chair: * Ina Schaefer (Technische Universität Braunschweig) GPCE Program Chair: * Tijs van der Storm (Centrum Wiskunde & Informatica / University of Groningen) SLE General Chair: * Oscar Nierstrasz (University of Bern) SLE Program Co-Chairs: * Bruno Oliveira (University of Hong Kong) * Jeff Gray (University of Alabama) SLE Publicity Chair: * Andrei Chiş (Feenk GmbH, Switzerland) SLE AEC Co-Chairs: * Emma Söderberg (Lund University) * Abel Gomez (Universitat Oberta de Catalunya) MPLR General Chair: * Tony Hosking (Australian National University / Data61) MPLR Program Chair: * Irene Finocchi (Sapienza University of Rome) SPLASH-I Co-Chairs: * Shan Shan Huang (Facebook) * Michael Carbin (MIT) Workshops Co-Chairs: * Arjun Guha (University of Massachusetts Amherst) * Neville Grech (University of Athens, University of Malta) OOPSLA Artifact Evaluation Co-Chairs: * Colin S. Gordon (Drexel University) * Jan Vitek (Northeastern University) Posters Chair: * Christoph Reichenbach (Lund University) Doctoral Symposium Chair: * Éric Tanter (University of Chile & Inria Paris) Student Research Competition Co-Chairs: * Jay McCarthy (University of Massachusetts Lowell) * David Darais (University of Vermont) Student Volunteers Co-Chairs: * Juliana Franco (Microsoft Research, Cambridge) * Tony Antoniadis (University of Athens) Publications Chair: * Magnus Madsen (Aarhus University) Publicity Co-Chairs: * Aggelos Biboudis (École Polytechnique Fédérale de Lausanne) * Tijs van der Storm (Centrum Wiskunde & Informatica / University of Groningen) Local Arrangements Chair: * George Fourtounis (University of Athens) Accessibility Chair: * Kostas Saidis (University of Athens) Sponsorships Co-Chairs: * Caitlin Sadowski (Google) * Jaeheon Yi (Google) Video Chair: * Benjamin Chung (Northeastern University) Web Co-Chairs: * Aggelos Biboudis (École Polytechnique Fédérale de Lausanne) * Aviral Goel (Northeastern University) /************************************************************************************/

1 0