Skip to Content.
Sympa Menu

coq-club - [Coq-Club] TABLEAUX/FroCoS/ITP - Call for Posters

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] TABLEAUX/FroCoS/ITP - Call for Posters


Chronological Thread 
  • From: geoff AT cs.miami.edu (Geoff Sutcliffe)
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] TABLEAUX/FroCoS/ITP - Call for Posters
  • Date: Thu, 1 Jun 2017 09:02:01 -0400 (EDT)
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=geoff AT cs.miami.edu; spf=Pass smtp.mailfrom=geoff AT cs.miami.edu; spf=None smtp.helo=postmaster AT mcclellan.cs.miami.edu
  • Ironport-phdr: 9a23:Bs9qeRft7qRMwi6ABMFE/aOElGMj4u6mDksu8pMizoh2WeGdxcu/bB7h7PlgxGXEQZ/co6odzbGH7ea9BiRAuc/H6yFdNsQUFlcssoY/oU8JOI2/NQXDNvnkbig3ToxpdWRO2DWFC3VTA9v0fFbIo3e/vnY4ExT7MhdpdKyuQtaBx8u42Pqv9JLNfg5GmCSyYa9oLBWxsA7dqtQajZFsJ6s1yxbFuHtFduZLzm9sOV6fggzw68m08ZNh6Shcp+4t+8tdWqjmYqo0SqBVAzshP20p/sPnsgXNQxWS7XUGSGUWlRRIAwnB7B7kW5r6rzX3uOlg1iSEJMP6Vb87Vyis4KdtUx/olTwINyUl/2HNi8x/l7xUrRS8rBFi2YHUYYWVNP1jfqPBeN4RWGRMUtpNWyFHH4ixaZYEAegcMuZCt4TzuUYAoxiwCwesH+7j1iNEimPq0aEmz+gtDQfL1xEgEdIUt3TUqc34NKgMXuCywqnIwy7OYO9N2Tvn7YjIcwouofSNXb5qb8Xe1FQvHB7BgluRt4PlOD2V1uoQuGaG8upgSf6gi2omqwF/rDig2MIgh4/UjYwbzVDE8D92wIczJdCgVU57Z8WrHIFLuCGAMYZ9X8AsQ3lwtSonzrAKp4S3cSYXxJg9xBPSb+aLfomO7xn+TuieOy14i2hgeL+nhxa970ygyurkW8mxzFlFsi5FncfItnAJzRPT7NKLRedm/ku73DaP1hrc6uRFIUwui6XUNoMhzqYxlpoVr0vDAjf7lFjygaOIbEkp9PWk5/7kb7jivJORNpd4igTkPaQvnsy/D/44Mg8LX2WD9uSzyrrj/UP3QLhRkvI2ibPVsJXbJcsBo665AhVZ3Zg+5BaiFzumysgXnWEbLFJZfxKKl5TmO1bXIPzhEfi/h0msnyxwyvDdPrzhB43NIWLZnLfge7Z98U9cxxApwdBR/ZIHQo0Gdfn0Qwr6sMHSJh4/KQ29hej9W/tn0YZLVm+IDKGxO7iUtF6B4+NpLuWRLM86tTHzJbAe+uLliX43l1JcLvrh5ocedH3tRqcuGE6ee3e52to=

TABLEAUX/FroCoS/ITP
25-29 SEPTEMBER 2017 BRASILIA BRASIL

**Call for Posters**

TABLEAUX/FroCoS/ITP 2017 will have a poster session, which is intended for
descriptions of works in progress, student projects and relevant research
being published elsewhere.

Submissions should be in English, in the form of at most one page abstract,
ENTCS format containing title and authors name with affiliation. The files
should be sent directly to Elaine Pimentel
(elaine.pimentel AT gmail.com).

The deadline for posters submission is June 15, 2017. The notification will
be sent to authors June 30th.

Proceedings of this session will not be published. Formatting instructions
for posters will be made available soon.

For more information please contact the local organizers:

Elaine Pimentel
(elaine.pimentel AT gmail.com)

Daniele Nantes
(daniele.nantes AT gmail.com)

http://tableaux2017.cic.unb.br
http://frocos2017.cic.unb.br
http://itp2017.cic.unb.br


  • [Coq-Club] TABLEAUX/FroCoS/ITP - Call for Posters, Geoff Sutcliffe, 06/01/2017

Archive powered by MHonArc 2.6.18.

Top of Page