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

[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