* LICS 2013 - Call for Short Presentations
[not found] ` <CAEEY9YD3GED6=iWaH8ED6W=0gLSpxdcoAz_QpaEBhq2kfVOg+w-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org>
@ 2013-04-01 22:41 ` Andrzej Murawski
0 siblings, 0 replies; only message in thread
From: Andrzej Murawski @ 2013-04-01 22:41 UTC (permalink / raw)
To: ProofTheory.List-Re5JQEeQqe8AvxtiuMwx3w,
finite-model-theory-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR,
GAMES-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR,
appsem-YE1jQ5a0g27r6u3/gjwTbCOeiWZ7kpuZ, categories-59hdLBrVOVU,
concurrency-ZS/VO/AiPhU, kgs-HovvXaEGyOEhHGrKhHam0bNldLUNz+W/,
lfcs-interest-9iOJEv++55WFxr2TtlUqVg,
linear-UfE5FQABeHN2Qaki92YDXw, logic-list-pxSi+dnQzZMxHbG02/KK1g,
theory-a-JX7+OpRa80RAtAYDKi7u6De48wsgrGvP, prog-lang-dAYI7NvHqcQ,
theorem-provers-iSp611qFfoI3uPMLIKxrzw,
theory-logic-ETDLCGt7PQU3uPMLIKxrzw,
agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB,
clp-re5r+meJ/dN84TsAtUCrkA, dbworld-hcNo3dDEHLuVc3sceRu5cw,
mizar-forum-3kmNp2L7irjE2AZUPHjMsA, pvs-1VPwtPCARB1BDgjK7y7TUQ,
asl-zka7wQWIdxI3uPMLIKxrzw, cade-YidNj35/HaM,
hol-info-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f,
ifip-wg1.6-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR,
nominal-isabelle-FZvl9tbPmRz/MRS1mQlstFWycimB1TWZEawiMLnGKIuELgA04lAiVw,
proofpower-YDg1Q0tcqk5l57MIdRCFDg,
rewriting-vYW+cPY1g1pWj0EZb7rXcA, twelf-list-YidNj35/HaM
**********************************************************
28th ACM/IEEE Symposium on Logic In Computer Science (LICS 2013)
June 25–28, 2013
New Orleans, USA
Call for Short Presentations
http://lii.rwth-aachen.de/lics/lics13/lics13-short.html
**********************************************************
As in the past, there will be a short-presentation session
during LICS 2013, which is intended for descriptions of works
in progress, student projects, trailers for longer presentations
at affiliated workshops, and relevant research being published
elsewhere; other brief communications may be acceptable. Talks
can be on any topic related to logic in computer science as summarized
in the LICS call for papers. Proceedings of these sessions will
not be published.
SUBMISSION INSTRUCTIONS
Proposals for short (10-minute) presentations must be submitted
in the IEEE (2-column; 10pt) proceedings format and must be 1 page long,
including references. Please refer to a longer version, should one be
available. Style files and instructions for using them can be found here.
(The file bare_conf.tex may be used as a template.)
The URL for submitting papers is
http://www.easychair.org/conferences/?conf=licsshort2013.
This link will bring you to the “Login Page for LICS 2013”. Either sign
in using your existing EasyChair account, or sign up for a new account.
You'll reach the “LICS 2013 (author)” page. The page should be
self-explanatory. To submit a paper, click “New Submission” on top and
follow instructions.
IMPORTANT DATES
Submission Deadline: 20 April 2013
Author Notification: 6 May 2013
Final Version Deadline: 30 May 2013
The submission server is open.
CONTACT
Program Chair
Orna Kupferman orna-NSemkxREmS1YZAO8hgG6+w@public.gmane.org
^ permalink raw reply [flat|nested] only message in thread