From haskell.hackathon at gmail.com  Sat Jan 10 23:41:38 2015
From: haskell.hackathon at gmail.com (Haskell Hackathon)
Date: Sun, 11 Jan 2015 00:41:38 +0100
Subject: [Munich-lisp] Haskell Hackathon 11.12.2014 12:00 - Agda, HoTT
Message-ID: <CALsRWzysTEwhS=FoH+D-WvvOuMkdVg7PUTcgu1_=m7bt3ou7Cw@mail.gmail.com>

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



From haskell.hackathon at gmail.com  Sat Jan 10 23:44:40 2015
From: haskell.hackathon at gmail.com (Haskell Hackathon)
Date: Sun, 11 Jan 2015 00:44:40 +0100
Subject: [Munich-lisp] Haskell Hackathon 11.12.2014 12:00 - Agda, HoTT
In-Reply-To: <CALsRWzysTEwhS=FoH+D-WvvOuMkdVg7PUTcgu1_=m7bt3ou7Cw@mail.gmail.com>
References: <CALsRWzysTEwhS=FoH+D-WvvOuMkdVg7PUTcgu1_=m7bt3ou7Cw@mail.gmail.com>
Message-ID: <CALsRWzyhoe4PCn4HLDYYWjiwO2ysaHAwRsxgXOsm=-QcNHNmZw@mail.gmail.com>

Zur klarifizierung: das Event findet um 18 Uhr statt. :-)

2015-01-11 0:41 GMT+01:00 Haskell Hackathon <haskell.hackathon at gmail.com>:
> 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



From chneukirchen at gmail.com  Fri Jan 23 15:23:17 2015
From: chneukirchen at gmail.com (Christian Neukirchen)
Date: Fri, 23 Jan 2015 16:23:17 +0100
Subject: [Munich-lisp] Munich Haskell Meeting, 2015-01-26 @ 19:30
Message-ID: <873871msgq.fsf@gmail.com>

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 at gmail.com>  http://chneukirchen.org



From didier at lrde.epita.fr  Sat Jan 24 10:09:30 2015
From: didier at lrde.epita.fr (Didier Verna)
Date: Sat, 24 Jan 2015 10:09:30 -0000
Subject: [Munich-lisp] [2nd CfP] European Lisp Symposium 2015, April 20-21,
	London
Message-ID: <muxvbjwebf1.fsf@lrde.epita.fr>


		 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