[Agda] Trends in Functional Programming: deadline for extended abstracts extended

Andreas Abel abela at chalmers.se
Wed May 2 13:08:52 CEST 2018


Dear colleagues,

TFP is taking place in Gothenburg this year in June (11-13), right after 
the Agda meeting.

The deadline for draft papers has been extended.  At this point, 
"submissions can be quite light-weight extended abstracts without much 
technical content. They should give us an idea of whether the talk would 
be relevant to TFP. The proper paper for formal review would be 
submitted in August."  (message from the organizer)

   http://www.cse.chalmers.se/~myreen/tfp2018/cfp.html

Please consider submitting to TFP!

Best,
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://www.cse.chalmers.se/~abela/


More information about the Agda mailing list