munich-lisp

munich-lisp@common-lisp.net

259 discussions

Start a nNew thread

[munich-lisp] is there anybody out there ?
by Dietmar Schaefer 16 Apr '11

16 Apr '11

or have you all moved on to Java ? kind regards Dietmar

4 3

[munich-lisp] Next meeting: 1st week of April
by Jorge Tavares 05 Apr '11

05 Apr '11

Hello everybody, Yesterday meeting was a success! We had two talks and at the end a small discussion. Lorenz gave us a nice overview about his work using Lisp in robotics, which was quite interesting. I gave a small overview of urandom, a prng library. Everyone was in favor of meeting more regularly, even if no "big/fancy" talk is scheduled. Something like meeting for a beer and talk about Lisp, what people are doing, etc. As such, it was agreed to try to arrange a meeting around the first week of every month. The exact time and place is decided through doodle and the mailing list. So, for April's meeting (4-9), here is the link: http://www.doodle.com/ykahw5vn67psvteq. Come and bring a friend :-) Cheers, Jorge -- http://jorgetavares.com

6 9

[munich-lisp] [Final CfPart] European Lisp Symposium, Hamburg, March 31 - April 1
by Didier Verna 09 Mar '11

09 Mar '11

1 0

Re: [munich-lisp] Any user group meeting planned?
by Jorge Tavares 08 Mar '11

08 Mar '11

Hi, On Tue, Mar 8, 2011 at 09:06, <hoerdegen(a)laposte.net> wrote: > > Hello everybody, > > so the meeting will start at 18h00? Is that right? Yes. According to Thomas, it is "in the Geophysics insitute (C406 in Theresienstraße 41) for Wednesday, 09th of March, starting from 18:00." Cheers, Jorge > > Heinrich > > -- > > Funktionale Programmierung Dr. Heinrich Hördegen > Gutenbergstr. 26 > 80638 München > > FON: +49 (89) 12 59 79 49 > FAX: +49 (89) 12 59 79 50 > > hoerdegen(a)funktional.info > www.funktional.info > > -- > > > On 08.03.2011 08:57, Jorge Tavares wrote: >> >> Hi Raju, >> >> On Tue, Mar 8, 2011 at 00:54, Raju Bitter<rajubitter(a)googlemail.com> >> wrote: >>> >>> I'm just a Lisp beginner, there's not much I can contribute. Sorry. >> >> Perhaps you could talk about your learning experience and if you're >> working on a personal project, you could describe it and get some >> ideas, advices, etc. >> >> Cheers, >> Jorge >> >>> But I look forward to meeting you. >>> >>> Raju >>> >>> On Mar 7, 2011, at 9:37 PM, Thomas Chust wrote: >>> >>>> Hello, >>>> >>>> our meeting on Wednesday, 9th of March, is approaching, but as far as >>>> I recall, nobody volunteered to give a presentation, yet. >>>> >>>> Maybe we could have some small lightning talks? >>>> >>>> Ciao, >>>> Thomas >>>> >>>> >>>> -- >>>> When C++ is your hammer, every problem looks like your thumb. >>>> >>>> _______________________________________________ >>>> http://lisp.tech.coop/Munich >>>> munich-lisp mailing list >>>> munich-lisp(a)common-lisp.net >>>> http://common-lisp.net/cgi-bin/mailman/listinfo/munich-lisp >>> >>> _______________________________________________ >>> http://lisp.tech.coop/Munich >>> munich-lisp mailing list >>> munich-lisp(a)common-lisp.net >>> http://common-lisp.net/cgi-bin/mailman/listinfo/munich-lisp >>> >> >> > > -- http://jorgetavares.com

1 0

[munich-lisp] Any user group meeting planned?
by Raju Bitter 08 Mar '11

08 Mar '11

Hi all, are there any meetings planned in Munich for the coming months? If not, would someone be interested in a meeting? Best, Raju

5 18

[munich-lisp] CEFP 2011 summer school - CFP
by Horváth Zoltán 01 Mar '11

01 Mar '11

===================================== 4TH CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL (CEFP 2011) EOTVOS LORAND UNIVERSITY, BUDAPEST, HUNGARY June 14-24, 2011 http://plc.inf.elte.hu/cefp THE REGISTRATION IS OPEN! ===================================== SCOPE OF THE SUMMER SCHOOL The Central-European Functional Programming School is an intensive summer school in the field of functional programming. The invited lecturers are the most prominent researchers in the field in Europe, and they will present state-of-the-art functional programming techniques: * Andrew Butterfield (University of Dublin, Ireland): Reasoning about I/O in functional programs * Clemens Grelck (University of Amsterdam, The Netherlands): Multicore SAC * Johan Jeuring (Utrecht University, The Netherlands): Strategies for learning functional programming * Rita Loogen (Philipps University Marburg, Germany): Eden * Simon Marlow (Microsoft Research, United Kingdom): Parallel and Concurrent Haskell * Greg Michaelson (Heriot-Watt University Edinburgh, Scotland): Box Calculus * Rinus Plasmeijer (Radboud University Nijmegen, The Netherlands): Defining distributed GUI applications with iTasks * Kostis Sagonas (University of Athens, Greece): Multicore Erlang * Mary Sheeran (Chalmers University of Technology, Sweden): Feldspar: Implementation and Application AIMS OF THE SUMMER SCHOOL The main goal of the summer school is to bring together computer scientists, researchers, graduate and PhD students. The programme of the summer school includes: * In depth lectures about a selected number of recently emerged advanced functional programming techniques, taught by experts in the field. * Practical exercises accompanying the lectures to be solved by the students at the school. These exercises guide the students' learning to a great extent. A high quality lab is available at the school site. * Team work is stimulated, such that the students can also learn from each other. * Forum for PhD students. The CEFP school provides a forum for PhD students to present their research results as part of the workshop programme. Abstract submission is before the summer school, full paper version after the summer school. Selected and reviewed papers will be published in the LNCS Volume of the revised lectures. *** IMPORTANT: THE DEADLINE FOR THE ABSTRACTS IS APRIL 30, 2011 *** LOCATION The event is organized and hosted by the Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary. Budapest is the capital of Hungary with nearly 2.000.000 inhabitants. It is divided into two parts by the river Danube. There are nine bridges over the river which connect the two sides. The most beautiful ones are Chain Bridge (Lánchíd), Elisabeth Bridge (Erzsébet híd) and Liberty Bridge (Szabadság híd). One of the best places to walk around is the Castle District. There is a breath-taking view of the city from the Fisherman's Bastion. Across from the Fisherman's Bastion is Matthias Church named after the Hungarian King Matthias. In the Castle District you can find the Sándor Palace, the residence and workplace of the Head of the State. Budapest is richly endowed with natural springs of thermal waters possessing various medicinal properties (Gellért Baths and Hotel, Széchenyi Baths, Lukács Medicinal Baths etc.). The largest building in the country is the building of the Hungarian Parliament, which is situated on the bank of the Danube. The Neo-Gothic building complex was built between 1884 and 1904 according to the plans of Imre Steindl. There are many other sights in Budapest, just like Heroes' Square, St. Stephen's Basilica, Andrássy Avenue, Margaret-island, Gellért Hill and the Citadell etc. For more information about Budapest, please visit the http://www.budapestinfo.hu/ home page. INFORMATION The registration fee is EUR 410. The registration fee does not include the price of the accommodation! For more information please visit our website where you can find more details about the CEFP 2011 School and the programme. Our website is: http://plc.inf.elte.hu/cefp

1 0

[munich-lisp] CEFP 2011 Summer School: call for participation
by CEFP Summer School 17 Feb '11

17 Feb '11

===================================== 4TH CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL (CEFP 2011) EOTVOS LORAND UNIVERSITY, BUDAPEST, HUNGARY June 14-24, 2011 http://plc.inf.elte.hu/cefp THE REGISTRATION IS OPEN! ===================================== SCOPE OF THE SUMMER SCHOOL The Central-European Functional Programming School is an intensive summer school in the field of functional programming. The invited lecturers are the most prominent researchers in the field in Europe, and they will present state-of-the-art functional programming techniques: * Andrew Butterfield (University of Dublin, Ireland): Reasoning about I/O in functional programs * Clemens Grelck (University of Amsterdam, The Netherlands): Multicore SAC * Johan Jeuring (Utrecht University, The Netherlands): Strategies for learning functional programming * Rita Loogen (Philipps University Marburg, Germany): Eden * Simon Marlow (Microsoft Research, United Kingdom): Distributed Haskell * Greg Michaelson (Heriot-Watt University Edinburgh, Scotland): Box Calculus * Rinus Plasmeijer (Radboud University Nijmegen, The Netherlands): Defining distributed GUI applications with iTasks * Kostis Sagonas (University of Athens, Greece): Multicore Erlang * Mary Sheeran (Chalmers University of Technology, Sweden): Feldspar: Implementation and Application AIMS OF THE SUMMER SCHOOL The main goal of the summer school is to bring together computer scientists, researchers, graduate and PhD students. The programme of the summer school includes: * In depth lectures about a selected number of recently emerged advanced functional programming techniques, taught by experts in the field. * Practical exercises accompanying the lectures to be solved by the students at the school. These exercises guide the students' learning to a great extent. A high quality lab is available at the school site. * Team work is stimulated, such that the students can also learn from each other. * Forum for PhD students. The CEFP school provides a forum for PhD students to present their research results as part of the workshop programme. Abstract submission is before the summer school, full paper version after the summer school. Selected and reviewed papers will be published in the LNCS Volume of the revised lectures. *** IMPORTANT: THE DEADLINE FOR THE ABSTRACTS IS APRIL 30, 2011 *** LOCATION The event is organized and hosted by the Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary. Budapest is the capital of Hungary with nearly 2.000.000 inhabitants. It is divided into two parts by the river Danube. There are nine bridges over the river which connect the two sides. The most beautiful ones are Chain Bridge (Lánchíd), Elisabeth Bridge (Erzsébet híd) and Liberty Bridge (Szabadság híd). One of the best places to walk around is the Castle District. There is a breath-taking view of the city from the Fisherman's Bastion. Across from the Fisherman's Bastion is Matthias Church named after the Hungarian King Matthias. In the Castle District you can find the Sándor Palace, the residence and workplace of the Head of the State. Budapest is richly endowed with natural springs of thermal waters possessing various medicinal properties (Gellért Baths and Hotel, Széchenyi Baths, Lukács Medicinal Baths etc.). The largest building in the country is the building of the Hungarian Parliament, which is situated on the bank of the Danube. The Neo-Gothic building complex was built between 1884 and 1904 according to the plans of Imre Steindl. There are many other sights in Budapest, just like Heroes’ Square, St. Stephen’s Basilica, Andrássy Avenue, Margaret-island, Gellért Hill and the Citadell etc. For more information about Budapest, please visit the http://www.budapestinfo.hu/ home page. INFORMATION The registration fee is EUR 410. The registration fee does not include the price of the accommodation! For more information please visit our website where you can find more details about the CEFP 2011 School and the programme. Our website is: http://plc.inf.elte.hu/cefp

1 0

[munich-lisp] [CfPart] 4th European Lisp Symposium, registration open!
by Didier Verna 15 Feb '11

15 Feb '11

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 4th European Lisp Symposium Special Focus on Parallelism & Efficiency March 31 - April 1st, 2011 TUHH, Hamburg University of Technology Hamburg, Germany http://www.european-lisp-symposium.org/ Sponsored by EPITA, TUHH, Lispworks, Franz Inc., NovaSparks and Freiheit ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Registration is now open! See http://www.european-lisp-symposium.org/content-registration-full.html for details. The deadline for early registration is March 12. There is a reduced fee for students and accompanying persons. You may also subscribe to mailing lists for this year's occurrence on the registration page. Invited Speakers: ~~~~~~~~~~~~~~~~~ Craig Zilles -- Compiling for the common case Marc Battyani -- Reconfigurable computing on steroids Apostolos Syropoulos -- Scala: an OO surprise The complete program will be available shortly. Scope ~~~~~~ The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL and so on. We encourage everyone interested in Lisp to participate. Programme Chair ~~~~~~~~~~~~~~~~ Didier Verna - EPITA Research and Development Laboratory, France Local Chair ~~~~~~~~~~~~ Ralf Moeller - Hamburg University of Technology, Germany Programme Committee ~~~~~~~~~~~~~~~~~~~~ Antonio Leitao - Instituto Superior Tecnico/INESC-ID, Portugal Christophe Rhodes - Goldsmiths College, University of London, UK David Edgar Liebke - Relevance Inc., USA Didier Verna - EPITA Research and Development Laboratory, France Henry Lieberman - MIT Media Laboratory, USA Jay McCarthy - Brigham Young University, USA Jose Luis Ruiz Reina - Universidad de Sevilla, Spain Marco Antoniotti - Universita Milano Bicocca, Italy Manuel Serrano - INRIA, France Michael Sperber - DeinProgramm, Germany Pascal Costanza - Vrije Universiteit of Brussel, Belgium Scott McKay - ITA Software, USA -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22

1 0

[munich-lisp] [CfP] European Lisp Symposium deadline extension
by Didier Verna 10 Jan '11

10 Jan '11

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 4th European Lisp Symposium Special Focus on Parallelism & Efficiency March 31 - April 1st, 2011 TUHH, Hamburg University of Technology Hamburg, Germany http://www.european-lisp-symposium.org/ Sponsored by EPITA, Lispworks, Franz Inc. and Nova Sparks ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Important Dates ~~~~~~~~~~~~~~~~ + Submission Deadline: January 16, 2011 --- EXTENDED + Author Notification: February 06, 2011 + Final Paper Due: February 28, 2011 + Symposium: March 31 - April 1st, 2011 Authors of accepted research contributions will be invited to submit an extended version of their papers for journal publication. Invited Speakers: ~~~~~~~~~~~~~~~~~ Marc Battyani (Nova Sparks) Craig Zilles (University of Illinois) Scope ~~~~~~ The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL and so on. We encourage everyone interested in Lisp to participate. The European Lisp Symposium 2011 invites high quality papers about novel research results, insights and lessons learned from practical applications, and educational perspectives. We also encourage submissions about known ideas as long as they are presented in a new setting and/or in a highly elegant way. This year's focus will be directed towards "Parallelism & Efficiency". We especially invite submissions in the following areas: + Parallel and distributed computing + Code generation for multi-core architectures + Code generation for HTM + Large and ultra-large systems + Optimization techniques + Embedded applications Contributions are also welcome in other areas, including but not limited to: + Context-, aspect-, domain-oriented and generative programming + Macro-, reflective-, meta- and/or rule-based development approaches + Language design and implementation + Language integration, inter-operation and deployment + Development methodologies, support and environments + Educational approaches and perspectives + Experience reports and case studies Technical Program: ~~~~~~~~~~~~~~~~~~ We invite submissions in the following forms: * Papers: Technical papers of up to 15 pages that describe original results or explain known ideas in new and elegant ways. * Demonstrations: Abstracts of up to 4 pages for demonstrations of tools, libraries, and applications. * Tutorials: Abstracts of up to 4 pages for in-depth presentations about topics of special interest for at least 90 minutes and up to 180 minutes. * Lightning talks: Abstracts of up to one page for talks to last for no more than 5 minutes. All submissions should be formatted following the ACM SIGS guidelines and include ACM classification categories and terms. For more information on the submission guidelines and the ACM keywords, see: http://www.acm.org/sigs/publications/proceedings-templates http://www.acm.org/about/class/1998 Submissions should be uploaded to Easy Chair, at the following address: http://www.easychair.org/conferences/?conf=els2011 Programme Chair ~~~~~~~~~~~~~~~~ Didier Verna - EPITA Research and Development Laboratory, France Local Chair ~~~~~~~~~~~~ Ralf Moeller - Hamburg University of Technology, Germany Programme Committee ~~~~~~~~~~~~~~~~~~~~ Antonio Leitao - Instituto Superior Tecnico/INESC-ID, Portugal Christophe Rhodes - Goldsmiths College, University of London, UK David Edgar Liebke - Relevance Inc., USA Didier Verna - EPITA Research and Development Laboratory, France Henry Lieberman - MIT Media Laboratory, USA Jay McCarthy - Brigham Young University, USA Jose Luis Ruiz Reina - Universidad de Sevilla, Spain Marco Antoniotti - Universita Milano Bicocca, Italy Manuel Serrano - INRIA, France Michael Sperber - DeinProgramm, Germany Pascal Costanza - Vrije Universiteit of Brussel, Belgium Scott McKay - ITA Software, USA -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22

1 0

[munich-lisp] 1st CFP Trends in Functional Pogramming 2011
by Ricardo Peña 15 Dec '10

15 Dec '10

-- Ricardo Pe~na e-mail: ricardo(a)sip.ucm.es Departamento Sistemas Informaticos y Computacion Facultad de Informatica C/ Profesor Jose Garcia Santesmases s/n Universidad Complutense de Madrid, 28040 MADRID Ph: (+ 34) 91 394 7627 FAX: (+ 34) 91 394 7529 http://dalila.sip.ucm.es/~ricardo ------------------ Apologies for multiple postings ------------------------ *************************************************************************** * * * CALL FOR PAPERS * * 12th International Symposium * * Trends in Functional Programming 2011 * * Madrid, Spain * * May 16-18, 2011 * * http://dalila.sip.ucm.es/tfp11/ * * * *************************************************************************** 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, as a Springer Lecture Notes in Computer Science volume, as they were for the TFP-2010 selected papers. TFP 2011 is going to be held in the Computer Science Faculty of Complutense University of Madrid, on May 16-18, 2011. It will be co-located with the 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2011) (http://dalila.sip.ucm.es/fopara11/). This collocation could make such a gathering a very interesting event and will allow researchers from the two communities to exchange ideas. 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, and in Oklahoma (USA) in 2010. For further general information about TFP please see the TFP homepage at http://www.tifp.org/. SCOPE OF THE SYMPOSIUM The symposium recognises 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: summarising work with respect to a trendy subject Articles must be original and not submitted for simultaneous publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or more experience oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Articles on the following subject areas are particularly welcome: o Dependently typed functional programming o Validation and verification of functional programs o Debugging for functional languages o Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc. o Functional languages for reasoning about imperative/object-oriented programs o Interoperability with imperative programming languages o Novel memory management techniques o Program transformation techniques o Empirical performance studies o Abstract/virtual machines and compilers for functional languages o New implementation strategies o 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 2011 program chair, Ricardo Pe~na, at tfp2011(a)easychair.org BEST STUDENT PAPER AWARD 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. SUBMISSION AND DRAFT PROCEEDINGS Acceptance of articles for presentation at the symposium is based on a lightweight peer review process of extended abstracts (6 to 10 pages in length) or full papers (16 pages). Accepted abstracts are to be completed to full papers before the symposium for publication in the draft proceedings. The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate whether the main author or authors are research students. Formatting details can be found at the TFP 2011 website. Submission procedures will be posted on the TFP 2011 website as the submission deadline is approaching. Important dates (2011): Full papers/extended abstracts submission: April 2nd Notification of acceptance for presentation: April 15th Early registration deadline: April 25th Camera ready for draft proceeding: April 30th The papers of the local proceedings will also be made available on-line under some copyright conditions, with which all authors are asked to agree (see http://dalila.sip.ucm.es/tfp11/). POST-SYMPOSIUM REFEREEING AND PUBLICATION In addition to the symposium draft proceedings, we will continue the last year decision of publishing a high-quality subset of contributions in the Springer Lecture Notes in Computer Science series (previous editions were published by Intellect). All TFP authors will be invited to submit revised papers after the symposium. These will be refereed using normal conference standards and a subset of the submitted papers, over all categories, will be selected for publication. Papers will be judged on their contribution to the research area with appropriate criteria applied to each category of paper. Student papers will be given extra feedback by the Program Committee in order to assist those unfamiliar with the publication process. Important dates (2011): TFP 2011 Symposium: May 16-18th Student papers feedback: June 6th Submission for formal review: June 24th Notification of acceptance for LNCS: September 2nd Camera ready paper: September 23rd TFP 2011 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: Ricardo Pe~na, Complutense University of Madrid, ES TFP 2011 PROGRAMME COMMITTEE Peter Achten (Radboud University Nijmegen, NL) Ana Bove (Chalmers University of Technology, SE) Olaf Chitil (University of Kent, UK) Marko van Eekelen (Radboud University Nijmegen and Open University, NL) Robby Findler (Northwestern University, USA) Victor Gul'ias (University of La Coru~na, ES) Jurriaan Hage (University of Utrecht, NL) Kevin Hammond (University of St. Andrews, UK) Michael Hanus (Christian Albrechts University zu Kiel, DE) Zolt'an Horv'ath (E"otv"os Lor'and University, HU) Frank Huch (Christian Albrechts University zu Kiel, DE) Mauro Jaskelioff (National University of Rosario, AR) Rita Loogen (Philipps University Marburg, DE) Jay McCarthy (Brigham Young University, USA) Henrik Nilsson (University of Nottingham, UK) Rex Page (University of Oklahoma, USA) Ricardo Pe~na (Chair) (Complutense University of Madrid, ES) John Reppy (University of Chicago, USA) Konstantinos Sagonas (Uppsala University, SE, and National Technical University of Athens, GR) Simon Thompson (University of Kent, UK) German Vidal (Universidad Polit'ecnica de Valencia, ES) SPONSORS Computer Science Faculty, Complutense University of Madrid Spanish Ministry of Science and Innovation INVITED SPEAKER In this TFP edition, an invited talk will be given by Neil Mitchell (http://community.haskell.org/~ndm/), who finished his PhD thesis on 'Transformation and Analysis of Functional Programs' at the University of York, England, and is currently working for the Standard Chartered Bank. The title of the talk is 'Finding functions from types', and will be about the Hoogle tool (http://haskell.org/hoogle).

1 0

← Newer
1
...
12
13
14
15
16
17
18
...
26
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

munich-lisp