- Haskell - Haskell.org

ANNOUNCE: graphviz 2999.19.0.0
by Ivan Lazar Miljenovic 03 May '17

03 May '17

I've just released a new version of my Haskell bindings to the Graphviz graph visualisation toolkit. Note that the major version bump is solely because I had to remove what I thought was a useful feature (trying to allow you to do things like `"a" --> ["b", "c", "d"]` in Monadic graphs by automagically converting the "a" into ["a"]) turned out not to work in practice (as people will typically use this with literal values, but when combined with OverloadedStrings results in GHC getting confused as to what the type is). So unless you actually managed to use this functionality, then the API remains the same as 2999.18.* and you should just be able to bump your upper versions in your .cabal files (which you all do, right)? -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com http://IvanMiljenovic.wordpress.com

1 0

Kernkonzept is hiring!
by Christiane Berndt 02 May '17

02 May '17

Dear all, [My excuses if see this email more than once] Kernkonzept seeks outstanding formal-methods experts to join their team in Dresden, Germany. Applicants should have a background in formal methods and software verification. Please visit http://kernkonzept.com/jobs.html for the concrete job descriptions. Kernkonzept is a small and friendly operating-systems engineering company that leverages the microkernel-based L4Re operating system for industrial use. The formal-methods engineers at Kernkonzept will have the task to prepare the safety and security certification of the L4Re system according to different international standards. If you are interested or have questions, please contact us at jobs(a)kernkonzept.com. Kind regards, Christiane Berndt -- christiane.berndt(a)kernkonzept.com - Tel. 0351-41 888 615 http://www.kernkonzept.com Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. Geschäftsführer: Dr.-Ing. Michael Hohmuth

1 0

[ANNOUNCE] Openings for Haskell developers at Standard Chartered
by Atze Dijkstra 02 May '17

02 May '17

Hi all, I am happy to let you know that there are various job openings at the Strats team at Standard Chartered. For further info please see the below - http://hauptwerk.blogspot.co.uk/2017/04/four-openings-for-haskell-developer… <http://hauptwerk.blogspot.co.uk/2017/04/four-openings-for-haskell-developer…> kind regards, Atze Dijkstra Standard Chartered

1 0

Haskell Symposium deadline in 3 weeks
by Iavor Diatchki 01 May '17

01 May '17

================================================================================ ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2017 Oxford, United Kingdom, 7--8 September 2017 https://www.haskell.org/haskell-symposium/2017/ ================================================================================ The ACM SIGPLAN Haskell Symposium 2017 will be co-located with the 2017 International Conference on Functional Programming (ICFP), in Oxford, United Kingdom. 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. * System Demonstrations, based on running software rather than novel research results. 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. Experience reports and functional pearls 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. System demonstrations 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. Submission Details ================== Early and Regular Track ----------------------- The Haskell Symposium uses a two-track submission process so that some papers can gain early feedback. Strong papers submitted to the early track are accepted outright, and the others will be given their reviews and invited to resubmit to the regular track. 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. Formatting ---------- Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Authors should use the `acmart` format, with the `sigplan` sub-format for ACM proceedings. For details, see: http://www.sigplan.org/Resources/Author/#acmart-format Functional pearls, experience reports, and demo proposals should be labelled clearly as such. Page Limits ----------- The length of submissions should not exceed the following limits: Regular paper: 12 pages Functional pearl: 12 pages Experience report: 6 pages Demo proposal: 2 pages There is no requirement that all pages are used. For example, a functional pearl may be much shorter than 12 pages. Deadlines --------- Early track: Submission deadline: 13 March 2017, Monday Notification: 01 May 2017, Monday Regular track and demos: Submission deadline: 22 May 2017, Monday Notification: 26 June 2017, Monday Deadlines are valid anywhere on Earth. Submission ---------- Submission should adhere to SIGPLAN's republication policy, as explained on the web. The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. Papers should be submitted through easychair at: https://easychair.org/conferences/?conf=haskell2017 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. Program Committee ================= Adam Gundry Well-Typed Ekaterina Komendantskaya University of Dundee Henrik Nilsson University of Nottingham Iavor Diatchki (chair) Galois J. Garrett Morris University of Edinburgh Joachim Breitner University of Pennsylvania Juriaan Hage Utrecht University Lennart Augustsson Facebook Martin Erwig Oregon State University Rebekah Leslie-Hurd Intel Takayuki Muranushi University of Kyoto Thomas Hallgren Chalmers University Ulf Norrell Chalmers University If you have questions, please contact the chair at: diatchki(a)galois.com ================================================================================

1 0

Final call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury
by Peter Achten 01 May '17

01 May '17

----------------------------- F I N A L C A L L F O R P A P E R S ----------------------------- ======== TFP 2017 =========== 18th Symposium on Trends in Functional Programming 19-21 June, 2017 University of Kent, Canterbury https://www.cs.kent.ac.uk/events/tfp17/index.html The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below). Authors of draft papers will be invited to submit revised papers based on the feedback receive at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. TFP 2017 will be the main event of a pair of functional programming events. TFP 2017 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on 22 June. The TFP symposium is the heir of the successful series of Scottish Functional Programming Workshops. Previous TFP symposia were held in * Edinburgh (Scotland) in 2003; * Munich (Germany) in 2004; * Tallinn (Estonia) in 2005; * Nottingham (UK) in 2006; * New York (USA) in 2007; * Nijmegen (The Netherlands) in 2008; * Komarno (Slovakia) in 2009; * Oklahoma (USA) in 2010; * Madrid (Spain) in 2011; * St. Andrews (UK) in 2012; * Provo (Utah, USA) in 2013; * Soesterberg (The Netherlands) in 2014; * Inria Sophia-Antipolis (France) in 2015; * and Maryland (USA) in 2016. For further general information about TFP please see the TFP homepage. (http://www.tifp.org/) == SCOPE == The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: Research Articles: leading-edge, previously unpublished research work Position Articles: on what new trends should or should not be Project Articles: descriptions of recently started new projects Evaluation Articles: what lessons can be drawn from a finished project Overview Articles: summarizing work with respect to a trendy subject Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to: Functional programming and multicore/manycore computing Functional programming in the cloud High performance functional computing Extra-functional (behavioural) properties of functional programs Dependently typed functional programming Validation and verification of functional programs Debugging and profiling for functional languages Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc. Interoperability with imperative programming languages Novel memory management techniques Program analysis and transformation techniques Empirical performance studies Abstract/virtual machines and compilers for functional languages (Embedded) domain specific languages New implementation strategies Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2017 program chairs, Scott Owens and Meng Wang. == BEST PAPER AWARDS == To reward excellent contributions, TFP awards a prize for the best paper accepted for the formal proceedings. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, that paper will then receive both prizes. == PAPER SUBMISSIONS == Acceptance of articles for presentation at the symposium is based on a lightweight peer review process of extended abstracts (4 to 10 pages in length) or full papers (20 pages). The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate which authors are research students, and whether the main author(s) are students. A draft paper for which ALL authors are students will receive additional feedback by one of the PC members shortly after the symposium has taken place. We use EasyChair for the refereeing process. Papers must be submitted at: https://easychair.org/conferences/?conf=tfp17 Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 == INVITED SPEAKERS == Conor McBride University of Strathclyde (UK) Cătălin Hriţcu INRIA Paris (FR) == IMPORTANT DATES == Submission of draft papers: 5 May, 2017 Notification: 12 May, 2017 Registration: 11 June, 2017 TFP Symposium: 19-21 June, 2017 Student papers feedback: 29 June, 2017 Submission for formal review: 2 August, 2017 Notification of acceptance: 3 November, 2017 Camera ready paper: 2 December, 2017 == PROGRAM COMMITTEE == Co-Chairs Meng Wang University of Kent (UK) Scott Owens University of Kent (UK) PC Jeremy Yallop University of Cambridge (UK) Nicolas Wu University of Bristol (UK) Laura Castro University of A Coruña (ES) Gabriel Scherer Northeastern University (US) Edwin Brady University of St Andrews (UK) Janis Voigtländer Radboud University Nijmegen (NL) Peter Achten Radboud University Nijmegen (NL) Tom Schrijvers KU Leuven (BE) Matthew Fluet Rochester Institute of Technology (US) Mauro Jaskelioff CIFASIS/Universidad Nacional de Rosario (AG) Patricia Johann Appalachian State University (US) Bruno Oliveira The University of Hong Kong (HK) Rita Loogen Philipps-Universität Marburg (GE) David Van Horn University of Marylan (US) Soichiro Hidaka Hosei University (JP) Michał Pałka Chalmers University of Technology (SE) Sandrine Blazy University of Rennes 1 - IRISA (FR)

1 0

Deadline Extension: International Workshop on OCL and Textual Modeling (OCL 2017)
by Achim D. Brucker 29 Apr '17

29 Apr '17

(Apologies for duplicates) New Deadline: May 7, 2017 CALL FOR PAPERS 17th International Workshop on OCL and Textual Modeling Co-located with STAF 2017 SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS July 20, 2017, Marburg, Germany http://oclworkshop.github.io Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but they have weaknesses: for example, detailed visual representations bear the risk of becoming overcrowded faster than textual models and some of the visual features lack the level of precision required to create complete and unambiguous specifications. These weaknesses of graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. ## Topics of interest Topics of interest include (but are not limited to): - Mappings between textual modeling languages and other languages/formalisms - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for: - validation, verification, and testing, - model transformation and code generation, - meta-modeling and DSLs, and - query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports: - usage of textual modeling languages and tools in complex domains, - usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks This year, we particularly encourage submissions describing applications and case studies of textual modeling as well as test suites and benchmark collections for evaluating textual modeling tools. ## Venue This workshop will be organized as a part of STAF 2017 Conferenze in Marburg, Germany. It was previously organized as part of the MODELS conference. Similar to its predecessors , the workshop addresses both people from academia and industry . The aim is to provide a forum for addressing integration of OCL and other textual modeling languages , as well as tools for textual modeling , and for disseminating good practice and discussing the new requirements for textual modeling . ## Workshop Format The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. ## Submissions Two types of papers will be considered: * Short contributions (between 6 and 8 pages) describing new ideas, innovative tools or position papers. * Full papers (between 12 and 16 pages). in LNCS format. Submissions should be uploaded to [EasyChair](https://easychair.org/conferences/?conf=ocl2017). The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online in a post-conference edition of [CEUR](http://www.ceur-ws.org). ## Important Dates - Submission of papers: May 7, 2017 (extended) - Notification: May 25, 2017 - Workshop date: July 20, 2017 -- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking

1 0

ANN: wxHaskell 0.92.3.0
by Henk-Jan van Tuyl 28 Apr '17

28 Apr '17

L.S., I am happy to announce a new version of wxHaskell: 0.92.3.0 Windows users can still use wxInstall Achelanne 0.1 to install this new version of wxHaskell.[0][1] Changes in wxHaskell since 0.92.2: - Improvements for compilation on BSD platform - Improved commandline handling - Sample program PaintGC.hs added - Compilation can now be done with an alternative wx-config.exe - Simplification of Windows build process with Stack - Several bugs solved Thanks to everyone who contributed! What is wxHaskell? ------------------ wxHaskell[2] is a portable and native GUI library for Haskell. The goal of the project is to provide an industrial strength GUI library for Haskell, but without the burden of developing (and maintaining) one ourselves. wxHaskell is therefore built on top of wxWidgets[3] – a comprehensive C++ library that is portable across all major GUI platforms; including GTK, Windows, X11, and MacOS X. Furthermore, it is a mature library (in development since 1992) that supports a wide range of widgets with the native look-and-feel. Links ----- See the homepage of wxHaskell for more information: https://wiki.haskell.org/WxHaskell Repository: https://github.com/wxHaskell/wxHaskell Tickets: https://sourceforge.net/p/wxhaskell/_list/tickets The packages are: - wxc https://hackage.haskell.org/package/wxc - wxdirect https://hackage.haskell.org/package/wxdirect - wxcore https://hackage.haskell.org/package/wxcore - wx https://hackage.haskell.org/package/wx Regards, Henk-Jan van Tuyl [0] http://sourceforge.net/projects/wxhaskell/files/wxInstall/ [1] https://wiki.haskell.org/WxHaskell/Windows#Installing_the_easy_way [2] https://wiki.haskell.org/WxHaskell [3] https://wxwidgets.org/ -- Folding@home What if you could share your unused computer power to help find a cure? In just 5 minutes you can join the world's biggest networked computer and get us closer sooner. Watch the video. http://folding.stanford.edu/ http://Van.Tuyl.eu/ http://members.chello.nl/hjgtuyl/tourdemonad.html Haskell programming --

1 0

CFP: ACM MobiWac 2017, Miami Beach, USA
by Robson De Grande 28 Apr '17

28 Apr '17

** We apologize if you receive multiple copies of this message ** ================================================================== The 15th ACM International Symposium on Mobility Management and Wireless Access (MobiWac 2017) November 21 - 25, 2017 - Miami Beach, USA http://mobiwac-symposium.org/ ================================================================== IMPORTANT: Submission deadline: June 30th 2017 ================================================================== NOTE: The best papers accepted in MOBIWac'17 will be selected for a fast track in Elsevier Computer Communications Journal. ================================================================== The 15th ACM International Symposium on Mobility Management and Wireless Access (MobiWac 2017) will be held in conjunction with MSWiM 2017 (the 20th ACM International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems) from November 21 to 25, 2017 in Miami Beach, USA. The MOBIWAC series of events are intended to provide an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, students, and systems developers on issues and challenges related to mobility management and wireless access protocols. To keep up with the technological developments, we also open up new areas such as mobile cloud computing starting from this year. Authors are encouraged to submit both theoretical and practical results of significance on all aspects of wireless and mobile access technologies, with an emphasis on mobility management and wireless access. Authors are invited to submit full papers describing original research. Submitted papers must neither have been published elsewhere nor currently be under review by another conference or journal. TOPICS OF INTEREST include, but are not limited to: - Mobile Cloud Computing - Wireless/Mobile Access Protocols - Wireless/Mobile Web Access - Wireless Internet and All-IP integration - Next Generation Wireless systems - Mobile Broadband Wireless Access - Pervasive Communication and Computing - Ubiquitous and mobile access - Wireless Applications and testbeds - Multi-Homing and Vertical Handoff - Multi-Channel Multi-Radio MAC / network layer management - Channels and resource allocation algorithms - Energy and power management algorithms - Mobility Models - Multi-technology switching using Software Defined Radios - Context-aware services and applications - Context-aware protocols and protocol architectures - Interactive applications - Mobile database management - Wireless Multimedia Protocols - Mobile and Wireless Entertainment - Mobile Info-services - Social mobile networks - Social mobile applications - Data analysis for mobile and wireless networks - SDN solutions in mobile and wireless networks - QoS management - Mobility Control and Management - Localization and tracking - Mobile/Vehicular environment access - Wireless ad hoc and sensor networks - Security,Trust management and Privacy issues - Fault Tolerance solutions - Wireless Systems' Design - Analysis/Simulation of wireless mobile systems - Testbeds for experimental and simulation analysis ORGANIZING COMMITTEE: General Chair Ángel Cuevas, Universidad Carlos III de Madrid, Spain Program Chairs Robson De Grande, University of Ottawa, Canada Amir Darehshoorzadeh, CISCO, Canada Posters/Demo Chair Graciela Román Alonso, Universidad Autónoma Metropolitana, Mexico Publicity Chairs Khalil El-Khatib, UOIT, Canada Mirela. A. M. Notare, Sao Jose Municipal University, Brazil ========================= Paper Submission, Publication, and Important Dates: High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the Symposium. The symposium will have a single track for regular papers and in addition, a separate interwoven track with short papers / posters. Paper length must be no more than 10 pages, double column, ACM style including tables and figures. Note that the regular paper size will be 8 pages, with the possibility to obtain up to 2 additional pages (total 10 pages) by paying a publication fee. Only PDF format is accepted. All accepted papers will appear in the Symposium proceedings published by ACM press. - Paper registration due: June 30, 2017 (11:59PM EST) - Submission Deadline: June 30, 2017 (11:59PM EST) - Notification of Acceptance: July 30, 2017 (11:59PM EST) Papers are submitted via the EDAS system (https://edas.info/N23669) For any question or problems related to MobiWac 2017 submissions, please contact the PC Chairs. FOR MORE INFORMATION about the conference, organizing committee, submission instructions, and venue please see the conference website (http://mobiwac-symposium.org)

1 0

Call for participation: TYPES 2017. Registration is open
by Ambrus Kaposi 28 Apr '17

28 Apr '17

* registration is open * invited talks: Sara Negri, Edwin Brady, Jakob Rehof * 51 contributed talks CALL FOR PARTICIPATION 23rd International Conference on Types for Proofs and Programs, TYPES 2017 and EUTYPES Cost Action CA15123 meeting Budapest, Hungary, 29 May - 1 June 2017 http://types2017.elte.hu 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 formalised and computer assisted reasoning and computer programming. 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. FINANCIAL SUPPORT The first two days of TYPES 2017, May 29 - 30 are organised by EUTypes Cost Action CA15123 (https://eutypes.cs.ru.nl) On May 30 there will be an EUTypes Management Committee (MC) meeting, and on both days there will be WG meetings. This means that members of the EUTypes MC will be invited for these 2 days through the e-cost system, and their cost of travel and stay will be covered. There will likely be some funding for a limited number of other invited speakers. The funding is subject to COST rules, and invitations will be sent out via the e-cost system after the 1st of May. INVITED SPEAKERS * Edwin Brady (University of St Andrews): An Architecture for Dependently Typed Applications in Idris * Sara Negri (University of Helsinki): TBA * Jakob Rehof (TU Dortmund): Bounding Principles for Decision Problems with Intersection Types CONTRIBUTED TALKS 51 talks were accepted, see http://types2017.elte.hu/#accepted for the list of accepted papers and http://types2017.elte.hu/#programme for the programme. REGISTRATION Registration is open: http://types2017.elte.hu/#registration The early bird fee is 250 EUR + 30 EUR for the excursion (optional). Please register for the excursion because it is a great opportunity for discussion of research ideas in a relaxed environment and for general networking. For students, the early bird registration fee is 200 EUR. VENUE Budapest is the capital of Hungary with around two million inhabitants. The conference will be held at Eötvös Loránd University. Among the graduates of this university were John von Neumann and Paul Erdos. The conference dinner will take place during a boat cruise on the river Danube which separates the Buda and Pest parts of the city. PROGRAMME COMMITTEE * Andreas Abel (Chalmers University Gothenburg) * Thorsten Altenkirch (University of Nottingham) * José Espirito Santo (University of Minho) * Fredrik Nordvall Forsberg (University of Strathclyde) * Silvia Ghilezan (University of Novi Sad) * Hugo Herbelin (INRIA Paris-Rocquencourt) * Martin Hofmann (Ludwig Maximilian University of Munich) * Ambrus Kaposi (Eötvös Loránd University) (co-chair) * Tamás Kozsik (Eötvös Loránd University) (co-chair) * Assia Mahboubi (INRIA) * Alexandre Miquel (University of the Republic, Uruguay) * Leonardo de Moura (Microsoft Research, Redmond, USA) * Keiko Nakata (SAP, Potsdam) * Andrew Polonsky (University Paris Diderot) * Simona Ronchi Della Rocca (Università di Torino) * Aleksy Schubert (University of Warsaw) * Wouter Swierstra (Utrecht University) * Tarmo Uustalu (Tallinn University of Technology) CONTACT Email: info(a)types2017.elte.hu Organisers: Ambrus Kaposi, Tamás Kozsik, András Kovács and the Department of Programming Languages and Compilers at the Faculty of Informatics, Eötvös Loránd University, Budapest.

1 0

ANN: stego-uuid-1.0.0.0
by Dimitri DeFigueiredo 28 Apr '17

28 Apr '17

Hello All, I have published the first version of stego-uuid. https://hackage.haskell.org/package/stego-uuid-1.0.0.0 stego-uuid allows one to secretly mark 128-bit UUIDs. When created from a random 64-bit number, the whole 128-bit UUID will look random to everyone, except those who know the secret detection key. For more details and usage examples, please refer to the documentation on hackage. Regards, Dimitri -- 2E45 D376 A744 C671 5100 A261 210B 8461 0FB0 CA1F

1 0