[SMT-LIB] TABLEAUX/FroCoS/ITP Call for Posters

Geoff Sutcliffe geoff at cs.miami.edu
Fri Feb 10 13:03:21 EST 2017


*******************************************************************************

                             CALL FOR POSTERS

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

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 organisers:

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



More information about the SMT-LIB mailing list