January 2015 - Haskell

CFP: CRV15 - 2nd Competition on Runtime Verification
by Yliès Falcone 20 Jan '15

20 Jan '15

CRV 2015 The 2nd International Competition on Runtime Verification, held with RV 2015, September 22 – 25, 2015 Vienna, Austria CRV-2015 is the 2nd International Competition on Runtime Verification and is part of the 15th International Conference on Runtime Verification. The event will be held in September 2015, in Vienna, Austria. CRV-2015 will draw attention to the invaluable effort of software developers and researchers who contribute in this field by providing the community with new or updated tools, libraries and frameworks for the instrumentation and runtime verification of software. Runtime Verification is a verification technique for the analysis of software at execution-time based on extracting information from a running system and checking if the observed behaviors satisfy or violate the properties of interest. During the last decade, many important tools and techniques have been developed and successfully employed. However, there is a pressing need to compare such tools and techniques, since we currently lack a common benchmark suite as well as scientific evaluation methods to validate and test new prototype runtime verification tools. The main aims of CRV-2015 are to: • Stimulate the development of new efficient and practical runtime verification tools and the maintenance and improvement of the already developed ones. • Produce a benchmark suite for runtime verification tools, by sharing case studies and programs that researchers and developers can use in the future to test and to validate their prototypes. • Discuss the metrics employed for comparing the tools. • Provide a comparison of the tools on different benchmarks and evaluate them using different criteria. • Enhance the visibility of presented tools among the different communities (verification, software engineering, cloud computing and security) involved in software monitoring. Please direct any enquiries to the competition co-organizers (crv15.chairs(a)imag.fr <mailto:crv15.chairs@imag.fr>) • Yliès Falcone (Université Joseph Fourier, France). • Dejan Nickovic (AIT Austrian Institute of Technology GmbH, Austria). • Giles Reger (University of Manchester, UK). • Daniel Thoma (University of Luebeck, Germany). CRV-2015 Jury The CSRV Jury will include a representative for each participating team and the competition chairs. The Jury will be consulted at each stage of the competition to ensure that the rules set by the competition chairs are fair and reasonable. Call for Participation The main goal of CRV 2015 is to compare tools for runtime verification. We invite and encourage the participation with benchmarks and tools for the competition.The competition will consist of three main tracks based on the input language used: • Track on monitoring Java programs (online monitoring). • Track on monitoring C programs (online monitoring). • Track on monitoring of traces (offline monitoring). The competition will follow three phases: • Benchmarks/Specification collection phase - the participants are invited to submit their benchmarks (C or Java programs and/or traces). The organizers will collect them in a common repository (publicly available). The participants will then train their tools using the shared benchmarks. • Monitor collection phase - the participants are invited to submit their monitors. The participants with the tools/monitors that meet the qualification requirements will be qualified for the evaluation phase. • Evaluation phase - the qualified tools will be evaluated on the submitted benchmarks and they will be ranked using different criteria (i.e., memory utilization, CPU utilization, ...). The final results will be presented at the RV 2015 conference. The detailed description of each phase will be available on the RV 2015 website at http://rv2015.conf.tuwien.ac.at <http://rv2015.conf.tuwien.ac.at/>. Expected Important Dates January 30, 2015: Declaration of intent (email: crv15.chairs(a)imag.fr <mailto:crv15.chairs@imag.fr>) March 15, 2015 Submission deadline for benchmark programs and the properties to be monitored March 30, 2015 Tool training starts by participants May 30, 2015 Monitor submission June 30, 2015 Notifications At RV 2015 Presentation of results

1 0

CFP Bx'15: 4th International Workshop on Bidirectional Transformations
by Alcino Cunha 19 Jan '15

19 Jan '15

CALL FOR PAPERS Fourth International Workshop on Bidirectional Transformations (Bx 2015) L'Aquila, Italy (co-located with STAF, July 20-24, 2015) http://bx-community.wikidot.com/bx2015:home 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 2015 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 rotated between venues in different fields. In 2015, Bx is co-located with STAF for the first time. IMPORTANT DATES Abstract submission: 24 April 2015 Paper submission: 8 May 2015 Author notification: 5 June 2015 Camera-ready version: 19 June 2015 Workshop date: one day between July 20-24, 2015 (exact date TBA soon) AIM AND TOPICS The aim of the workshop is to bring together researchers and practitioners, established and new, interested in Bx from different perspectives, such as: * 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 PAPER CATEGORIES Submissions to Bx 2015 can be: * Regular 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 technologies - case studies * Short papers (up to 8 pages) - work in progress - small focused contributions - position papers and research perspectives * Tool papers (up to 8 pages) - presentation of new tools or substantial improvements to existing ones * Benchmark papers (up to 8 pages) - new benchmark proposals, focusing on assessing aspects of Bx not covered by the examples currently available at the Bx example repository SUBMISSION GUIDELINES Submitted papers must follow the CEUR one column style available at http://ceur-ws.org/Vol-XXX/samplestyles/. Tool papers must refer to a web page describing how to download and install the presented tool. Papers describing tools that have already been published elsewhere are expected to contain substantial and clearly identified extensions to the tool. Benchmark papers should follow the template of the Bx example repository (http://bx-community.wikidot.com/examples:home) and clearly justify the relevance of the new benchmark as a means to assess Bx tools and techniques (in particular, submissions of cross-disciplinary benchmarks are encouraged). Moreover, they must refer to a web page providing supporting artifacts (metamodels/schemas, model/data instances for interesting test cases, executable consistency checkers, etc). Papers must be submitted via the EasyChair system: https://www.easychair.org/conferences/?conf=bx2015 Submissions not complying with the above guidelines or page limits may be excluded from the reviewing process without further notice. 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, will be published electronically by CEUR (http://ceur-ws.org) Authors of accepted papers (of all categories) that have high-quality and the potential to be extended into journal articles will be invited to submit a revised and extended version of their paper to a special issue of the Journal of Object Technology (http://www.jot.fm) these papers will then be subject to a careful reviewing and selection process according to the scientific standards of the Journal of Object Technology. PROGRAM CO-CHAIRS * Alcino Cunha, University of Minho, Portugal * Ekkart Kindler, Technical University of Denmark, Denmark PROGRAM COMMITTEE MEMBERS * Anthony Anjorin, Technical University of Darmstadt, Germany * Anthony Cleve, University of Namur, Belgium * Romina Eramo, University of L'Aquila, Italy * Jeremy Gibbons, University of Oxford, UK * Holger Giese, Hasso Plattner Institute, Germany * Soichiro Hidaka, NII, Japan * Michael Johnson, Macquarie University, Australia * Peter McBrien, Imperial College, UK * Hugo Pacheco, Cornell University, USA * Jorge Pérez, Universidad de Chile, Chile * Arend Rensink, Twente University, Netherlands * Perdita Stevens, University of Edinburgh, UK * James Terwilliger, Microsoft, USA * Meng Wang, Chalmers University of Technology, Sweden * Jens Weber, University of Victoria, Canada * Yingfei Xiong, Peking University, China

1 0

Book announcement: Robert Kowalski, LOGIC FOR PROBLEM SOLVING, REVISITED
by Jon Sneyers 19 Jan '15

19 Jan '15

New Book Robert Kowalski LOGIC FOR PROBLEM SOLVING, REVISITED ISBN 9783837036299 Also available as E-Book http://books.google.de/books?id=6vh1BQAAQBAJ&hl=en Algorithm = Logic + Control Robert Kowalski revisits his classic text on Computational Logic in the light of subsequent developments, extending it by a substantial commentary of fifty pages.

1 0

CFW: The 5th International Conference on Current and Future Trends of ICT in Healthcare (ICTH)
by Nabeel Al-Qirim 17 Jan '15

17 Jan '15

*** Apologies if you receive multiple copies of this message *** ----------------- Call for Workshops Proposals ------------------------ The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) 27-30 September, 2015 Berlin, Germany http://icth-15.dai-labor.de/ ------------------------------------------------------------------------------- Important Dates =============== - Workshop Proposal Due: February 25, 2015 - Acceptance Notification: March 1, 2015 The ICTH-2015 organizing committee invites proposals for workshops. The main objective of the workshops is to provide a forum for researchers and professionals to discuss a specific topic from the field of ICTH-2015 and its related areas. All papers accepted for workshops will be included in the ICTH-2015 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in ICTH-2015 Website. The selective outstanding papers presented at the workshops, after further revision, will be considered for publication in journals special issues. Proposal Format =============== - Title of the workshop - Workshop Website: tentative address, or old address (if applicable) - Draft Call for paper of the workshop - Tentative list of TPC members Workshops Chair =============== Dr. Zahoor Khan, Higher Colleges of Technology, UAE Email: zahoor.khan(a)hct.ac.ae<mailto:zahoor.khan@hct.ac.ae> Regards Nabeel Al-Qirim, PhD Associate Professor College of Information Technology United Arab Emirates University P.O Box 15551 - Al Ain United Arab Emirates [UAEU Logo] Tel: +971-3-7135531 Mobile: +971-507308705 Fax: +971-3-7672018 Email: nalqirim(a)uaeu.ac.ae<mailto:nalqirim@uaeu.ac.ae> Website: http://nalqirim.wix.com/nabeel-al-qirim ________________________________ Disclaimer: This email and the file(s) attached shall remain confidential and is intended for the receivers use only. If you are not the intended receiver or if you have received this email by mistake, please advise the sender and delete the email along with its attachment(s) from your system immediately. You do not have the right to copy/print/distribute this email or attached file(s), or to release its contents to any other party other than the intended receivers whatsoever; except if you take prior written approval from the sender. If you violate the above, you will be legally held accountable.

1 0

CFP" The 5th International Conference on Current and Future Trends of ICT in Healthcare
by Nabeel Al-Qirim 17 Jan '15

17 Jan '15

The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare September 27-30, 2015 Berlin, Germany http://icth-15.dai-labor.de/ Important Dates ------------------ - Workshop Proposals: February 15, 2015 - Paper Submission Due: May 6, 2015 - Acceptance Notification: June 26, 2015 - Final Manuscript Due: July 26, 2015 The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from academia and healthcare who are engaged in different facets of ICT and healthcare. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of ICT based applications, systems, tools, environments and infrastructures in the fields of health/medical care, and related domains, such as public health and pharmaceuticals. Papers on either completed or ongoing research are invited in the following and related topics of interests. ICTH-2015 will be held in conjunction with the 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN: http://euspn-15.dai-labor.de/) Accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series (on-line). Procedia Computer Sciences is hosted on www.Elsevier.com and on the Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will also be indexed by Thomson Reuters' Conference Proceeding Citation Index http://thomsonreuters.com/conference-proceedings-citation-index/. The papers will contain linked references, XML versions and citable DOI numbers. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/) Selected papers will be invited for publication in a special issue of an international journal. We invite submissions on either completed or ongoing work. Submitted papers must be no longer than 8 pages for full papers, 5 pages for short papers and 4 pages for work in progress, including all figures, tables and references. We encourage students to submit short papers or works in progress, and welcome proposals on workshops in areas of special interest to participants. Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Drug Information Systems - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Honorary Chair Sahin Albayrak, DAI-Lab, TU Berlin, Germany General Chairs Ellen Jaatun, Institute of Cancer Research and Molecular Medicine, NTNU, St. Olvas Hospital, Norway Syed Sibte Raza Abidi, Dalhousie University, Nova Scotia Advisory Committee Sergio Camorlinga, Head eHealth Research, TRLabs, Canda Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada Advisory Committee Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Pinciroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada Workshop Chair Zahoor Khan, Higher Colleges of Technology, UA Local Arrangements Members Jan Keiser, DAI-Lab, TU Berlin, Germany Fikret Sivrikaya, German-Turkish Advanced ICT Research Centre, Germany Johannes Fähndrich, TU Berlin, Germany Publicity Chairs Christian Kuster, German-Turkish Advanced ICT Research Centre, Germany Samir Ouchani, University of Luxembourg, Luxembourg Nabeel Al-Qirim, College of Information Technology, UAE Regards Nabeel Al-Qirim, PhD Associate Professor College of Information Technology United Arab Emirates University P.O Box 15551 - Al Ain United Arab Emirates Tel: +971-3-7135531 Mobile: +971-507308705 Fax: +971-3-7672018 Email: nalqirim(a)uaeu.ac.ae Website: http://nalqirim.wix.com/nabeel-al-qirim ________________________________ Disclaimer: This email and the file(s) attached shall remain confidential and is intended for the receivers use only. If you are not the intended receiver or if you have received this email by mistake, please advise the sender and delete the email along with its attachment(s) from your system immediately. You do not have the right to copy/print/distribute this email or attached file(s), or to release its contents to any other party other than the intended receivers whatsoever; except if you take prior written approval from the sender. If you violate the above, you will be legally held accountable.

1 0

Two research assistantships in model-driven engineering and semantic technologies, University of Oxford
by Jeremy Gibbons 16 Jan '15

16 Jan '15

We have two positions open in the Programming Languages and Software Engineering Research Group, for research assistants (postdocs) in model-driven engineering and semantic technologies. The positions are associated with the EU-funded “ALIGNED: Quality-Centric Software and Data Engineering” project, working with Jim Davies and Jeremy Gibbons. The primary selection criteria are strong design and development skills in object-oriented and functional programming, representation and manipulation of semi-structured data, and model transformation, together with a proven track record of relevant publications. (Although the posts won't be primarily focussed on FP, we would welcome applications from FPers interested in MDE.) Applicants should have a PhD in Computer Science. Full details are at http://www.cs.ox.ac.uk/news/869-full.html and the closing date is 12 noon GMT on 9th February. Please contact me if you have any questions about the positions, and please distribute this notice to anyone who may be interested. Jeremy and Jim Jeremy.Gibbons(a)cs.ox.ac.uk Oxford University Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. ☎ +44 1865 283521 http://www.cs.ox.ac.uk/people/jeremy.gibbons/

1 0

Mathematics of Program Construction (MPC 2015): final call for papers
by José Pedro Magalhães 15 Jan '15

15 Jan '15

Apologies for multiple copies. FINAL CALL FOR PAPERS 12th International Conference on Mathematics of Program Construction, MPC 2015 Königswinter, Germany, 29 June - 1 July 2015 http://www.cs.ox.ac.uk/conferences/MPC2015/ BACKGROUND The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs, broadly interpreted. The 2015 MPC conference will be held in Königswinter, Germany, from 29th June to 1st July 2015. The previous conferences were held in Twente, The Netherlands (1989), Oxford, UK (1992), Kloster Irsee, Germany (1995), Marstrand, Sweden (1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany (2002), Stirling, UK (2004, colocated with AMAST), Kuressaare, Estonia (2006, colocated with AMAST), Marseille, France (2008), Québec City, Canada (2010, colocated with AMAST), and Madrid, Spain (2012). TOPICS Papers are solicited on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. The notion of "program" is broad, from algorithms to hardware. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics. Theoretical contributions are welcome, provided that their relevance to program construction is clear. Reports on applications are welcome, provided that their mathematical basis is evident. We also encourage the submission of "pearls": elegant, instructive, and fun essays on the mathematics of program construction. IMPORTANT DATES * Submission of abstracts: 26 January 2015 * Submission of full papers: 2 February 2015 * Notification to authors: 16 March 2015 * Final version: 13 April 2015 SUBMISSION Submission is in two stages. Abstracts (plain text, 10 to 20 lines) must be submitted by 26 January 2015. Full papers (pdf) adhering to the LaTeX llncs style must be submitted by 2 February 2015. There is no official page limit, but authors should strive for brevity. The web-based system EasyChair will be used for submission (https://easychair.org/conferences/?conf=mpc2015) Papers must report previously unpublished work, and must not be submitted concurrently to a journal or to another conference with refereed proceedings. Accepted papers must be presented at the conference by one of the authors. Please feel free to write to mpc2015(a)easychair.org with any questions about academic matters. The proceedings of MPC 2015 will be published in Springer-Verlag's Lecture Notes in Computer Science series, as have all the previous editions. Authors of accepted papers will be expected to transfer copyright to Springer for this purpose. After the conference, authors of the best papers will be invited to submit revised versions to a special issue of the Elsevier journal Science of Computer Programming. PROGRAMME COMMITTEE Ralf Hinze University of Oxford, UK (chair) Eerke Boiten University of Kent, UK Jules Desharnais Université Laval, Canada Lindsay Groves Victoria University of Wellington, New Zealand Zhenjiang Hu National Institute of Informatics, Japan Graham Hutton University of Nottingham, UK Johan Jeuring Utrecht University and Open University, The Netherlands Jay McCarthy Vassar College, US Larissa Meinicke The University of Queensland, Australia Bernhard Möller Universität Augsburg, Germany Shin-Cheng Mu Academia Sinica, Taiwan Dave Naumann Stevens Institute of Technology, US Pablo Nogueira Universidad Politécnica de Madrid, Spain Ulf Norell University of Gothenburg, Sweden Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong José Nuno Oliveira Universidade do Minho, Portugal Alberto Pardo Universidad de la República, Uruguay Christine Paulin-Mohring INRIA-Université Paris-Sud, France Tom Schrijvers KU Leuven, Belgium Emil Sekerinski McMaster University, Canada Tim Sheard Portland State University, US Anya Tafliovich University of Toronto Scarborough, Canada Tarmo Uustalu Institute of Cybernetics, Estonia Janis Voigtländer Universität Bonn, Germany VENUE The conference will take place in Königswinter, Maritim Hotel, where accommodation has been reserved. Königswinter is situated on the right bank of the river Rhine, opposite Germany's former capital Bonn, at the foot of the Siebengebirge. LOCAL ORGANIZERS Ralf Hinze University of Oxford, UK (co-chair) Janis Voigtländer Universität Bonn, Germany (co-chair) José Pedro Magalhães University of Oxford, UK Nicolas Wu University of Oxford, UK For queries about local matters, please write to jv(a)informatik.uni-bonn.de.

1 0

PhD position
by Neil Ghani 14 Jan '15

14 Jan '15

****************************************************************** *** PhD Position *** *** Categories, Coalgebras and Types *** *** Mathematically Structured Programming Group *** University of Strathclyde *** ****************************************************************** Applications are invited for PhD study under the supervision of Prof Neil Ghani and Dr Conor McBride on any of the following topics * Dependently Typed Programming * Homotopy Type Theory * Coalgebra * Category Theory in Computer Science The position is fully funded for EU students (apologies to non EU-citizens for this ridiculous piece of non-meritocracy) and will last for 3 years.The applicant's motivation must centre on a desire for beautiful mathematics of lasting value. The applicant should also have an innate sense of the wonder of learning allied to the capacity to work hard and achieve their goals. The Mathematically Structured Programming Group's vision is to use mathematics to understand the nature of computation, and to then turn that understanding into the next generation of programming languages. This reflects the symbiotic relationship between mathematics, programming, and the design of programming languages --- any attempt to sever this connection will diminish each component. In order to achieve these research goals we mainly use ideas from category theory, type theory and functional programming. Besides Professor Neil Ghani and Dr Conor McBride, the group consists of a number of internationally leading researchers including Dr Clemens Kupke, Dr Ross Duncan, Dr Robert Atkey and Dr Fredrick Norvall-Forsberg as well as a number of PhD students. So, if you are interested in Neil-and-Conor studies, please contact us. Applications will be considered on a first come, first served basis.

1 0

TYPES 2015 call for contributions
by Tarmo Uustalu 14 Jan '15

14 Jan '15

CALL FOR CONTRIBUTIONS 21st International Conference on Types for Proofs and Programs, TYPES 2015 Tallinn, Estonia, 18-21 May 2015 http://cs.ioc.ee/types15/ Background The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. The meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. Since 2009, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy en Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014). The TYPES areas of interest include, but are not limited to: foundations of type theory and constructive mathematics; applications of type theory; dependently typed programming; industrial uses of type theory technology; meta-theoretic studies of type systems; proof assistants and proof technology; automation in computer-assisted reasoning; links between type theory and functional programming; formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. Invited speakers Gilles Barthe (IMDEA Software) Andrej Bauer (University of Ljubljana) Peter Selinger (Dalhousie University) Contributed talks We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pp formatted with easychair.cls. Submission is via EasyChair by 13 March 2015. The authors will be notified of acceptance/rejection by 3 April 2015. Camera-ready versions of the accepted contributions, due by 24 April 2015, will be published in an informal book of abstracts for distribution at the workshop. Post-proceedings Similarly to TYPES 2011, 2013, 2014, we intend to publish a post-proceedings volume in the Leibniz International Proceedings in Informatics (LIPiCS) series (subject to successful negotiation with Dagstuhl Publishing). Submission to that volume would be open for everyone. Tentative submission deadline: mid-September 2015. Programme committee Andrea Asperti (Università di Bologna) Robert Atkey (University of Edinburgh) Ulrich Berger (Swansea University) Jean-Philippe Bernardy (Chalmers University of Technology) Edwin Brady (University of St Andrews) Joëlle Despeyroux (INRIA Sophia Antipolis - Méditerranée) Herman Geuvers (Radboud Universiteit Nijmegen) Sam Lindley (University of Edinburgh) Assia Mahboubi (INRIA Saclay - Île-de-France) Ralph Matthes (IRIT, Université Paul Sabatier) Aleks Nanevski (IMDEA Software) Christine Paulin-Mohring (LRI, Université Paris-Sud) Simona Ronchi Della Rocca (Università di Torino) Ulrich Schöpp (Ludwig-Maximilians-Universität München) Bas Spitters (Carnegie Mellon University) Pawel Urzyczyn (University of Warsaw) Tarmo Uustalu (Institute of Cybernetics, Tallinn) (chair) Organizers Logic and semantics group, Institute of Cybernetics, Tallinn Sponsors ERDF via EXCS, the Estonian Centre of Excellence in Computer Science

1 0

Vacancies: 4 PhD students Software Technology Utrecht University
by Johan Jeuring 13 Jan '15

13 Jan '15

============================================================ 4 x PhD position in Software Technology ============================================================ The research group of Software Technology is part of the Software Systems division of in the department of Information and Computer Science at the Utrecht University. We focus our research on functional programming, compiler construction, program analysis, validation, and verification. Financed by the Netherlands Organisation for Scientific Research (NWO), the EU, Technology Foundation STW and Utrecht University we currently have job openings for four PhD researchers (PhD students) in Software Technology. We are looking for PhD students to work on some of the following topics: * Version control of structured data The theory and practice underlying structure-aware version control systems capable of handling more than just text files. * Intelligent tutoring technologies Technologies for tutoring subjects such as functional programming, statistics, algebra, etc. * Serious games Domain-specific languages and technologies for specifying strategies for serious games. * iTasks iTasks is a formalism for specifying distributed tasks. Specify and test properties of iTasks, and give run-time feedback for iTasks. Besides research, the successful candidate will be expected to help supervise MSc students and assist teaching courses. We prefer candidates to start no later than September 2015. --------------------------- What we are looking for --------------------------- The candidate should have an MSc in Computer Science, be highly motivated, speak and write English well. Furthermore the successful candidate should be proficient in reporting scientific findings. Knowledge of and experience with at least some of the following areas (depending on the topic chosen to work on for your PhD) is essential: * functional programming, such as Haskell or ML; * datatype generic programming; * intelligent tutoring systems; * serious games; * strategies, rewriting, parsing; * modern version control systems such as git, mercurial, or darcs. ------------------ What we offer ------------------ The candidate is offered a full-time position for 4 years. A part-time position of at least 0.8 fte may also be possible. Salary starts at 2083 euro and increases to 2664 euro gross per month in the fourth year of the appointment. The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus of 8.3% per year. In addition we offer: a pension scheme, partially paid parental leave, flexible employment conditions. Conditions are based on the Collective Labour Agreement Dutch Universities. The research group will provide the candidate with necessary support on all aspects of the project. ---------------- How to apply ---------------- To apply please attach a letter of motivation, a curriculum vitae, and (email) addresses of two referees. Make sure to also include a transcript of the courses you have followed (at bachelor and master level), with the grades you obtained, and to include a sample of your scientific writing, such as your master thesis. It is possible to apply for this position if you are close to obtaining your Master's. In that case include a letter of your supervisor with an estimate of your progress, and do not forget to include at least a sample of your technical writing skills. Application deadline is March 8, 2015. You can apply online through the University's website: http://tinyurl.com/qhlco6s --------------------------- Additional information --------------------------- If you have any questions regarding these positions, please contact Johan Jeuring +31 (0)640010053 J.T.Jeuring(a)uu.nl Wouter Swierstra +31 (0)30 253 9207 w.s.swierstra(a)uu.nl

1 0