- munich-lisp - mailman3.common-lisp.net

[CfP] European Lisp Symposium 2016, May 9-10, Kraków, Poland
by Didier Verna 07 Oct '15

07 Oct '15

ELS'16 - 9th European Lisp Symposium AGH University of Science and Technology Kraków, Poland May 9-10, 2016 http://www.european-lisp-symposium.org/ Sponsored by EPITA and AGH University 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 and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop and so on. We encourage everyone interested in Lisp to participate. The 9th European Lisp Symposium 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. Topics include but are 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 We invite submissions in the following forms: Papers: Technical papers of up to 8 pages that describe original results or explain known ideas in new and elegant ways. Demonstrations: Abstracts of up to 2 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. The symposium will also provide slots for lightning talks, to be registered on-site every day. 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 and http://www.acm.org/about/class/1998. Important dates: - 19 Feb 2016 Submission deadline - 25 Mar 2016 Notification of acceptance - 15 Apr 2016 Early registration deadline - 22 Apr 2016 Final papers due - 9-10 May 2016 Symposium Programme chair: Irène Durand, University of Bordeaux, France Local chair: Michał Psota, Emergent Network Defense, Kraków, Poland Programme committee: Antonio Leitao — INESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Portugal Charlotte Heerzel — IMEC, Leuven, Belgium Christian Queinnec — University Pierre et Marie Curie, Paris 6, France Christophe Rhodes — Goldsmiths, University of London, United Kingdom Didier Verna — EPITA Research and Development Laboratory, France Erick Gallesio — University of Nice-Sophia Antipolis, France Francois-René Rideau, Google, USA Giuseppe Attardi — University of Pisa, Italy Henry Lieberman — MIT, USA Kent Pitman, HyperMeta Inc., U.S.A. Leonie Dreschler-Fischer — University of Hamburg, Germany Pascal Costanza — Intel Corporation, Belgium Robert Strandh — University of Bordeaux, France Search Keywords: #els2016, ELS 2016, ELS '16, European Lisp Symposium 2016, European Lisp Symposium '16, 9th ELS, 9th European Lisp Symposium, European Lisp Conference 2016, European Lisp Conference '16 -- My new Jazz CD entitled "Roots and Leaves" is out! Check it out: http://didierverna.com/records/roots-and-leaves.php Lisp, Jazz, Aïkido: http://www.didierverna.info

1 0

any munich lispers?
by Jim Newton 10 Jun '15

10 Jun '15

Hi everyone, I hope all the readers of this email are happy somewhere writing fun lisp code. I sent an email some months ago but embarrassingly enough I forgot what the response was exactly. I'm still the maintainer of this mailing list but I no longer live in Munich. I would like to either close the list, or hand over the administrator responsibility to someone else. If no one volunteers, I will just close it. Thereafter, if someone wants to revive it, you're welcome and invited to do so. Please let me know if you want to take over the administrator rights? Kind regards Jim

2 1

[CfPart] ELS 2015, April 20-21 2015, London
by Didier Verna 01 Apr '15

01 Apr '15

ELS'15 - 8th European Lisp Symposium Goldsmiths College, London, UK April 20-21, 2015 http://www.european-lisp-symposium.org/ Sponsored by EPITA, Goldsmiths University of London, Franz Inc., Lispworks Ltd., Clozure Associates and Google Recent news: - A few seats left, still time to register! - Programme now online (schedule may still change a little) - Invited speakers announced: Zach Beane, Bodil Stokke, Martin Cracauer 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 and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop and so on. We encourage everyone interested in Lisp to participate. The 8th European Lisp Symposium features 3 invited talks, one tutorial, 4 technical sessions and 2 lightning talks slots. The full programme is now available on the website: http://www.european-lisp-symposium.org/. Programme chair: Julian Padget, University of Bath, UK Local chair: Christophe Rhodes, Goldsmiths, University of London, UK Programme committee: Sacha Chua — Toronto, Canada Edmund Weitz — University of Applied Scicences, Hamburg, Germany Rainer Joswig — Hamburg, Germany Henry Lieberman — MIT, USA Matthew Flatt — University of Utah, USA Christian Queinnec — University Pierre et Marie Curie, Paris 6, France Giuseppe Attardi — University of Pisa, Italy Marc Feeley — University of Montreal, Canada Stephen Eglen — University of Cambridge, UK Robert Strandh — University of Bordeaux, France Nick Levine — RavenPack, Spain Search Keywords: #els2015, ELS 2015, ELS '15, European Lisp Symposium 2015, European Lisp Symposium '15, 8th ELS, 8th European Lisp Symposium, European Lisp Conference 2015, European Lisp Conference '15 -- My new Jazz CD entitled "Roots and Leaves" is out! Check it out: http://didierverna.com/records/roots-and-leaves.php Lisp, Jazz, Aïkido: http://www.didierverna.info

1 0

[Munich-lisp] [Final CfP] ELS 2015 submission deadline extended to March 1st
by Didier Verna 22 Feb '15

22 Feb '15

ELS'15 - 8th European Lisp Symposium Goldsmiths College, London, UK April 20-21, 2015 http://www.european-lisp-symposium.org/ Sponsored by EPITA, Franz Inc. and Lispworks Ltd. Recent news: - *** Submission deadline extended to March 1st *** - Invited speakers announced: Zach Beane, Bodil Stokke, Martin Cracauer - Registration to open early March 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 and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop and so on. We encourage everyone interested in Lisp to participate. The 8th European Lisp Symposium 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. Topics include but are 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 We invite submissions in the following forms: Papers: Technical papers of up to 8 pages that describe original results or explain known ideas in new and elegant ways. Demonstrations: Abstracts of up to 2 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. The symposium will also provide slots for lightning talks, to be registered on-site every day. 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 and http://www.acm.org/about/class/1998. Important dates: - 01 Mar 2015: Submission deadline *** EXTENDED *** - 15 Mar 2015: Notification of acceptance - 29 Mar 2015: Early registration deadline - 05 Apr 2015: Final papers - 20-21 Apr 2015: Symposium Programme chair: Julian Padget, University of Bath, UK Local chair: Christophe Rhodes, Goldsmiths, University of London, UK Programme committee: Sacha Chua — Toronto, Canada Edmund Weitz — University of Applied Scicences, Hamburg, Germany Rainer Joswig — Hamburg, Germany Henry Lieberman — MIT, USA Matthew Flatt — University of Utah, USA Christian Queinnec — University Pierre et Marie Curie, Paris 6, France Giuseppe Attardi — University of Pisa, Italy Marc Feeley — University of Montreal, Canada Stephen Eglen — University of Cambridge, UK Robert Strandh — University of Bordeaux, France Nick Levine — RavenPack, Spain Search Keywords: #els2015, ELS 2015, ELS '15, European Lisp Symposium 2015, European Lisp Symposium '15, 8th ELS, 8th European Lisp Symposium, European Lisp Conference 2015, European Lisp Conference '15 -- My new Jazz CD entitled "Roots and Leaves" is out! Check it out: http://didierverna.com/records/roots-and-leaves.php Lisp, Jazz, Aïkido: http://www.didierverna.info

1 0

[Munich-lisp] Munich Haskell Meeting, 2015-02-24 @ 19:30 - last announce over munich-lisp
by Christian Neukirchen 21 Feb '15

21 Feb '15

This is the last time the Munich Haskell Meeting will be announced over munich-lisp(a)common-lisp.net. Please subscribe at https://lists.fs.lmu.de/mailman/listinfo/high-order-munich or https://mail.haskell.org/mailman/listinfo/haskell-cafe if you want to keep getting announcements. Thanks, Christian Neukirchen --------------------------------------------------------------------- Dear all, Next week, our monthly Munich Haskell Meeting will take place again on Tuesday, February 24 at Cafe Puck at 19h30. For details see here: http://www.haskell-munich.de/dates If you plan to join, please add yourself to this dudle so we can reserve enough seats! It is OK to add yourself to the dudle anonymously or pseudonymously. https://dudle.inf.tu-dresden.de/haskell-munich-feb-2015/ Everybody is welcome! cu, -- Christian Neukirchen <chneukirchen(a)gmail.com> http://chneukirchen.org

1 0

[Munich-lisp] changing the owner
by Jim Newton 09 Feb '15

09 Feb '15

Hi Munich Lispers, It seems I am still the moderator of this email list, even after having moved away from Munich. I live in Paris and have for 5 years now. Does someone else on the list wish to be the list moderator. Your tasks would be to read the occasional bounce email which is sent to you, and click on accept or reject for each of the messages. Please let me know if anyone is interested. Kind regards Jim

4 3

[Munich-lisp] [2nd CfP] European Lisp Symposium 2015, April 20-21, London
by Didier Verna 24 Jan '15

24 Jan '15

ELS'15 - 8th European Lisp Symposium Goldsmiths College, London, UK April 20-21, 2015 http://www.european-lisp-symposium.org/ Sponsored by EPITA, Franz Inc. and Lispworks Ltd. Recent news: - Submission deadline in less than a month now! - Programme committee has been announced (see below) - Venue information now available on the web site 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 and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop and so on. We encourage everyone interested in Lisp to participate. The 8th European Lisp Symposium 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. Topics include but are 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 We invite submissions in the following forms: Papers: Technical papers of up to 8 pages that describe original results or explain known ideas in new and elegant ways. Demonstrations: Abstracts of up to 2 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. The symposium will also provide slots for lightning talks, to be registered on-site every day. 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 and http://www.acm.org/about/class/1998. Important dates: - 22 Feb 2015: Submission deadline - 15 Mar 2015: Notification of acceptance - 29 Mar 2015: Early registration deadline - 05 Apr 2015: Final papers - 20-21 Apr 2015: Symposium Programme chair: Julian Padget, University of Bath, UK Local chair: Christophe Rhodes, Goldsmiths, University of London, UK Programme committee: Sacha Chua — Toronto, Canada Edmund Weitz — University of Applied Scicences, Hamburg, Germany Rainer Joswig — Hamburg, Germany Henry Lieberman — MIT, USA Matthew Flatt — University of Utah, USA Christian Queinnec — University Pierre et Marie Curie, Paris 6, France Giuseppe Attardi — University of Pisa, Italy Marc Feeley — University of Montreal, Canada Stephen Eglen — University of Cambridge, UK Robert Strandh — University of Bordeaux, France Nick Levine — RavenPack, Spain Search Keywords: #els2015, ELS 2015, ELS '15, European Lisp Symposium 2015, European Lisp Symposium '15, 8th ELS, 8th European Lisp Symposium, European Lisp Conference 2015, European Lisp Conference '15 -- My new Jazz CD entitled "Roots and Leaves" is out! Check it out: http://didierverna.com/records/roots-and-leaves.php Lisp, Jazz, Aïkido: http://www.didierverna.info

1 0

[Munich-lisp] Munich Haskell Meeting, 2015-01-26 @ 19:30
by Christian Neukirchen 23 Jan '15

23 Jan '15

Dear all, Next week, our monthly Munich Haskell Meeting will take place again on Monday, January 26 at Cafe Puck at 19h30. For details see here: http://www.haskell-munich.de/dates If you plan to join, please add yourself to this dudle so we can reserve enough seats! It is OK to add yourself to the dudle anonymously or pseudonymously. https://dudle.inf.tu-dresden.de/haskell-munich-jan-2015/ Everybody is welcome! cu, -- Christian Neukirchen <chneukirchen(a)gmail.com> http://chneukirchen.org

1 0

[Munich-lisp] Haskell Hackathon 11.12.2014 12:00 - Agda, HoTT
by Haskell Hackathon 10 Jan '15

10 Jan '15

Hi *, am Sonntag, 11. Januar 2015 treffen wir uns um 18:00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Agda: wir machen weiter mit den Agda-Tutorial: http://oxij.org/note/BrutalDepTypes/ oder - Buch: Homotopy Type Theory (HoTT) -- BERICHT -- 21. Dezember 2014 - mit den Agda-Tutorial weitergemacht - ein paar einfache Thesen mit Agda bewiesen -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6 Anfahrtmöglichkeiten: - S-Bahn nach Pasing nehmen (alle außer S1, S2 und S7) und dann Tram 19 nach Offenbachstraße (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstraße - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstraße - Bus 160 oder 162 nach Offenbachstraße India King befindet sich genau gegenüber der Tramhaltestelle. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org English: http://haskell-hackathon.no-ip.org/index_en.html

1 1

[Munich-lisp] Haskell Hackathon 28.12.2014 12:00 - Agda, HoTT
by Haskell Hackathon 27 Dec '14

27 Dec '14

Hi *, am Sonntag, 28. Dezember 2014 treffen wir uns um 12:00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Agda: wir machen weiter mit den Agda-Tutorial: http://oxij.org/note/BrutalDepTypes/ oder - Buch: Homotopy Type Theory (HoTT) -- BERICHT -- 14. Dezember 2014 - über das "mutual" keyword in Agda gelernt - die kommutativität einer eigenschaft in einem beweis benutzt - induktive beweise benutzt - über negative beweise gelernt - über elimination gelernt -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6 Anfahrtmöglichkeiten: - S-Bahn nach Pasing nehmen (alle außer S1, S2 und S7) und dann Tram 19 nach Offenbachstraße (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstraße - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstraße - Bus 160 oder 162 nach Offenbachstraße India King befindet sich genau gegenüber der Tramhaltestelle. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org English: http://haskell-hackathon.no-ip.org/index_en.html

1 0

[Munich-lisp] Haskell Hackathon 21.12.2014 12:00 - Agda, HoTT, Android
by Haskell Hackathon 21 Dec '14

21 Dec '14

Hi *, am Sonntag, 21. Dezember 2014 treffen wir uns um 12:00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Agda: wir machen weiter mit den Agda-Tutorial: http://oxij.org/note/BrutalDepTypes/ oder - Buch: Homotopy Type Theory (HoTT) oder - wir hacken ein bisschen an Android rum, um später ein Haskell DSL zu schreiben welches auf Android Apps runterkompiliert -- BERICHT -- 7. Dezember 2014 - Über holes in Agda gelernt - agda-mode tastaturkommandos durchgeschaut - Die automatisierte beweisfunktionen von Agda ausprobiert - Auf mehrere Weisen ein induktives Beweis in Agda durchgeführt -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6 Anfahrtmöglichkeiten: - S-Bahn nach Pasing nehmen (alle außer S1, S2 und S7) und dann Tram 19 nach Offenbachstraße (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstraße - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstraße - Bus 160 oder 162 nach Offenbachstraße India King befindet sich genau gegenüber der Tramhaltestelle. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org English: http://haskell-hackathon.no-ip.org/index_en.html

1 0

[Munich-lisp] Haskell Hackathon 14.12.2014 12:00 - Agda, HoTT, Android
by Haskell Hackathon 13 Dec '14

13 Dec '14

Hi *, am Sonntag, 14. Dezember 2014 treffen wir uns um 12:00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Agda: wir machen weiter mit den Agda-Tutorial: http://oxij.org/note/BrutalDepTypes/ oder - Buch: Homotopy Type Theory (HoTT) oder - wir hacken ein bisschen an Android rum, um später ein Haskell DSL zu schreiben welches auf Android Apps runterkompiliert -- BERICHT -- 30. November 2014 - Mit den Agda-Tutorial weitergemacht! - ein Paar neue Kommandos in emacs gelernt -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6 Anfahrtmöglichkeiten: - S-Bahn nach Pasing nehmen (alle außer S1, S2 und S7) und dann Tram 19 nach Offenbachstraße (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstraße - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstraße - Bus 160 oder 162 nach Offenbachstraße India King befindet sich genau gegenüber der Tramhaltestelle. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org English: http://haskell-hackathon.no-ip.org/index_en.html

1 0

[Munich-lisp] Haskell Hackathon 6.11.2014 12:00 - Agda, HoTT, Android
by Haskell Hackathon 06 Dec '14

06 Dec '14

Hi *, am Sonntag, 6. Dezember 2014 treffen wir uns um 12:00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Agda: wir machen weiter mit den Agda-Tutorial: http://oxij.org/note/BrutalDepTypes/ oder - Buch: Homotopy Type Theory (HoTT) oder - wir hacken ein bisschen an Android rum, um später ein Haskell DSL zu schreiben welches auf Android Apps runterkompiliert -- BERICHT -- 23. November 2014 - über Gödel's Reise nach USA gesprochen, und dass er in der U.S. Verfassung Inkonsistenzen gefunden hat... Einstein und die anderen mussten aufpassen, dass er das vorm Immigrationsdienstbeahmten nicht erwähnt! - über Gödel's Unvollständigkeitssatz, und den Zusammenhang mit ZFC-mengenlehre, Typentheorie, HoTT gesprochen - darüber gesprochen, was es für praktische Anwendungen für Beweissysteme in der Industrie gibt - ein gutes Tutorial für Agda gefunden: http://oxij.org/note/BrutalDepTypes/ - über Haskel Curry und die Curry-Howard Korrespondenz gesprochen - wir sind im Tutorial bis zu implicit parameters und forall gekommen - wir haben über den Klaus sein Job im Bank gesprochen und auf welche Weisen man die Zusammenhänge zwischen Bankkonten abbilden könnte - über Bigraphen gesprochen -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6 Anfahrtmöglichkeiten: - S-Bahn nach Pasing nehmen (alle außer S1, S2 und S7) und dann Tram 19 nach Offenbachstraße (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstraße - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstraße - Bus 160 oder 162 nach Offenbachstraße India King befindet sich genau gegenüber der Tramhaltestelle. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org English: http://haskell-hackathon.no-ip.org/index_en.html

1 0

[Munich-lisp] Haskell Hackathon 30.11.2014 12:00 - Agda, HoTT, Android
by Haskell Hackathon 29 Nov '14

29 Nov '14

Hi *, am Sonntag, 30. November 2014 treffen wir uns um 12:00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Agda: wir machen weiter mit den Agda-Tutorial: http://oxij.org/note/BrutalDepTypes/ oder - Buch: Homotopy Type Theory (HoTT) oder - wir hacken ein bisschen an Android rum, um später ein Haskell DSL zu schreiben welches auf Android Apps runterkompiliert -- BERICHT -- 16. November 2014 - über Agda gesprochen und darüber, was Theorem Prover sind - wofür die gut sind - Haskell installiert - Agda installiert - Emacs installiert und für Agda konfiguriert -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6 Anfahrtmöglichkeiten: - S-Bahn nach Pasing nehmen (alle außer S1, S2 und S7) und dann Tram 19 nach Offenbachstraße (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstraße - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstraße - Bus 160 oder 162 nach Offenbachstraße India King befindet sich genau gegenüber der Tramhaltestelle. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org English: http://haskell-hackathon.no-ip.org/index_en.html

1 0

[Munich-lisp] Munich Haskell Meeting, 2014-11-26 @ 19:30
by Christian Neukirchen 23 Nov '14

23 Nov '14

Dear all, next week, on Wednesday, 26th of November, our monthly Munich Haskell Meeting will take place again at Cafe Puck at 19:30 CET. For details see here: http://www.haskell-munich.de/dates Since Heinrich is not around much in Munich anymore, I have taken over organizing our Haskell meeting. The website will be updated soon. For the meantime, if you plan to join, please add yourself to this dudle so we can reserve enough seats: https://dudle.inf.tu-dresden.de/haskell-munich-nov-2014/ Everybody is welcome! Looking forward to see you, -- Christian Neukirchen <chneukirchen(a)gmail.com> http://chneukirchen.org

1 0

[Munich-lisp] Haskell Hackathon 23.11.2014 - Agda, HoTT, Android
by Haskell Hackathon 22 Nov '14

22 Nov '14

Hi *, am Sonntag, 23. November 2014 treffen wir uns um 16:00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Agda: wir versuchen ein einfaches Programm zu schreiben oder - Buch: Homotopy Type Theory (HoTT) oder - wir hacken ein bisschen an Android rum, um später ein Haskell DSL zu schreiben welches auf Android Apps runterkompiliert -- BERICHT -- 5. November 2014 - wir haben Agda 2.4.2 installiert. Es hat ein paar Probleme auf Grund von cabal gegeben, die konnte man aber lösen indem man --constraint benutzt hat. - man kann Agda übrigens auch im sandbox installieren - einer von uns hat zuvor Agda 2.3.2 aus einen .deb installiert. Das hat auch einige haskell-libraries zurückgelassen; nach deren entfernung waren die noch im ghc index vorhanden, aber kaputt (.so Dateien nicht vorhanden). Das haben wir mit cabal install --reinstall gelöst. - man muss zuerst das agda-mode Plugin für Emacs installieren: agda-mode setup - danach muss man die stlib runterladen: http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary - und das src von stdlib Unterverzeichnis in Emacs als include-path für agda2-mode hinterlegen: in Emacs über M-x customize-group RET agda2 RET - wir haben ein einfaches Tutorial angefangen: http://www.stephendiehl.com/posts/agda.html - es gibt auch "agda summer school": https://github.com/UlfNorell/agda-summer-school/ -- die benutzte library ("agda prelude") ist aber mit der stdlib von Agda inkompatibel - wir haben über online-foren für HoTT gesprochen: "hott amateurs": https://groups.google.com/forum/#!forum/hott-amateurs das offizielle Forum für HoTT: https://groups.google.com/forum/#!forum/homotopytypetheory IRC: ##hott auf Freenode -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6 Anfahrtmöglichkeiten: - S-Bahn nach Pasing nehmen (alle außer S1, S2 und S7) und dann Tram 19 nach Offenbachstraße (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstraße - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstraße - Bus 160 oder 162 nach Offenbachstraße India King befindet sich genau gegenüber der Tramhaltestelle. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org English: http://haskell-hackathon.no-ip.org/index_en.html

1 0

[Munich-lisp] Haskell Hackathon 16.11.2014 - theorem provers, HoTT, Android
by Haskell Hackathon 15 Nov '14

15 Nov '14

Hi *, am Sonntag, 16. November 2014 treffen wir uns um 16:00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Agda: wir versuchen ein einfaches Programm zu schreiben oder - Buch: Homotopy Type Theory (HoTT) oder - wir hacken ein bisschen an Android rum, um später ein Haskell DSL zu schreiben welches auf Android Apps runterkompiliert -- BERICHT -- 2. November 2014 - wir haben HoTT gelesen - wir haben uns theorem prover angeschaut und vergliechen: Agda, Coq, Isabelle/HOL, Idris. - Nur Agda und Coq sind für HoTT nutzbar - Idris und Isabelle/HOL sind aber für viele Sachen viel mehr praktisch -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6 Anfahrtmöglichkeiten: - S-Bahn nach Pasing nehmen (alle außer S1, S2 und S7) und dann Tram 19 nach Offenbachstraße (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstraße - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstraße - Bus 160 oder 162 nach Offenbachstraße India King befindet sich genau gegenüber der Tramhaltestelle. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org English: http://haskell-hackathon.no-ip.org/index_en.html

1 0

[Munich-lisp] Haskell Hackathon Mittwoch, 5.11.2014 - Agda, HoTT
by Haskell Hackathon 04 Nov '14

04 Nov '14

Hi *, am Mittwoch, 5. November 2014 treffen wir uns um 19.00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Agda: wir schreiben ein einfaches Hello World oder - Buch: Homotopy Type Theory (HoTT) -- BERICHT -- 26. Oktober 2014 - wir haben uns Categories for the working mathematician von Saunders Mac Lane angeschaut. - Das buch kann hier gefunden werden: www.maths.ed.ac.uk/~aar/papers/maclanecat.pdf die Datei kann man aber nicht durchsuchen weil es nur scans sind - dieses Buch ist eine grundlegende Arbeit in Kategorientheorie - das Text selbst ist sehr eigenständig; die Übungen machen aber annahmen über sehr viel Wissen in abstrakte Algebra - wir haben uns auch Category Theory von Steve Awodey angeschaut - das buch ist viel langsamer als Mac Lane. Man kommt nur nach mehreren Kapiteln zu interessanten Sachen - die Übungen basieren nur auf Wissen aus den Buch - das Buch ist einigermaßen kürzer als Mac Lane - wir haben uns auch Homotopy Type Theory (HoTT) angeschaut. Es kann hier gefunden werden: http://homotopytypetheory.org/book/ - thematisch ist das Buch zu den früheren beiden einigermaßen unterschiedlich: hier geht es um Logik und Typsysteme die von grund auf aufgebaut werden. Einige begriffe von Kategorientheorie werden eingeführt. - wobei Kategorientheorie das aller neuste vor 40 Jahren gewesen ist, ist HoTT zur Zeit so zu sagen der Stand der Technik - HoTT ist in sich komplett geschlossen. Es braucht nur sehr einfaches Basiswissen aus Grundlagen der Mathematik - Die Übungen basieren nur auf den Text und scheinen machbar zu sein - Einige der späteren Übungen sind aber offene Forschungsprobleme - Das buch ist so lange wie Mac Lane und Awodey zusammen - Es wird von einer großen Gruppe von Experten geschrieben, unter anderem Martin-Löf, Awodey, Aczel. Es wird ständig aktiv erweitert. - Für HoTT kann man in Internet Code für Coq und Agda finden - Es gibt auch aktive online Communities für HoTT - wir werden in der Zukunft wahrscheinlich viel über HoTT und theorem prover sprechen -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6 Anfahrtmöglichkeiten: - S-Bahn nach Pasing nehmen (alle außer S1, S2 und S7) und dann Tram 19 nach Offenbachstraße (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstraße - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstraße - Bus 160 oder 162 nach Offenbachstraße India King befindet sich genau gegenüber der Tramhaltestelle. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org English: http://haskell-hackathon.no-ip.org/index_en.html

1 0

[Munich-lisp] Haskell Hackathon 2.11.2014 - theorem provers, HoTT
by Haskell Hackathon 01 Nov '14

01 Nov '14

Hi *, am Sonntag, 2. November 2014 treffen wir uns um 18.00 in India King für unser Hackathon. Bringt eure Laptops! Die Hackathon-webseite ist jetzt auch auf Englisch! Das waren rund 100k text zu übersetzen... Viel spaß beim lesen! http://haskell-hackathon.no-ip.org/index_en.html Themen: - proof systems: Isabelle/HOL, Agda, Coq oder - Buch: Homotopy Type Theory (HoTT) -- BERICHT -- 16. Oktober 2014 - ein Paar der Klasseninstanzen angeschaut: identitätsmonade, funktoren und monoid für funktionen, ... - mit Christine darüber gesprochen, wie man ein beginner-kurs für Haskell betreiben könnte. Eine Idee war es, ein Buch in einer Gruppe durchzulesen. Eine weitere Idee war es, Tutorials eins nach dem anderen durchzugehen. Man könnte auch Übungen machen. - darüber gesprochen, wie man eine Community betreiben soll; wie sie sich entwickelt und wie man es schafft den zutritt neuer Teilnehmer nicht zu verhindern. - das Buch "Haskell-Intensivkurs" durchgeschaut: http://www.amazon.de/Haskell-Intensivkurs-Kompakter-Funktionale-Programmier… -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6 Anfahrtmöglichkeiten: - S-Bahn nach Pasing nehmen (alle außer S1, S2 und S7) und dann Tram 19 nach Offenbachstraße (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstraße - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstraße - Bus 160 oder 162 nach Offenbachstraße India King befindet sich genau gegenüber der Tramhaltestelle. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org

1 0

[Munich-lisp] Munich Haskell Meeting
by hoerdegen＠laposte.net 29 Oct '14

29 Oct '14

Dear all, tomorrow, the 30th of October, our monthly Munich Haskell Meeting will take place again at Cafe Puck at 19h30. For details see here: http://www.haskell-munich.de/dates If you plan to join, please click the button! Everybody is welcome! Heinrich

1 0

[Munich-lisp] Haskell Hackathon 26.10.2014 - ungewöhnliche klassen, category theory
by Haskell Hackathon 24 Oct '14

24 Oct '14

Hi *, am Sonntag, 26. Oktober 2014 treffen wir uns um 18.00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - außergewöhnliche klasseninstanzen (Identitätsmonade, Funktoren für Id, Const, WrappedMonad, WrappedArrow, Funktor und Monade für ((->) r), monoid für funktionen, ...) oder - Buch: Saunders Mac Lane: Categories for the Working Mathematician -- BERICHT -- 12. Oktober 2014 - Wir haben uns eine Implementation von Clojure Transducers in Haskell angeschaut und sie verändert - Es ist lustig, dass komposition von Transducer von links zu rechts passiert, also anders als bei normalen funktionen: multiplyByTwo . addOne würde aus der nummer 5 die nummer 11 machen. - Ein gutes Vortrag zu Transducers welches auch das über komposition erklärt findet man hier: http://www.youtube.com/watch?v=6mTbuzafcII&t=25m30s -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6 Anfahrtmöglichkeiten: - S-Bahn nach Pasing nehmen (alle außer S1, S2 und S7) und dann Tram 19 nach Offenbachstraße (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstraße - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstraße - Bus 160 oder 162 nach Offenbachstraße India King befindet sich genau gegenüber der Tramhaltestelle. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org

1 0

[Munich-lisp] Haskell Hackathon 16.10.2014 - ungewöhnliche klassen, free applicatives, copatterns
by Haskell Hackathon 15 Oct '14

15 Oct '14

Hi *, am Donnerstag, 16. Oktober 2014 treffen wir uns um 18.00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - außergewöhnliche klasseninstanzen (Identitätsmonade, Funktoren für Id, Const, WrappedMonad, WrappedArrow, Funktor und Monade für ((->) r), monoid für funktionen, ...) oder - Free Applicatives oder - Koinduktion und co-patterns -- BERICHT -- 5. Oktober 2014 - Wir haben uns ein Paar Code Katas auf codewars.com angeschaut. Jede Kata hat ganz viele Lösungen und Leute haben sehr ausgedachte und interessante lösungen gefunden! So kann man viel lernen. - Wir haben über das Spiel NIM gesprochen und darüber, wie man einen Bot dafür schreiben würde. -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6 Anfahrtmöglichkeiten: - S-Bahn nach Pasing nehmen (alle außer S1, S2 und S7) und dann Tram 19 nach Offenbachstraße (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstraße - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstraße - Bus 160 oder 162 nach Offenbachstraße India King befindet sich genau gegenüber der Tramhaltestelle. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org

1 0

[Munich-lisp] Haskell Hackathon 12.10.2014 - ungewöhnliche klassen, free applicatives, copatterns
by Haskell Hackathon 11 Oct '14

11 Oct '14

Hi *, am Sonntag, 12. Oktober 2014 treffen wir uns um 18.00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - außergewöhnliche klasseninstanzen (Identitätsmonade, Funktoren für Id, Const, WrappedMonad, WrappedArrow, Funktor und Monade für ((->) r), monoid für funktionen, ...) oder - Free Applicatives oder - Koinduktion und co-patterns -- BERICHT -- 22. September 2014 - wir haben über performance-analysis in Haskell gesprochen, was sind Cost Centres, usw - wir haben ein schwieriges Fall von Cabal Hell gelöst - wir haben uns das Code von Alex in seiner Datenbank angeschaut und uns überlegt wie wir es besser strukturieren könnten - wir haben über DSP gesprochen -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6 Anfahrtmöglichkeiten: - S-Bahn nach Pasing nehmen (alle außer S1, S2 und S7) und dann Tram 19 nach Offenbachstraße (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstraße - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstraße - Bus 160 oder 162 nach Offenbachstraße India King befindet sich genau gegenüber der Tramhaltestelle. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org

1 0

[Munich-lisp] Haskell Hackathon So. 5.10 18:00 - ungewöhnliche klassen, code katas
by Haskell Hackathon 04 Oct '14

04 Oct '14

Hi *, am Sonntag, 5. Oktober 2014 treffen wir uns um 18.00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - außergewöhnliche klasseninstanzen (Identitätsmonade, Funktoren für Id, Const, WrappedMonad, WrappedArrow, Funktor und Monade für ((->) r), monoid für funktionen, ...) oder - wir gehen ein paar code katas auf Code Wars durch: http://www.codewars.com/?language=haskell oder - Free Applicatives -- BERICHT -- 19. September 2014 - wir haben mit OpenGL gearbeitet und über transformationen nachgelesen - OpenGL ist nicht einfach! - wir haben uns Haxl angeschaut - wir haben über AMP (Applicative Monad Proposal) und applicative do gelesen -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6 Anfahrtmöglichkeiten: - S-Bahn nach Pasing nehmen (alle außer S1, S2 und S7) und dann Tram 19 nach Offenbachstraße (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstraße - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstraße - Bus 160 oder 162 nach Offenbachstraße India King befindet sich genau gegenüber der Tramhaltestelle. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org

1 0

[Munich-lisp] Munich Haskell Meeting
by hoerdegen＠laposte.net 27 Sep '14

27 Sep '14

Dear all, our next Haskell meeting in Munich takes place at Cafe Puck at 19h30 on Mon, 29th of September. Please go to http://www.haskell-munich.de/dates and click the button if you plan to join. Everyone is welcome! Heinrich

1 0