- Haskell - Haskell.org

Haskell Weekly News
by Kim-Ee Yeoh 04 Mar '15

04 Mar '15

*Top picks:* Jasper Van der Jeugt <http://jaspervdj.be/posts/2015-02-24-lru-cache.html> shows how you can write an intuitive, obviously correct LRU cache perfectly polymorphic in both the key and value types of the cache lookup function. (Reddit discussion.) <http://www.reddit.com/r/haskell/comments/2wz4tj/writing_an_lru_cache_in_has…> Core is broken! Well, no, ticket 9858 <https://ghc.haskell.org/trac/ghc/ticket/9858> reported previously is still open, and it's about translating an exotic species of Haskell into Core. But Javran Cheng <https://ghc.haskell.org/trac/ghc/ticket/10121> found out that the documented specification of Core's operational semantics is incomplete. Neil Mitchell <http://neilmitchell.blogspot.com/2015/02/making-withsocketsdo-unnecessary.h…> removes the error-prone wart of withSocketsDo <http://hackage.haskell.org/package/network-2.6.0.2/docs/Network.html#v:with…> in Windows network programming. Moving in for the kill is the triple combo of evaluate, NOINLINE, and unsafePerformIO. (Reddit discussion.) <http://www.reddit.com/r/haskell/comments/2x7js6/making_withsocketsdo_unnece…> Can you write a sorting algorithm? Can you write a fancy sorting algorithm? Can you write a sorting algorithm so fancy it hides a subtle bug? Can you write a sorting algorithm so fancy that it hides a bug so subtle <https://github.com/timjb/haskell-timsort/commit/d9c3e1e454c7d338320f8c2aa12…> that it evades even QuickCheck because the smallest testcase is 2^49 big? But the good news is that QuickCheck doesn't see any regression in the bugfix. (Hacker News discussion.) <https://news.ycombinator.com/item?id=9100107#up_9112425> The consequence of misspelling pragmas <https://ghc.haskell.org/trac/ghc/ticket/10106>, Or: when stumped on a compile error, turn on -Werror to see if you aren't missing something obvious. *Quote of the week:*garry__cairns <https://twitter.com/garry__cairns/status/571087073739976704>: The trouble with learning #haskell is the more I expose myself to it the more I dislike what I have to work with to pay the bills. *Repo of the week: *Kalium <https://github.com/int-index/kalium>: Turn Pascal <https://int-index.github.io/kalium/examples.html> into Haskell -- Kim-Ee

1 0

Haskell 2015: 2nd Call for Papers
by Ben Lippmeier 04 Mar '15

04 Mar '15

===================================================================== ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2015 Vancouver, Canada, 3-4 September 2015, directly after ICFP http://www.haskell.org/haskell-symposium/2015 ===================================================================== ** The Haskell Symposium has an early track this year ** ** See the Submission Timetable for details. ** The ACM SIGPLAN Haskell Symposium 2015 will be co-located with the International Conference on Functional Programming (ICFP 2015) in Vancouver, Canada. The Haskell Symposium aims to present original research on Haskell, discuss practical experience and future development of the language, and to promote other forms of denotative programming. Topics of interest include: * Language Design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces; * Libraries, that demonstrate new ideas or techniques for functional programming in Haskell; * Tools, such as profilers, tracers, debuggers, preprocessors, and testing tools; * Applications, to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth; * Functional Pearls, being elegant and instructive programming examples; * Experience Reports, to document general practice and experience in education, industry, or other contexts. Papers in the latter three categories need not necessarily report original academic research results. For example, they may instead report reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementors, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a standard solution to a standard programming problem, or report on experience where you used Haskell in the standard way and achieved the result you were expecting. More advice is available via the Haskell wiki: (http://wiki.haskell.org/HaskellSymposium/ExperienceReports) Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate. In addition, we solicit proposals for: * System Demonstrations, based on running software rather than novel research results. These proposals should summarize the system capabilities that would be demonstrated. The proposals will be judged on whether the ensuing session is likely to be important and interesting to the Haskell community at large, whether on grounds academic or industrial, theoretical or practical, technical, social or artistic. Please contact the program chair with any questions about the relevance of a proposal. Travel Support: =============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC program, see its web page (http://pac.sigplan.org) Proceedings: ============ Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance (http://authors.acm.org/main.html) Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they retain copyright of auxiliary material. Accepted proposals for system demonstrations will be posted on the symposium website, but not formally published in the proceedings. All accepted papers and proposals will be posted on the conference website one week before the meeting. Publication date: The official publication date of accepted papers is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. Submission Details: =================== Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (http://www.acm.org/sigs/sigplan/authorInformation.htm) The text should be in a 9-point font in two columns. The length is restricted to 12 pages, except for "Experience Report" papers, which are restricted to 6 pages. Papers need not fill the page limit -- for example, a Functional Pearl may be much shorter than 12 pages. Each paper submission must adhere to SIGPLAN's republication policy, as explained on the web. Demo proposals are limited to 2-page abstracts, in the same ACM format as papers. "Functional Pearls", "Experience Reports", and "Demo Proposals" should be marked as such with those words in the title at time of submission. The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. A link to the paper submission system will appear on the Haskell Symposium web site closer to the submission deadline. Submission Timetable: ===================== Early Track Regular Track System Demos ---------------- ------------------- --------------- 13th March Paper Submission 1st May Notification 19th May Abstract Submission 22nd May Paper Submission 5th June Resubmission Demo Submission 26th June Notification Notification Notification 19th July Final papers due Final papers due Deadlines stated are valid anywhere on earth. In this iteration of the Haskell Symposium we are trialling a two-track submission process, so that some papers can gain early feedback. Papers can be submitted to the early track on 13th March. On 1st May, strong papers are accepted outright, and the others will be given their reviews and invited to resubmit. On 5th June early track papers may be resubmitted, and are sent back to the same reviewers. The Haskell Symposium regular track operates as in previous years. Papers accepted via the early and regular tracks are considered of equal value and will not be distinguished in the proceedings. Although all papers may be submitted to the early track, authors of functional pearls and experience reports are particularly encouraged to use this mechanism. The success of these papers depends heavily on the way they are presented, and submitting early will give the program committee a chance to provide feedback and help draw out the key ideas. Program Committee: =================== Mathieu Boespflug - Tweag I/O Edwin Brady - University of St Andrews Atze Dijkstra - Utrecht University Tom DuBuisson - Galois Torsten Grust - University of Tuebingen Patrik Jansson - Chalmers University of Technology Patricia Johann - Appalachian State University Oleg Kiselyov - Tohoku University Edward Kmett - McGraw Hill Financial Neelakantan Krishnaswami - University of Birmingham Ben Lippmeier (chair) - Vertigo Technology Hai (Paul) Liu - Intel Labs Garrett Morris - University of Edinburgh Dominic Orchard - Imperial College London Matt Roberts - Macquarie University Tim Sheard - Portland State University Joel Svensson - Indiana University Edsko de Vries - Well Typed =====================================================================

1 0

Constraint Satisfaction Problem
by K Sai Anirudh 04 Mar '15

04 Mar '15

Hello, I tried to solve simple constraint satisfaction problem. This is my code " http://pastebin.com/VAaRYSEA " . This gives solution for present list of domains, but when I change the domain of 'd' in the list 'ld' then I get error. I think the error is in line 52. I indexed the first value, but I tried filtering the results where all the variables are assigned and I get error. Thanks for any help Sai

2 1

DSLDI: 3rd Workshop on Domain-Specific Language Design and Implementation
by Tijs van der Storm 03 Mar '15

03 Mar '15

********************************************************************* FIRST CALL FOR TALK PROPOSALS DSLDI 2015 Third Workshop on Domain-Specific Language Design and Implementation July 7, 2015 Prague, Czech Republic Co-located with ECOOP http://2015.ecoop.org/track/dsldi-2015-papers ********************************************************************* Deadline for talk proposals: 2nd of April, 2015 If designed and implemented well, domain-specific languages (DSLs) combine the best features of general-purpose programming languages (e.g., performance) with high productivity (e.g., ease of programming). *** Workshop Goal *** The goal of the DSLDI workshop is to bring together researchers and practitioners interested in sharing ideas on how DSLs should be designed, implemented, supported by tools, and applied in realistic application contexts. We are both interested in discovering how already known domains such as graph processing or machine learning can be best supported by DSLs, but also in exploring new domains that could be targeted by DSLs. More generally, we are interested in building a community that can drive forward the development of modern DSLs. *** Workshop Format *** DSLDI is a single-day workshop and will consist of a series of short talks whose main goal is to trigger exchange of opinion and discussions. The talks should be on the topics within DSLDI's area of interest, which include but are not limited to the following ones: * DSL implementation techniques, including compiler-level and runtime-level solutions * utilization of domain knowledge for driving optimizations of DSL implementations * utilizing DSLs for managing parallelism and hardware heterogeneity * DSL performance and scalability studies * DSL tools, such as DSL editors and editor plugins, debuggers, refactoring tools, etc. * applications of DSLs to existing as well as emerging domains, for example graph processing, image processing, machine learning, analytics, robotics, etc. * practitioners reports, for example descriptions of DSL deployment i a real-life production setting *** Call for Submissions *** We solicit talk proposals in the form of short abstracts (max. 2 pages). A good talk proposal describes an interesting position, demonstration, or early achievement. The submissions will be reviewed on relevance and clarity, and used to plan the mostly interactive sessions of the workshop day. Publication of accepted abstracts and slides on the website is voluntary. * Deadline for talk proposals: April 2nd, 2015 * Notification: May 1st, 2015 * Workshop: July 7th, 2015 * Submission website: https://easychair.org/conferences/?conf=dsldi2015 *** Workshop Organization *** Organizers * Tijs van der Storm (storm(a)cwi.nl) CWI, The Netherlands * Sebastian Erdweg (erdweg(a)informatik.tu-darmstadt.de) TU Darmstadt, Germany Follow us on Twitter at https://twitter.com/wsdsldi Program committee * Emilie Balland * Martin Bravenboer (LogicBlox) * Hassan Chafi (Oracle Labs) * William Cook (UT Austin) * Shriram Krishnamurthi (Brown University) * Heather Miller (EPFL) * Bruno Oliveira (University of Hong Kong) * Cyrus Omar (CMU) * Richard Paige (University of York) * Tony Sloane (Macquarie University) * Emma Söderberg (Google) * Emma Tosch (University of Massachusetts, Amherst) * Jurgen Vinju (CWI) -- Researcher Centrum Wiskunde & Informatica (CWI) Master of Software Engineering Universiteit van Amsterdam (UvA) Dr. Tijs van der Storm @ Centrum Wiskunde & Informatica (CWI) Office: L225 | Phone: +31 (0)20 5924164 | Address: Science Park 123 P.O. Box 94079 | Postal code: 1090 GB | Amsterdam, The Netherlands

1 0

Haskell Wiki broken links
by Frantisek Farka 28 Feb '15

28 Feb '15

Hi all, I have found out that new haskell.org site and migration of Haskell wiki to wiki.haskell.org did broke some of the old links, e. g.: http://www.haskell.org/haskellwiki/index.php?title=Functor-Applicative-Mona… is redirecting simply to https://wiki.haskell.org/Haskell whereas the proper page still exists: https://wiki.haskell.org/index.php?title=Functor-Applicative-Monad_Proposal… Can anyone fix the server configuration? Best wishes, Franta

1 0

PhD position in dependent types/functional programming at Chalmers
by Andreas Abel 27 Feb '15

27 Feb '15

We have an opening for a PhD student in dependent type theory and functional programming at Chalmers. Here is an excerpt from the ad: "The PhD student will join the Programming Logic group and contribute to its research on dependent type theory and functional programming. Topics of interest include the following directions of work: - Design of dependently typed functional programming languages. - Theory and implementation of type checkers, compilers etc. for dependently typed functional programming languages. - Investigations into the use of dependently typed functional programming languages, both as programming languages and as logical systems. - Models and applications of (homotopy) type theory." Note that work on and in Agda matches several of the topics above. Full text of the advertisement: http://www.chalmers.se/en/about-chalmers/vacancies/?rmpage=job&rmjob=2902 Application deadline: March 31, 2015 -- Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel(a)gu.se http://www2.tcs.ifi.lmu.de/~abel/

1 0

TYPES 2015 final call for contributions
by Tarmo Uustalu 27 Feb '15

27 Feb '15

[Selection of talks based on abstracts (2 pp easychair.cls) due 13 March 2015! A post-proceedings volume in LIPIcs, with an open call.] 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) Tutorials Joachim Kock (Universitat Autònoma de Barcelona) Peter LeFanu Lumsdaine (Stockholm 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 will publish a post-proceedings in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will 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, CNRS and Université Paul Sabatier) Aleksandar 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

CFP - SBLP 2015: 19th Brazilian Symposium on Programming Languages
by Alberto Pardo 25 Feb '15

25 Feb '15

CALL FOR PAPERS - SBLP 2015 19th Brazilian Symposium on Programming Languages 21-26 September 2015 Belo Horizonte, Brazil http://cbsoft.org/sblp2015 +++++++++++++++++++++++++++++++++++++++++++++++++++ IMPORTANT DATES Abstract submission: 20 April, 2015 Paper submission: 27 April, 2015 Author notification: 18 June, 2015 Camera ready deadline: 2 July 2015 INTRODUCTION The Brazilian Symposium on Programming Languages is a well-established symposium which provides a venue for researchers and practitioners interested in the fundamental principles and innovations in the design and implementation of programming languages and systems. SBLP 2015 is part of 6th Brazilian Conference on Software: Theory and Practice, CBSoft 2015, that will be held in Belo Horizonte, Minas Gerais, Brazil, from September 21st to September 26th, 2015. Authors are invited to submit original research on any relevant topic which can be either in the form of regular or short papers. TOPICS Topics of interest include, but are not limited to: * Program generation and transformation, including domain-specific languages and model-driven development in the context of programming languages. * Programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed programming. * Formal semantics and theoretical foundations, including denotational, operational, algebraic and categorical. * Program analysis and verification, including type systems, static analysis and abstract interpretation. * Programming language design and implementation, including new programming models, programming language environments, compilation and interpretation techniques. INVITED SPEAKERS * Doaitse Swierstra, Utrecht University * TBA SUBMISSION AND PUBLICATION All submissions will be peer-reviewed and judged on the basis of its originality, contribution to the field, technical and presentation quality, and relevance to the symposium. Contributions should be written in Portuguese or English. Papers should fall into one of two different categories: regular papers, which can be up to 15 pages long in LNCS format, or short papers, with up to 5 pages in LNCS format. Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated. We encourage the submission of short papers reporting partial results of on-going master dissertations or doctoral theses. Accepted papers written in English will be published in a volume of Lecture Notes in Computer Science (LNCS), by Springer. Both regular and short papers must be prepared using the LNCS format, available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Papers must be submitted electronically (in PDF format) via the Easychair System: http://www.easychair.org/conferences/?conf=sblp2015. As in previous editions, after the conference, authors of selected papers will be invited to submit an extended version of their work to be considered for publication in a journal special issue. Since 2009, selected papers of each SBPL edition are being published in a special issue of Science of Computer Programming, by Elsevier. PROGRAM CHAIRS Alberto Pardo, Universidad de la República, Uruguay Doaitse Swierstra, Utrecht University, The Netherlands PROGRAM COMMITTEE Alberto Pardo, Universidad de la República (co-chair) Alex Garcia, IME Alvaro Moreira, Federal University of Rio Grande do Sul Andre Rauber Du Bois, Federal University of Pelotas Carlos Camarão, Federal University of Minas Gerais Christiano Braga, Fluminense Federal University Doaitse Swierstra, Utrecht University (co-chair) Fabio Mascarenhas, Federal University of Rio de Janeiro Fernando Pereira, Federal University of Minas Gerais Fernando Castor, Federal University of Pernambuco Francisco Carvalho-Junior, Federal University of Ceara Hans-Wolfgang Loidl, Heriot-Watt University João Saraiva, University of Minho João F. Ferreira, Teesside University Louis-Noel Pouchet, University of California, Los Angeles Lucilia Figueiredo, Federal University of Ouro Preto Luis Barbosa, University of Minho Manuel A. Martins, University of Aveiro Marcelo Maia, Federal University of Uberlândia Marcelo D'Amorim, Federal University of Pernambuco Mariza Bigonha, Federal University of Minas Gerais Martin Musicante, Federal University of Rio Grande do Norte Noemi Rodriguez, PUC-Rio Peter Mosses, Swansea University Rafael Lins, Federal University of Pernambuco Renato Cerqueira, PUC-Rio Roberto Bigonha, Federal University of Minas Gerais Roberto Ierusalimschy PUC-Rio Rodrigo Geraldo, Federal University of Ouro Preto Sandro Rigo, State University of Campinas Sérgio Medeiros, Federal University of Rio Grande do Norte Simon Thompson, University of Kent Varmo Vene, University of Tartu Zongyan Qiu Peking University

1 0

ETAPS 2016 call for satellite events
by Tarmo Uustalu 25 Feb '15

25 Feb '15

19th European Joint Conferences on Theory and Practice of Software ETAPS 2016 Eindhoven, The Netherlands, April 2-8, 2016 http://www.etaps.org/2016/ Call for Satellite Events -- ABOUT ETAPS -- The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS is an annual event which takes place in Europe each spring since 1998. The nineteenth conference, ETAPS 2016, will take place April 2-8, 2016 in Eindhoven, The Netherlands. ETAPS main conferences will take place on April 4-7, 2016. They are: + ESOP: European Symposium on Programming, + FASE: Fundamental Approaches to Software Engineering, + FOSSACS: Foundations of Software Science and Computation Structures, + POST: Principles of Security and Trust, + TACAS: Tools and Algorithms for the Construction and Analysis of Systems. -- SATELLITE EVENTS -- The ETAPS 2016 organizing committee invites proposals for satellite events (workshops etc.) that will complement the main conferences. They should fall within the scope of ETAPS. This encompasses all aspects of the system development process, including specification, design, implementation, analysis and improvement, as well as the languages, methodologies and tools which support these activities, covering a spectrum from practically-motivated theory to soundly-based practice. Satellite events provide an opportunity to discuss and report on emerging research approaches and practical experience relevant to theory and practice of software. ETAPS 2016 satellite events will be held immediately before and after the main conferences, on April 2-3 and April 8, 2016. -- ARRANGEMENTS FOR SATELLITE EVENTS -- The organizers of an ETAPS 2016 satellite are expected to: + create and maintain a website for the event, + form a PC, produce a call for papers for the event (if appropriate), + advertise the event through specialist mailing lists etc. to complement the publicity of ETAPS, + review the submissions received and make acceptance decisions, + prepare an informal (pre)proceedings for the event (if appropriate), + prepare the event's program complying with any scheduling constraints defined by the ETAPS 2016 organizing committee, + prepare and organize the publication of a formal (post-)proceedings (if desired). The ETAPS 2016 organizing committee will: + promote the event on the website and in the publicity material of ETAPS 2016, + integrate the event's program into the overall program of the conference, + arrange registration for the event as a component of registration for ETAPS, collect a participation fee from the registrants, + produce a compilation USB memory stick of the informal (pre-) proceedings of the satellite events of ETAPS 2016 and distribute this to the registrants, + provide the event with a meeting room of an appropriate size, A/V equipment, coffee breaks and possibly lunch(es). As a rule, ETAPS will not contribute toward the travel or accommodation costs of invited speakers or organizers of satellite events. -- SUBMISSION OF SATELLITE EVENT PROPOSALS -- Researchers and practitioners wishing to organize satellite events are invited to submit proposals to the workshop co-chairs Julien Schmaltz and Erik de Vink using this web form. A proposal should not exceed two pages and should include: + the name and acronym of the satellite event, + the names and contact information of the organizers, + the duration of the event: one or two days, + the preferred period: April 2, April 3, April 8 or April 2-3, + the expected number of participants, + a brief description (120 words approximately) of the event topic for the website and publicity material of ETAPS 2016, + a brief explanation of the event topic and its relevance to ETAPS, + an explanation of the selection procedure of contributions to the event, the PC chair and members, if known already, information about past editions of the event, if applicable, + any other relevant information, like a special event format, invited speakers, demo sessions, special space requirements, etc., + a tentative schedule for paper submission, notification of acceptance and final versions for the (informal pre-)proceedings (the ETAPS 2016 organizing committee will need the final files by March 12, 2016), + the plans for formal publication (no formal publication, formal proceedings ready by the event, formal post-proceedings, publication venue - EPTCS or elsewhere). The proposals will be evaluated by the ETAPS 2016 organizing committee on the basis of their assessed benefit for prospective participants of ETAPS 2016. Prospective organizers may wish to consult the web pages of previous satellite events as examples: ETAPS 2015: http://www.etaps.org/2015/workshops ETAPS 2014: http://www.etaps.org/2014/workshops ETAPS 2013: http://www.etaps.org/2013/workshops ETAPS 2012: http://www.etaps.org/2012/workshops -- IMPORTANT DATES -- Satellite event proposals deadline: March 29, 2015. Notification of acceptance: April 2, 2015. -- VENUE -- ETAPS 2016 will take place at the Campus of the Eindhoven University of Technology. Eindhoven, located in the south of the Netherlands, has a small international airport, Eindhoven Airport, with direct connections to various destinations in Europe. The main airport of the Netherlands is the Amsterdam Airport, Schiphol. Schiphol has a direct train connection to Eindhoven. -- FURTHER INFORMATION AND ENQUIRIES -- Please contact the workshop co-chairs, Julien Schmaltz, j.schmaltz(a)tue.nl, and Erik de Vink, e.p.d.vink(a)tue.nl.

1 0

7 PhD studentships in Nottingham
by Graham Hutton 24 Feb '15

24 Feb '15

Dear all, The School of Computer Science in Nottingham is advertising 7 fully-funded PhD studentships for "home" students (or EU students who have been ordinarily resident in the UK for 3 years prior to the start of the programme). Applicants in the area of the Functional Programming lab (fp.cs.nott.ac.uk) are encouraged! If you are interested in applying, please contact a potential supervisor in the FP lab prior to submitting your application: Venanzio Capretta - type theory, mathematical logic, corecursive structures, proof assistants, dependently-typed programming. Henrik Nilsson - functional reactive programming, modelling and simulation, domain-specific languages, probabilistic languages. Thorsten Altenkirch and Graham Hutton - not planning to take on any further new PhD students this year. Best wishes, Graham +-----------------------------------------------------------+ 7 Fully-Funded PhD Studentships School of Computer Science University of Nottingham, UK http://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI1433 Applications are invited for up to 7 fully-funded PhD studentships for "home" students (or EU students who have been ordinarily resident in the UK for 3 years prior to the start of the programme) in the School of Computer Science at the University of Nottingham, starting on 1st October 2015. The topics for the studentships are open, but should relate to the interests of one of the School's research groups: Agents Lab; Automated Scheduling, Optimisation and Planning; Computer Vision Lab; Functional Programming Lab; Intelligent Modelling and Analysis; Mixed Reality Lab; Networked Systems. The studentships are for three years, include a stipend of Â£13,863 per year and tuition fees, and are available to students who qualify as "home" applicants in terms of their fee status. Applicants are normally expected to have a first-class Masters or Bachelors degree in Computer Science or a related discipline, and must obtain the support of a potential supervisor in the School prior to submitting their application. Initial contact with supervisors should be made at least two weeks prior to the closing date for applications. Applications should be submitted via the postgraduate applications website: http://www.nottingham.ac.uk/pgstudy/apply/apply-online.aspx. As part of your personal statement, please include an outline research proposal (max 1 page). Informal enquiries may be addressed to Christine.Fletcher(a)nottingham.ac.uk. Closing date for applications: Tuesday 31st March 2015 +-----------------------------------------------------------+ 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 send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.

1 0