May 2012 - Haskell - Haskell.org

ANNOUNCE: ioctl 0.0.1
by Maciej Piechotka 13 Sep '15

13 Sep '15

A package for type-safe I/O control. Currently only ioctl is supported. Currently simply a extract from my tuntap fork TODO: - Return the integer as well as structure (will break the API) - Port for Windows Network.Socket.IOCtl (as soon as I manage to setup some sane environment on this platform) - Wrapping around DeviceIoControl Example (in hsc): data NotRead = NotRead instance NotRead Int where ioctlReq _ = #const FIONREAD notRead s = ioctlsocket' s NotRead Regards

2 1

CFP: Term and Graph rewriting, special issue of MSCS
by Rachid Echahed 13 Feb '14

13 Feb '14

-------------------------------------------------------------------------- First Call for Papers Special Issue of Mathematical Structures in Computer Science (MSCS) on "TERM and GRAPH Rewriting" -------------------------------------------------------------------------- Scope -------------------------------------------------------------------------- Rewriting techniques constitute a foundational theory of computing science. They are being investigated for several structures such as lambda-terms, first-order terms or graphs and have been successfully used in many areas such as programming languages, automated reasoning, program verification, security, etc. This is witnessed by the leading international events ICGT, RTA or TLCA among others. During the last decade, a particular interest has been devoted to the study of the impact of shared structures in term and graph rewriting through the international editions of TERMGRAPH series of workshops. Sharing is indeed ubiquitous in several research areas, for instance: the modelling of first- and higher-order term rewriting by (acyclic or cyclic) graph rewriting, the modelling of biological or chemical abstract machines, the implementation techniques of programming languages. Term and graph rewriting are also used in automated theorem proving and symbolic computation systems working on shared structures... This special issue is devoted to recent developments in all aspects of TERM and GRAPH rewriting. This includes (but is not limited to): term rewriting, graph transformation, proof methods, programming languages, infinitary rewriting, rewrite strategies, semantics, properties of rewriting ... -------------------------------------------------------------------------- Submissions -------------------------------------------------------------------------- Submitted papers must be original and not submitted for publication elsewhere, and will be subject to the standard journal refereeing process of the Mathematical Structures in Computer Science (MSCS) journal. Submissions should be in pdf format following the MSCS instruction for contributors (http://assets.cambridge.org/MSC/MSC_ifc.pdf) and should be submitted electronically via the following easy-chair web site: https://www.easychair.org/conferences/?conf=mscsrewriting2012 -------------------------------------------------------------------------- Important Dates -------------------------------------------------------------------------- January 20, 2012 : Abstract submission February 20, 2012: Paper submission June 15, 2012 : Notification of acceptance -------------------------------------------------------------------------- Guest Editor: -------------------------------------------------------------------------- Rachid Echahed, CNRS LIG Lab., Grenoble, France echahed(a)imag.fr --------------------------------------------------------------------------

1 8

Re: [Haskell] (no subject)
by Alexander Kantardjiev 31 May '12

31 May '12

wow look into this http://www.stenews.net/biz/?read=3610300

1 0

Haskell Weekly News: Issue 229
by Daniel Santa Cruz 31 May '12

31 May '12

Welcome to issue 229 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of May 20 to 26, 2012. Quotes of the Week * Peaker: Harrop taught me that I am a team of experts * applicative: Even if no one else understands me, still, the Glasgow Haskell Compiler understands me * JoeyA: Answers in #haskell are automatically sorted by readability descending. * monochrom: monochromism is a graph morphism that maps graphs to 1-colorable graphs :) * sipa: can we write a TutorialMonad t ? which is used to build and combine monad tutorials? Top Reddit Stories * my Haskell project was 100% funded on Kickstarter Domain: self.haskell, Score: 125, Comments: 22 On Reddit: [1] http://goo.gl/E2wkY Original: [2] http://goo.gl/E2wkY * Building intuition for monads, without mentioning monads (Ertugrul Söylemez) Domain: haskell.org, Score: 56, Comments: 32 On Reddit: [3] http://goo.gl/2leRd Original: [4] http://goo.gl/kMbJR * A gamified tutorial on the sequent calculus Domain: logitext.ezyang.scripts.mit.edu, Score: 51, Comments: 23 On Reddit: [5] http://goo.gl/tD8fZ Original: [6] http://goo.gl/E6zBl * pipes 2.0 - Pipe Finalization Domain: haskellforall.com, Score: 45, Comments: 32 On Reddit: [7] http://goo.gl/boq03 Original: [8] http://goo.gl/AABwV * Haste: Haskell to Javascript Compiler Domain: github.com, Score: 40, Comments: 45 On Reddit: [9] http://goo.gl/sJCcJ Original: [10] http://goo.gl/ZhYbP * Monad Reification in Haskell and the Sunroof Javascript compiler Domain: ittc.ku.edu, Score: 37, Comments: 26 On Reddit: [11] http://goo.gl/LVSVO Original: [12] http://goo.gl/s0PVp * HaskSymb, An Experiment in Haskell Symbolic Algebra. Feedback appreciated! Domain: github.com, Score: 36, Comments: 34 On Reddit: [13] http://goo.gl/d6Xo8 Original: [14] http://goo.gl/TUiJt * Using Ragel, Clang, LLVM and GHC to produce really fast stockmarket data parsers Domain: breaks.for.alienz.org, Score: 35, Comments: 8 On Reddit: [15] http://goo.gl/qEmKb Original: [16] http://goo.gl/ABzsA * Looks like Bryan finished importing Cabal issues to Github — thanks! Domain: github.com, Score: 32, Comments: 6 On Reddit: [17] http://goo.gl/9O8Sa Original: [18] http://goo.gl/bWrLg * What if haskellwiki were run by a Haskell wiki? Domain: haskellwiki.gitit.net, Score: 29, Comments: 14 On Reddit: [19] http://goo.gl/713Yb Original: [20] http://goo.gl/chSPM * New release of Elm available. Looking for feedback on the language so far. Domain: self.haskell, Score: 24, Comments: 21 On Reddit: [21] http://goo.gl/ejS9p Original: [22] http://goo.gl/ejS9p * Generics and Protocol Buffers Domain: breaks.for.alienz.org, Score: 17, Comments: On Reddit: [23] http://goo.gl/z0obj Original: [24] http://goo.gl/R5b3l Top StackOverflow Questions * What's the theoretical basis for existential types? votes: 32, answers: 3 Read on SO: [25] http://goo.gl/ZdAJb * How can a gc find out about object references done from the stack? votes: 20, answers: 4 Read on SO: [26] http://goo.gl/AtXUr * Why is GHC complaining about non-exhaustive patterns? votes: 14, answers: 3 Read on SO: [27] http://goo.gl/9oIsB * Evolving data structure votes: 13, answers: 2 Read on SO: [28] http://goo.gl/gbeLN * What makes a good name for a helper function? votes: 11, answers: 5 Read on SO: [29] http://goo.gl/b6B7o * Haskell “Apply”? [closed] votes: 11, answers: 3 Read on SO: [30] http://goo.gl/EBwsy * Round to nearest integer votes: 10, answers: 1 Read on SO: [31] http://goo.gl/1RaVk * Haskell: lazy versus eager evaluation for insertion sort votes: 6, answers: 1 Read on SO: [32] http://goo.gl/zGrie * Loss of polymorphism after pattern matching votes: 6, answers: 1 Read on SO: [33] http://goo.gl/YmA1y * Church-Rosser Theorem Example in a Functional Programming Language votes: 6, answers: 1 Read on SO: [34] http://goo.gl/FmSMh Until next time, Daniel Santa Cruz References 1. http://www.reddit.com/r/haskell/comments/u2vt5/my_haskell_project_was_100_f… 2. http://www.reddit.com/r/haskell/comments/u2vt5/my_haskell_project_was_100_f… 3. http://www.haskell.org/pipermail/haskell-cafe/2012-May/101338.html 4. http://www.reddit.com/r/haskell/comments/u04vp/building_intuition_for_monad… 5. http://logitext.ezyang.scripts.mit.edu/logitext.fcgi/tutorial 6. http://www.reddit.com/r/haskell/comments/tzp7f/a_gamified_tutorial_on_the_s… 7. http://www.haskellforall.com/2012/05/pipes-20-pipe-finalization.html 8. http://www.reddit.com/r/haskell/comments/txkb0/pipes_20_pipe_finalization/ 9. https://github.com/valderman/haste-compiler#haste 10. http://www.reddit.com/r/haskell/comments/tw997/haste_haskell_to_javascript_… 11. http://www.ittc.ku.edu/csdlblog/?p=88 12. http://www.reddit.com/r/haskell/comments/tvwn7/monad_reification_in_haskell… 13. https://github.com/colah/HaskSymb 14. http://www.reddit.com/r/haskell/comments/u1t8n/hasksymb_an_experiment_in_ha… 15. http://breaks.for.alienz.org/blog/2012/02/09/parsing-market-data-feeds-with… 16. http://www.reddit.com/r/haskell/comments/txfhq/using_ragel_clang_llvm_and_g… 17. https://github.com/haskell/cabal/issues 18. http://www.reddit.com/r/haskell/comments/u2faj/looks_like_bryan_finished_im… 19. http://haskellwiki.gitit.net/ 20. http://www.reddit.com/r/haskell/comments/txn1p/what_if_haskellwiki_were_run… 21. http://www.reddit.com/r/haskell/comments/u69wo/new_release_of_elm_available… 22. http://www.reddit.com/r/haskell/comments/u69wo/new_release_of_elm_available… 23. http://breaks.for.alienz.org/blog/2012/05/20/generics-and-protocol-buffers/ 24. http://www.reddit.com/r/haskell/comments/tw6dq/generics_and_protocol_buffer… 25. http://stackoverflow.com/questions/10753073/whats-the-theoretical-basis-for… 26. http://stackoverflow.com/questions/10710603/how-can-a-gc-find-out-about-obj… 27. http://stackoverflow.com/questions/10699532/why-is-ghc-complaining-about-no… 28. http://stackoverflow.com/questions/10761583/evolving-data-structure 29. http://stackoverflow.com/questions/10740515/what-makes-a-good-name-for-a-he… 30. http://stackoverflow.com/questions/10767407/haskell-apply 31. http://stackoverflow.com/questions/10738569/round-to-nearest-integer 32. http://stackoverflow.com/questions/10681507/haskell-lazy-versus-eager-evalu… 33. http://stackoverflow.com/questions/10728897/loss-of-polymorphism-after-patt… 34. http://stackoverflow.com/questions/10728997/church-rosser-theorem-example-i…

1 0

FHPC 2012: Workshop on Functional High Performance Computing
by Clemens Grelck 30 May '12

30 May '12

======================================================================== CALL FOR PAPERS FHPC 2012 ACM SIGPLAN Workshop on Functional High Performance Computing Copenhagen, Denmark September 15th, 2012 http://www.hiperfit.dk/fhpc12/ Co-located with the International Conference on Functional Programming (ICFP 2012) ======================================================================== The FHPC workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative, high-level) programming technology in application domains where large-scale computations arise naturally and high performance is essential. Such computations would typically -- but not necessarily -- involve execution on highly parallel systems ranging from multi-core multi-processor systems to graphics accelerators (GPGPUs), reconfigurable hardware (FPGAs), large-scale compute clusters or any combination thereof. It is becoming apparent that radically new and well founded methodologies for programming such systems are required to address their inherent complexity and to reconcile execution performance with programming productivity. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as highly transparent, maintainable, and portable code that approaches (or even exceeds) the performance of machine-oriented imperative implementations. The 2012 FHPC workshop comes with a particular theme motivated by geographic co-location with the newly established HIPERFIT Research Centre for Functional High-Performance Computing for Financial Information Technology (www.hiperfit.dk) at the University of Copenhagen. Hence, we particularly encourage submissions with a background in computational finance. Notwithstanding, the workshop welcomes submissions from other application domains as much as general-purpose work on the theory and practice of declarative approaches to high-performance computing. Proceedings: ============ Accepted papers will be published by the ACM and will appear in the ACM Digital Library. * Submission Deadline: 10th June 2012, anywhere on earth * Author Notification: 27th June 2012 * Final Papers Due : 10th July 2012 Submitted papers must be in portable document format (PDF), formatted according to the ACM SIGPLAN style guidelines (double column, 9pt format). See http://www.sigplan.org/authorInformation.htm for more information and style files. The page limit is 12 pages. Submission deadlines and page limit are firm. Any paper submitted must adhere to ACM SIGPLAN's republication policy (http://www.sigplan.org/republicationpolicy.htm) 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 programme, see its web page (http://www.sigplan.org/PAC.htm) Programme Committee: ============================== Marco Aldinucci University of Torino, Italy Manuel Chakravarty University of New South Wales, Australia Andrzej Filinski University of Copenhagen, Denmark (chair) Clemens Grelck University of Amsterdam, Netherlands (chair) Gaetan Hains University of Paris Est, France Zhenjiang Hu National Institute of Informatics, Japan Mike Giles Oxford University, UK Neal Glew Intel, USA Ryan Newton University of Indiana, USA Satnam Singh Google, USA Phil Trinder Heriot-Watt University, UK Viktoria Zsok Eotvos Lorand University Budapest, Hungary Workshop Organizers: ==================== Andrzej Filinski Clemens Grelck DIKU Informatics Institute University of Copenhagen University of Amsterdam Universitetsparken 1 Science Park 904 2100 Copenhagen 1098XH Amsterdam Denmark Netherlands andrzej(a)diku.dk c.grelck(a)uva.nl -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 www.science.uva.nl/~grelck ----------------------------------------------------------------------

1 0

2nd CfP: IEEE Software Engineering Workshop (SEW-35), Heraclion, Crete, 12-13 October 2012
by Huibiao Zhu 30 May '12

30 May '12

IEEE Software Engineering Workshop (SEW-35) 12-13 October 2012 Heraclion, Crete, Greece http://www.seworkshop.org Co-located with 5th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2012) http://www.cs.uni-potsdam.de/isola/isola2012/ Sponsored by IEEE Computer Society, Technical Council on Software Engineering (pending). Background The 35th IEEE Software Engineering Workshop, the longest continually running Software Engineering event in the world, will be held in Heraclion, Crete, collocated with ISoLA 2012. Scope The workshop aims to bring together all those with an interest in software engineering. Traditionally, the conference attracts industrial and government practitioners and academics pursuing the advancement of software engineering principles and techniques. The workshop provides a forum for reporting on past experiences, for describing new and emerging results and techniques, and for exchanging ideas on best practice and future directions. Topics of interest include, but are not limited to: * Metrics and experience reports * Software quality assurance * Formal methods and formal approaches to software development * Software engineering processes and process improvement * CMM and CMMI * Requirements engineering * Software architectures * Real-time Software Engineering * Software maintenance, reuse, and legacy systems * Agent-based software systems * Self-managing systems Submissions Long papers (maximum 10 pages in IEEE format) and short industrial/governmental experience reports (maximum 5 pages in IEEE format) are sought for inclusion in the conference program and publication in the postproceedings, which will be published by IEEE CS Press (see http://www.ieee.org/conferences_events/conferences/publishing/templates.html for paper formatting instructions). All submissions will be reviewed for originality, relevance, and technical detail. At least one author per paper will be required to register and present at the workshop. Papers not presented will not be included in the proceedings. All submissions must be made in electronic format (.doc, .pdf, or .ps formats only), via the conference electronic submission site at: http://www.easychair.org/conferences/?conf=sew35 Publication All accepted papers will be published in the conference post proceedings, to be published by IEEE CS Press. Some authors will also be invited to submit a revised version of their paper for inclusion in Innovations in Systems and Software Engineering: A NASA Journal (Springer). Important Dates 8 June 2012 Long and short papers due 31 July 2012 Notification to authors 12-13 October 2012 SEW in Crete 12 December 2012 Final papers due for post-proceedings Enquiries Any program inquiries should be directed by email to the Programme Co-chairs: Jonathan Bowen, London South Bank University/Museophile Limited, UK jonathan.bowen(a)lsbu.ac.uk Huibiao Zhu, East China Normal University, Shanghai, China hbzhu(a)sei.ecnu.edu.cn Any general inquiries should be directed by email to the Workshop Chair: Mike Hinchey, Lero, University of Limerick, Republic of Ireland mike.hinchey(a)lero.ie For faster responses, please include "SEW" in the subject line.

1 0

Haskell Symposium paper registration
by Janis Voigtländer 30 May '12

30 May '12

As a quick reminder: if you have a submission for the Haskell Symposium (due this weekend, whatever paper category), it should be pre-registered (by uploading a short plain text abstract, up to 200 words) by tomorrow. https://www.easychair.org/account/signin.cgi?conf=haskell2012 Looking forward to your contributions! Best, Janis. -- Jun.-Prof. Dr. Janis Voigtländer http://www.iai.uni-bonn.de/~jv/

1 0

Call for Participation: TFP12, Trends in Functional Programming 2012, St Andrews, U.K., June 12-14, 2012
by Hans-Wolfgang Loidl 29 May '12

29 May '12

CALL FOR PARTICIPATION 13th International Symposium Trends in Functional Programming 2012 St Andrews, U.K. June 12-14, 2012 TFP12: http://www-fp.cs.st-andrews.ac.uk/tifp/TFP2012/TFP_2012/Home.html Programme: http://www-fp.cs.st-andrews.ac.uk/tifp/TFP2012/TFP_2012/TFP12_prg.txt Registration: http://tinyurl.com/7y5gpxc 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), described in draft papers submitted prior to the symposium. A formal post-symposium refereeing process then selects a subset of the articles presented at the symposium and submitted for formal publication. Selected papers will be published as a Springer Lecture Notes in Computer Science (LNCS: http://www.springer.com/lncs) volume. TFP 2012 will be the main event of a week of functional programming extravaganza at the University of St Andrews. The week will start with the International Workshop on Trends in Functional Programming in Education, followed by TFP, followed by a workshop on 75 years of Lambda Calculus, an Erlang day, and a technical workshop on Patterns for MultiCores (ParaPhrase/Release projects). 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, in Munich (Germany) in 2004, in Tallinn (Estonia) in 2005, in Nottingham (UK) in 2006, in New York (USA) in 2007, in Nijmegen (The Netherlands) in 2008, in Komarno (Slovakia) in 2009, in Oklahoma (USA) in 2010, and in Madrid (Spain) in 2011. For further general information about TFP please see the TFP homepage at http://www.tifp.org/. Important dates (2012): TFP 2012 Symposium: June 12-14th Student papers feedback: June 22nd Submission for formal review: July 9th Notification of acceptance for LNCS: September 17th Camera ready paper: October 15th REGISTRATION Registration for TFP12, as well as the adjoined workshops, is handled through the on-line registration page below. Note that for guaranteed on-site accommodation, registration must be completed by the early registration deadline of April 11th, 2012. http://onlineshop.st-andrews.ac.uk/browse/product.asp?catid=34&modid=2&comp… TFP 2012 ORGANIZATION Steering Committee Chair: Marko van Eekelen, Radboud University Nijmegen and Open University, NL Steering Committee Treasurer: Hans-Wolfgang Loidl, Heriot-Watt University, UK Symposium Organization Chair: Kevin Hammond, University of St. Andrews, UK Local Arrangements: Edwin Brady, Vladimir Janjic, University of St. Andrews, UK TFP 2012 PROGRAMME COMMITTEE Peter Achten, Radboud University Nijmegen, The Netherlands Jost Berthold, University of Copenhagen, Denmark Edwin Brady, University of St. Andrews, U.K. Matthias Blume, Google, U.S.A. Clemens Grelck, University of Amsterdam, The Netherlands Kevin Hammond, University of St. Andrews, U.K. Graham Hutton, University of Nottingham, U.K Patricia Johann, University of Strathclyde, U.K. Hans-Wolfgang Loidl (PC Chair), Heriot-Watt University, U.K. Jay McCarthy, Brigham Young University, Utah, U.S.A. Rex Page, University of Oklahoma, U.S.A. Ricardo Peña, Complutense University of Madrid, Spain Kostis Sagonas, Uppsala University, Sweden Manuel Serrano, INRIA Sophia Antipolis, France Mary Sheeran, Chalmers, Sweden Nikhil Swamy, Microsoft Research, Redmond, U.S.A. Phil Trinder, Heriot-Watt University, U.K. Wim A Vanderbauwhede, University of Glasgow, U.K. Marko van Eekelen, Radboud University Nijmegen, The Netherlands David Van Horn, Northeastern University, U.S.A. Malcolm Wallace, Standard Chartered, U.K. Viktória Zsók, Eötvös Loránd University, Hungary SPONSORS TFP 2012 is sponsored by Erlang Solutions Ltd. and the Scottish Informatics and Computer Science Alliance (SICSA). INVITED SPEAKER In this instance of TFP, an invited talk will be given by David A Turner, Professor emeritus at Middlesex University and at the University of Kent, inventor of Miranda, KRC and SASL. Prof Turner will be talking on the history of lazy functional programming languages. LINKS Main TFP12 page: http://www.tifp.org/TFP12.html TFP home page: http://www.tifp.org/ Submission page: https://www.easychair.org/conferences/?conf=tfp12 Latex style files: ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip Registration page: http://onlineshop.st-andrews.ac.uk/browse/product.asp?catid=34&modid=2&comp… Facebook page: http://www.facebook.com/pages/TFP-Symposium-Series-on-Trends-in-Functional-… -- Hans-Wolfgang Loidl Room: G48 Tel: +44 131 451 3421 Fax: +44 131 451 3327 E-Mail: H.W.Loidl(a)hw.ac.uk Skype: hwloidl URL: http://www.macs.hw.ac.uk/~hwloidl School of Mathematical and Computer Sciences, Heriot-Watt University, Riccarton, Edinburgh EH14 4AS Scotland, U.K.

1 0

ANN: hledger 0.18
by Simon Michael 29 May '12

29 May '12

I'm pleased to announce version 0.18 of hledger! hledger (http://hledger.org) is a haskell library, command-line tool and web application for working with financial data (or anything that can be tracked numerically in an accounting journal). It is inspired by and compatible with John Wiegley's Ledger. hledger reads a plain text file describing transactions and lets you query account balances or transaction details by various criteria. It can also help you record new transactions, or convert CSV data from your bank. Release notes (http://hledger.org/NEWS.html) * web: hledger-web is now based on yesod 1.0 * web: fix js error breaking second use of add form (#72) * web: make `yesod devel` work * the command-line now supports a more powerful query language, consistent with the web UI * hledger now fully supports tags (aka metadata) on both transactions and postings, and querying by tag or tag value * new commands `incomestatement`, `balancesheet`, and `cashflow` provide basic financial statements under certain conditions * format conversion is now done on demand, and the convert command has been dropped. So instead of `hledger convert FILE.csv` just do `hledger -f FILE.csv print` or any other command. You can also pipe any supported format into `hledger -f- CMD` and hledger will try to do the right thing. * support for GHC 6.12 has been dropped; this release has been tested with GHC 7.0.4, 7.2.2, and 7.4.1 * unicode is now handled properly on all supported GHC versions * extensive API, test and internal cleanups Stats: - Release contributors: Simon Michael, xiaoruoruo - 87 days, 155 commits, 6 end-user features and 3 end-user bug fixes since last major release - 216 unit & functional tests (hledger-lib & hledger) - 7836 lines of code (hledger-lib, hledger & hledger-web) Install it: cabal update; cabal install hledger [hledger-web] If you have trouble, see http://hledger.org/MANUAL.html#installing . You can fund a ready-to-run binary for your platform with a donation at http://hledger.org/DOWNLOAD.html . Prosperity and clarity, -Simon

1 0

LOLA 2012: Call for Participation (early registration by May 31)
by Amal Ahmed 28 May '12

28 May '12

============================================================ *** CALL FOR PARTICIPATION *** LOLA 2012 Syntax and Semantics of Low Level Languages Sunday 24th June 2012, Dubrovnik, Croatia A LICS 2012-affiliated workshop http://www.ccs.neu.edu/home/amal/lola2012/ ============================================================ *** Early Registration DEADLINE: 31 May 2012 *** Registration, accomodation, and travel information for LICS and all affiliated workshops is on the LICS 2012 web page: http://www2.informatik.hu-berlin.de/lics/lics12/ INVITED TALKS: * Jade Alglave (University of Oxford). * Ulrich Schoepp (LMU Munich). CONTRIBUTED TALKS: * Nikos Tzevelekos and Andrzej Murawski. Algorithmic Games for Full Ground References * Jacob Thamsborg, Lars Birkedal, Guilhem Jaber, and Filip Sieczkowski. Kripke Logical Relations for Region Polymorphism * Tadeusz Litak. Extending Nakano-style Type Systems and Logics * Nick Benton, Andrew Kennedy, and Jonas Jensen. Using Coq to Generate and Reason About x86 Systems Code * Ruy Ley-Wild and Aleksandar Nanevski. Subjective Concurrent Separation Logic * Paul-Andre Mellies. Strong Monads and Enriched Adjunctions DESCRIPTION OF THE WORKSHOP: It has been understood since the late 1960s that tools and structures arising in mathematical logic and proof theory can usefully be applied to the design of high level programming languages, and to the development of reasoning principles for such languages. Yet low level languages, such as machine code, and the compilation of high level languages into a low level ones have traditionally been seen as having little or no essential connection to logic. However, a fundamental discovery of this past decade has been that low level languages are also governed by logical principles. From this key observation has emerged an active and fascinating new research area at the frontier of logic and computer science. The practically-motivated design of logics reflecting the structure of low level languages (such as heaps, registers and code pointers) and low level properties of programs (such as resource usage) goes hand in hand with the some of the most advanced contemporary researches in semantics and proof theory, including classical realizability and forcing, double orthogonality, parametricity, linear logic, game semantics, uniformity, categorical semantics, explicit substitutions, abstract machines, implicit complexity and sublinear programming. The LOLA workshop, affiliated with LICS, will bring together researchers interested in the various aspects of the relationship between logic and low level languages and programs. LOLA is an informal workshop aiming at a high degree of useful interaction amongst the participants. PROGRAMME COMMITTEE: * Amal Ahmed (Northeastern University, co-chair) * Cristiano Calcagno (Imperial College London and Monoidics Limited) * Robert Dockins (Princeton University) * Martin Hofmann (LMU Munich) * Xavier Leroy (INRIA Rocquencourt) * Andrzej Murawski (University of Leicester) * Aleksandar Nanevski (IMDEA Software, co-chair) * Sungwoo Park (Pohang University of Science and Technology) * Dusko Pavlovic (Royal Holloway, University of London) * Andreas Rossberg (Google)

1 0