October 2015 - Haskell

Haskell-related PhD Studentship at Kent
by Meng Wang 22 Mar '16

22 Mar '16

Dear Haskellers, I am seeking a PhD student on a Haskell-related project: http://www.cs.kent.ac.uk/research/studyingforaphd/phd-wang.html This would be a good opportunity for someone who is interested in applying Haskell ideas to real problems. The funding covers maintenance, EU student fees and research related expenses. But non-EU students are welcome to apply too. For Sep 2015 starting, the application deadline is 17 April 2015. If you are interested, please contact me at m.w.wang(a)kent.ac.uk<mailto:m.w.wang@kent.ac.uk>. Best wishes, Meng — Dr Meng Wang School of Computing University of Kent http://www.cs.kent.ac.uk/people/staff/mw516/

1 1

[ICGT2016] CFP: Int.Conf. Graph Transformation, Vienna, July 2016
by Rachid Echahed 18 Feb '16

18 Feb '16

[Apologies if you receive multiple copies of this CFP] ========================================================================== Call for Papers ICGT 2016 9th International Conference on Graph Transformation www.graph-transformation.org Held as Part of STAF 2016 http://staf2016.conf.tuwien.ac.at/ July 5-6, 2016, Vienna, Austria ========================================================================== Important Dates: Abstract submission: 15 February 2016 Full paper submission: 29 February 2016 Notification of acceptance: 07 April 2016 Final version due: 21 April 2016 Conference: 5-6 July 2016 ========================================================================== Graphs are used almost everywhere when representing or modelling structures and systems, not only in applied and theoretical computer science, but also in, e.g., natural and engineering sciences. Graph transformation and graph grammars are the fundamental modelling paradigms for describing, formalizing, and analyzing graphs that change over time when modelling, e.g., dynamic data structures, systems, or models. The International Conference on Graph Transformation (ICGT) series aims to bring together researchers from different areas in this context and to provide a forum for presenting new results, discussing novel ideas and sharing experience. In order to foster a lively exchange of perspectives on the subject of the conference, the programme committee of the ninth edition of ICGT encourages all kinds of contributions related to graph transformation. Topics of interest include, BUT ARE NOT LIMITED TO the following subjects: - General models of graph transformation (e.g., high-level, adhesive, node, edge, and hyperedge replacement systems) - Analysis and verification of graph transformation systems - Graph theoretical properties of graph languages - Automata on graphs and parsing of graph languages - Logical aspects of graph transformation - Computational models based on graph transformation - Structuring and modularization concepts for graph transformation systems - Hierarchical graphs and decompositions of graphs - Parallel, concurrent, and distributed graph transformation - Modelling and analysis of dynamic data structures - Term graph rewriting - Graph transformation and Petri nets - Ontologies and ontology evolution - Graph databases - Modelling and realizing software architectures, refactoring, evolution, workflows, business processes, access control, security policies, service-oriented applications, semantic web, ... - Natural language processing, natural computing, bioinformatics, quantum computing, ubiquitous computing, visual computing, image generation, natural and engineering sciences, ... - Model-driven development and model transformation based on graph transformation - Model checking, program verification, simulation and animation - Syntax, semantics and implementation of programming languages, domain-specific languages, and visual languages - Graph transformation languages and tool support - Efficient algorithms (pattern matching, graph traversal etc.) The 9th International Conference on Graph Transformation (ICGT 2016) will be held in Vienna, Austria, as a STAF event (http://staf2016.conf.tuwien.ac.at/) The conference takes place under the auspices of EATCS (http://www.eatcs.org/) EASST (http://www.easst.org/) and IFIP (http://www.ifip.org/) WG 1.3. Program Committee ----------------- Rachid Echahed (Co-Chair, CNRS and University of Grenoble Alpes, France) Mark Minas (Co-Chair, Universität der Bundeswehr München, Germany) Gábor Bergmann (Budapest University of Technology and Economics, Hungary) Paolo Bottoni (Sapienza Univ. di Roma, Italy) Andrea Corradini (Università di Pisa, Italy) Juan de Lara (Universidad Autonoma de Madrid, Spain) Frank Drewes (Umeå University, Sweden) Claudia Ermel (Technische Universität Berlin, Germany) Holger Giese (Hasso Plattner Institute, University of Potsdam, Germany) Annegret Habel (Universität Oldenburg, Germany) Reiko Heckel (University of Leicester, UK) Berthold Hoffmann (Universität Bremen, Germany) Dirk Janssens (Universiteit Antwerpen, Belgium) Barbara König (University of Duisburg-Essen, Germany) Christian Krause (SAP Innovation Centre Potsdam, Germany) Sabine Kuske (Universität Bremen, Germany) Leen Lambers (Hasso Plattner Institute, University of Potsdam, Germany) Yngve Lamo (Bergen University College, Norway) Tihamér Levendovszky (Vanderbilt University, USA) Mohamed Mosbah (LaBRI , Université de Bordeaux, France) Fernando Orejas (Technical University of Catalonia, Spain) Francesco Parisi-Presicce (Sapienza Univ. di Roma, Italy) Detlef Plump (University of York, UK) Arend Rensink (University of Twente, The Netherlands) Leila Ribeiro (Universidade Federal do Rio Grande do Sul, Brazil) Andy Schürr (Technische Universität Darmstadt, Germany) Martin Strecker (Université de Toulouse, France) Gabriele Taentzer (Philipps-Universität Marburg, Germany) Matthias Tichy (University of Ulm, Germany) Pieter Van Gorp (Eindhoven University of Technology, The Netherlands) Hans Vangheluwe (Universiteit Antwerpen, Belgium) Bernhard Westfechtel (University of Bayreuth, Germany) Albert Zündorf (Kassel University, Germany) Paper Submission ---------------- Papers are solicited in three categories: * Research papers (limited to 16 pages in Springer LNCS format) describe innovative contributions and are evaluated with respect to their originality, significance, and technical soundness. Additional material intended for reviewers but not for publication in the final version may be included in a clearly marked appendix. * Case studies (limited to 12 pages in Springer LNCS format) describe applications of graph transformations in any application domain. * Tool presentation papers (limited to 12 pages in Springer LNCS format) demonstrate the main features and functionality of graph-based tools. A tool presentation paper may have an appendix with a detailed demo description (up to 5 pages), which will be reviewed but not included in the proceedings. Papers can be submitted at http://www.easychair.org/conferences/?conf=icgt2016. Submitted papers must use Springer's LNCS format (http://www.springer.com/lncs) Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. The page limits are strict and include references. Proceedings will be published by Springer in the Lecture Notes in Computer Science (http://www.springer.com/lncs) series. Important Dates --------------- Abstract submission: 15 February 2016 Full paper submission: 29 February 2016 Notification of acceptance: 07 April 2016 Final version due: 21 April 2016 Conference: 5-6 July 2016 Further Information ------------------- Web page: http://www.graph-transformation.org https://sites.google.com/site/icgt2016/ Contact: icgt2016(a)gmail.com

1 1

Phd position starting in April 2016
by Clare Martin 30 Oct '15

30 Oct '15

*Department of Computing and Communication Technologies* *3 year full-time funded PhD Scholarship* 3 years full-time fees will be paid by the University. Bursary: £10,500 pa (without inflation increase). Start date: April 2016 Eligibility: Home/EU and International students *Deadline: 14 December 2015* *Interview date: *Interviews will be held in week beginning 11 January 2016 The Department of Computing and Communication Technologies at Oxford Brookes University is pleased to offer a three year full-time PhD Scholarship to a new student commencing in April of 2016 The successful applicant will receive an annual bursary of £10,500 for three years (with no inflation increase) with fees paid by the University. Topic of Research:* Adaptive Technology for Healthcare* The topic of this Phd is the development of ontologies for healthcare that capture diverse protocols, terminologies and standards. The vocabulary associated with any branch of medicine is huge, including symptoms, scientific names and medication for example. The problem of managing such vast, growing terminologies in medicine is a core challenge for medical informatics. One way to address this problem is to translate the meaning of the terms into a language that can be processed by a computer, i.e. an ontology. The W3C standard language for ontology development is OWL 2, and important medical standards (e.g. Snomed CT, NCI Thesaurus) have been ported to OWL. This research will include the development and verification of an ontology that can be used for any medical application and that is compatible with such established standards. An application of the result will be to facilitate interoperability in exchanging medical information between computerized health systems. We are looking for enthusiastic candidates with: · a solid background in Computer Science, evidenced by a good BSc: 2.1 or above and/or an MSc degree; · a solid background in Mathematics; knowledge of software engineering methods; · an appreciation of empirical techniques; · good communication and collaboration skills. To request an application pack from Mrs Anna Guarnieri, email *tdestudentships@brookes.ac.uk* <tdestudentships(a)brookes.ac.uk>, quoting *Adaptive Technology for Healthcare* in the subject line. Fully completed applications must be sent to *tdestudentships@brookes.ac.uk* <tdestudentships(a)brookes.ac.uk> - by *Midday on Monday 14th December 2015.*If you have any queries about the project, please contact: Clare Martin cemartin(a)brookes.ac.uk

1 0

2nd CfP: Haskell in Leipzig (Germany) 2015
by Johannes Waldmann 29 Oct '15

29 Oct '15

HaL-10 Haskell in Leipzig (December 4/5) http://nfa.imn.htwk-leipzig.de/HAL2015/ We are proud to present Joachim Breitner (nomeata) as our invited speaker. The submission deadline (November 2) is approaching! See you - Johannes Waldmann (PC chair)

1 0

Faculty Position in Secure and Trustworthy Cyberspace
by Andrew Tolmach 29 Oct '15

29 Oct '15

The Computer Science Department at Portland State University (PSU) is seeking to hire faculty to work in the broad area of secure and trustworthy cyberspace—including researchers who are applying formal methods, theorem proving, or programming languages to security problems. We invite applications for multiple tenure-track assistant professor faculty positions to begin Fall 2016. Exceptional applicants at other ranks will also be considered. Other specific areas of computer science under consideration are: artificial intelligence; machine learning; data mining; data-intensive systems; and networks and systems of connected things. Our department currently has 24 tenure-track faculty members and offers BS, MS, and PhD degrees. Portland State is Oregon’s largest university, and is located in downtown Portland, Oregon, offering proximity to world-class restaurants, cultural venues, exceptional outdoor activities, and collaborations with Portland’s burgeoning software industry. For more information and instructions on how to apply, please visit http://www.pdx.edu/computer-science/open-faculty-positions <http://www.pdx.edu/computer-science/open-faculty-positions>.

1 0

Call for Contributions: BOB 2016 - Berlin, Feb 19, 2016
by Stefan Wehr 28 Oct '15

28 Oct '15

NOTE: Deadline is THIS Friday (October 30, 2015) BOB Conference 2016 "What happens when we use what's best for a change?" http://bobkonf.de/2016/en/cfp.html Berlin, February 19 Call for Contributions Deadline: October 30, 2015 You drive advanced software engineering methods, implement ambitious architectures and are open to cutting-edge innovation? Attend this conference, meet people that share your goals, and get to know the best software tools and technologies available today. We strive to offer a day full of new experiences and impressions that you can use to immediately improve your daily life as a software developer. If you share our vision and want to contribute, submit a proposal for a talk or tutorial! Topics ------ We are looking for talks about best-of-breed software technology, e.g.: - functional programming - reactive programming - persistent data structures and databases - types - formal methods for correctness and robustness - ... everything really that isn’t mainstream, but you think should be. Presenters should provide the audience with information that is practically useful for software developers. This could take the form of e.g.: - experience reports - introductory talks on technical background - demos and how-tos Requirements ------------ We accept proposals for presentations of 45 minutes (40 minutes talk + 5 minutes questions), as well as 90 minute tutorials for beginners. The language of presentation should be either English or German. Your proposal should include (in your presentation language of choice): - an abstract of max. 1500 characters. - a short bio/cv - contact information (including at least email address) - a list of 3-5 concrete ideas of how your work can be applied in a developer's daily life - additional material (websites, blogs, slides, videos of past presentations, …) Submit here: https://docs.google.com/forms/d/1IrCa3ilxMrO2h1G1WC4ywoxdz8wohxaPW3dfiB0cq-… Organisation ------------ - submit your proposal here: https://docs.google.com/forms/d/1IrCa3ilxMrO2h1G1WC4ywoxdz8wohxaPW3dfiB0cq-… - direct questions to `bobkonf at active minus group dot de` - proposal deadline: **October 30, 2015** - notification: November 15, 2015 - program: December 1, 2015 NOTE: The conference fee will be waived for presenters, but travel expenses will not be covered. Program Committee ----------------- (more information here: http://bobkonf.de/2016/programmkomitee.html) - Matthias Fischmann, zerobuzz UG - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, factis research Scientific Advisory Board ------------------------- - Annette Bieniusa, TU Kaiserslautern - Peter Thiemann, Uni Freiburg

1 0

ICFP 2016 Call for Workshop and Co-located Event Proposals
by Lindsey Kuper 23 Oct '15

23 Oct '15

         CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS                             ICFP 2016  21st ACM SIGPLAN International Conference on Functional Programming                      September 18-24, 2016                           Nara, Japan                http://icfpconference.org/icfp2016/ The 21st ACM SIGPLAN International Conference on Functional Programming will be held in Nara, Japan on September 18-24, 2016. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for workshops (and other co-located events, such as tutorials) to be affiliated with ICFP 2016 and sponsored by SIGPLAN. These events should be less formal and more focused than ICFP itself, include sessions that enable interaction among the attendees, and foster the exchange of new ideas. The preference is for one-day events, but other schedules can also be considered. The workshops are scheduled to occur on September 18 (the day before ICFP) and September 22-24 (the three days after ICFP). ---------------------------------------------------------------------- Submission details  Deadline for submission:     November 21, 2015  Notification of acceptance:  December 20, 2015 Prospective organizers of workshops or other co-located events are invited to submit a completed workshop proposal form in plain text format to the ICFP 2016 workshop co-chairs (Andres Loeh and Nicolas Wu), via email to     icfp2016-workshops(a)googlegroups.com by November 21, 2015. (For proposals of co-located events other than workshops, please fill in the workshop proposal form and just leave blank any sections that do not apply.) Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by December 20, 2015, and if successful, depending on the event, they will be asked to produce a final report after the event has taken place that is suitable for publication in SIGPLAN Notices. The proposal form is available at: http://www.icfpconference.org/icfp2016-files/icfp16-workshops-form.txt Further information about SIGPLAN sponsorship is available at: http://www.sigplan.org/Resources/Proposals/Sponsored/ ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2016 organizing committee, together with the members of the SIGPLAN executive committee.  Workshop Co-Chair: Andres Loeh                        (Well-Typed LLP)  Workshop Co-Chair: Nicolas Wu                  (University of Bristol)  General Co-Chair : Jacques Garrigue                (Nagoya University)  General Co-Chair : Gabriele Keller     (University of New South Wales)  Program Chair:     Eijiro Sumii                    (Tohoku University) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Andres Loeh and Nicolas Wu), via email to icfp2016-workshops(a)googlegroups.com

1 0

PhD and Postdoc Positions - KWARC, Jacobs University Bremen
by Michael Kohlhase 21 Oct '15

21 Oct '15

The KWARC group [1] at Jacobs University Bremen [2] is looking for Ph.D. candidates and PostDocs in multiple projects, e.g. [3,4]. See also http://www.jacobs-university.de/jobs/phd-and-postdoc-positions-kwarc-group Jacobs University Bremen is a private, English-speaking research university in Germany. The KWARC group conducts research on the representation and management of formal and informal knowledge in the STEM disciplines (Science, Technology, Engineering, and Mathematics). Our interests cover the whole range from formal to informal knowledge and include - logics and foundations of mathematics - formalizing/verifying knowledge - informal and semi-formal documents (specifications, papers, web pages, etc.) - domain-specific applications (spreadsheets, CAD, etc.) - knowledge management (search, user interfaces, system integration, etc.) We build systems that cover these diverse areas uniformly and integrate across domains, languagues, and tools, always combinng logical correctness, wide-range applicability, and large-scale inter-operability. Interested candidates can introduce themselves or ask for further information by email to Prof. Michael Kohlhase <m.kohlhase(a)jacobs-university.de> Applications (including the usual documents) should be directed to the same email address. ------------------------------ We are generally flexible to develop PhD topics together with strong candidates. Some example PhD topics that could be assigned within these positions are given below. 1) A Universal Framework for Computation Our frameworks and infrastructure are already very strong for declarative, logical, and informal/narrative content, but lack deep support for computational content such as programming languages, algorithms, and libraries. Within this PhD thesis, we hope extend our OMDoc/MMT framework toward computational content. This would in particular include case studies in the OpenDreamKit project (e.g., programming languages like Scala or Python, computer algebra systems like SageMath or GAP, and their libraries). 2) Integrating Libraries and Databases of Mathematical Knowledge Recently computational mathematicians have built more and more libraries of mathematical objects and models. Examples are the Online Encyclopedia of Integer Sequences (OEIS), the FindStat library of combinatorial objects, the Library of L-Functions and Modular Forms (LMFDB), or the Math Geneology Project. In this PhD thesis, we want to extend our OMDoc/MMT framework with primitives for representing such libraries uniformly as theory graphs and extend our knowledge management algorithms to cope with these large data volumes. 3) Knowledge Management for Cognitive Enigineering Designing technical artifacts such as robots, cranes, or pens is a knowledge-based, document-centered process (see DIN 6221). In this PhD thesis, we want to apply formal and informal knowledge management (theory-graph) methods and active document technologies to the engineering process and the background knowledge. We want to build semantic sextensions to CAD systems and Office suites via our semantic alliance framework to allow Engineers to access the knowledge management solutions from their usual working environment. ------------------------------ [1] http://kwarc.info [2] http://www.jacobs-university.de [3] https://kwarc.info/projects/OAF The Open Archive of Formalizations will provide an open infrastructure to translate and share formalized mathematical knowledge such as theories, definitions, and proofs between mutually incompatible foundations (e.g., set theory, higher-order logic, constructive type theory, etc.), library formats, and library structures. The OAF system will be based on a uniform foundation-independent representation format for libraries, which allows formalizing the logical foundations alongside the libraries and thus acts as framework for aligning libraries. [4] http://opendreamkit.org/ The Open Digital Research Environment Toolkit for the Advancement of Mathematics will deliver a flexible toolkit enabling research groups to set up Virtual Research Environments, customised to meet the varied needs of research projects in pure mathematics and applications, and supporting the full research life-cycle from exploration, through proof and publication, to archival and sharing of data and code, including popular tools such as LinBox, MPIR, Sage(sagemath.org), GAP, PariGP, LMFDB, and Singular. -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, Office: Research 1, Room 168 Professor of Computer Science Campus Ring 1, Jacobs University Bremen D-28759 Bremen, Germany tel/fax: +49 421 200-3140/-493140 skype: m.kohlhase m.kohlhase(a)jacobs-university.de http://kwarc.info/kohlhase ----------------------------------------------------------------------

1 0

Final Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: October 23!)~
by Dimitrios Vytiniotis 19 Oct '15

19 Oct '15

(apologies for multiple copies) FINAL CALL FOR SCHOLARSHIP APPLICATIONS (Deadline this Friday: October 23!) ACM SIGPLAN Programming Languages Mentoring Workshop, St. Petersburg, Florida, USA Tuesday, January 19, 2016 Co-located with POPL 2016 PLMW web page: http://conf.researchr.org/home/PLMW-2016 After the resounding success of the first four Programming Languages Mentoring Workshops at POPL 2012, 2013, 2014, and 2015, we proudly announce the 5th SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2016 and organised by Isil Dillig, Derek Dreyer, Ross Tate, and Dimitrios Vytiniotis. The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they might contribute to our research community. We especially encourage women and underrepresented minority students to attend PLMW. This workshop is part of the activities surrounding POPL, the Symposium on Principles of Programming Languages, and takes place the day before the main conference. One goal of the workshop is to make the POPL conference more accessible to newcomers. We hope that participants will stay through the entire conference. A number of sponsors (listed below) have generously donated scholarship funds for qualified students to attend PLMW. These scholarships should cover reasonable expenses (airfare, hotel, and registration fees) for attendance at both the workshop and the POPL conference. Students attending this year will get one year free student membership of SIGPLAN, unless they prefer to opt out during their application. The workshop registration is open to all. Students with alternative sources of funding are welcome as well. APPLICATION for PLMW scholarship. The scholarship application can be accessed from the workshop web site: http://conf.researchr.org/home/PLMW-2016 The deadline for full consideration of funding is FRIDAY, OCTOBER 23. Selected participants will be notified by NOVEMBER 15 or earlier. SPONSORS: NSF ACM SIGPLAN Facebook Jane Street Capital Google Microsoft

1 0

[NL-FP 2016] Announcement: Dutch Functional Programming Day 2016
by Atze Dijkstra 19 Oct '15

19 Oct '15

[My apologies for multiple received copies of the same message] Dear all, The next Dutch Functional Programming day (NL-FP 2016) will be held on Friday, January 8, 2016 at the Utrecht University, The Netherlands. You are invited to participate and to give a presentation. At the end of the day we will have a joint dinner. On the web page http://foswiki.cs.uu.nl/foswiki/NlFpDay2016/WebHome <http://foswiki.cs.uu.nl/foswiki/NlFpDay2016/WebHome> for the day you’ll find preliminary information which will be further filled in due time. Registration is by letting me know via email (with a subject header that begins with [NL-FP 2016]) whether you want to (1) participate, (2) join dinner, (3) give a presentation (please include title + abstract), also see the webpage for additional details. If you intend to participate, please let me know as soon as possible because we like to know how many people we can expect. Hope to meet you all in Utrecht at the next FP Day! Best regards, - Atze - Atze Dijkstra, Department of Information and Computing Sciences. /|\ Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / | \ Tel.: +31-30-2534118/1454 | WWW : http://www.cs.uu.nl/~atze . /--| \ Fax : +31-30-2513971 .... | Email: atze(a)uu.nl ............... / |___\

1 0