Andreas Abel
2018-05-02 11:08:52 UTC
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
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
***@gu.se
http://www.cse.chalmers.se/~abela/
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
***@gu.se
http://www.cse.chalmers.se/~abela/