[Agda] LFMTP abstracts due 1st May

[Andreas Abel]

Hi,

this is a final reminder for workshop LFMTP contributions.  Abstracts 
are due this Friday, papers one week later.

   http://lfmtp.org/workshops/2015/

Cheers,
Andreas

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/