* LICS 2016 - Call for Workshop Proposals
@ 2015-11-11 15:21 Sam Staton
0 siblings, 0 replies; 2+ messages in thread
From: Sam Staton @ 2015-11-11 15:21 UTC (permalink / raw)
To: las-lics-Xt5XgHjqiBV35pIdRWVIsoQuADTiUCJX,
types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8,
ProofTheory.List-Re5JQEeQqe8AvxtiuMwx3w,
GAMES-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR, categories-59hdLBrVOVU,
concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/,
finite-model-theory-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR,
appsem-YE1jQ5a0g27r6u3/gjwTbCOeiWZ7kpuZ,
lfcs-interest-9iOJEv++55WFxr2TtlUqVg,
linear-UfE5FQABeHN2Qaki92YDXw, prog-lang-dAYI7NvHqcQ,
theorem-provers-iSp611qFfoI3uPMLIKxrzw,
theory-logic-ETDLCGt7PQU3uPMLIKxrzw,
Cc: bouyer-ZU0/DQuYMGQ
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call for Workshop Proposals
LICS 2016
31st ACM/IEEE Symposium on Logic In Computer Science
http://lics.rwth-aachen.de/lics16/
The thirty-first ACM/IEEE Symposium on Logic In Computer Science
(LICS 2016) will be held in New York City, USA on July 5–8, 2016. It
will be followed by IJCAI (International Joint Conference on
Artificial Intelligence). The workshops will take place between the
two conferences, on July 9–10, 2016.
Researchers and practitioners are invited to submit proposals for
workshops on topics relating logic – broadly construed – to computer
science or related fields. Typically, LICS workshops feature a number
of invited speakers and a number of contributed presentations. LICS
workshops do not usually produce formal proceedings. However, in the
past there have been special issues of journals based in part on
certain LICS workshops.
Proposals should include:
- A short scientific summary and justification of the proposed topic.
This should include a discussion of the particular benefits of the
topic to the LICS community.
- A discussion of the proposed format and agenda.
- The proposed duration, which is typically one day (two-day
workshops can be accommodated too).
- The preferred date.
- Procedures for selecting participants and papers.
- Expected number of participants. This is important for the room!
- Potential invited speakers.
- Plans for dissemination (for example, special issues of journals).
Proposals should be submitted on the Easychair system:
https://easychair.org/conferences/?conf=workshopslics2016
Important Dates:
Submission deadline: December 4, 2015
Notification: December 18, 2015
Program of the workshops ready: April 29, 2016
Workshops: July 9–10, 2016
LICS conference: July 5–8, 2016.
The workshops selection committee consists of the LICS General Chair,
LICS Workshops Chair, LICS 2016 PC Chair and LICS 2016 Conference
Chair.
^ permalink raw reply [flat|nested] 2+ messages in thread
* LICS 2016 - Call for Workshop Proposals
@ 2015-11-11 15:21 Sam Staton
0 siblings, 0 replies; 2+ messages in thread
From: Sam Staton @ 2015-11-11 15:21 UTC (permalink / raw)
To: categories
Call for Workshop Proposals
LICS 2016
31st ACM/IEEE Symposium on Logic In Computer Science
http://lics.rwth-aachen.de/lics16/
The thirty-first ACM/IEEE Symposium on Logic In Computer Science
(LICS 2016) will be held in New York City, USA on July 5–8, 2016. It
will be followed by IJCAI (International Joint Conference on
Artificial Intelligence). The workshops will take place between the
two conferences, on July 9–10, 2016.
Researchers and practitioners are invited to submit proposals for
workshops on topics relating logic – broadly construed – to computer
science or related fields. Typically, LICS workshops feature a number
of invited speakers and a number of contributed presentations. LICS
workshops do not usually produce formal proceedings. However, in the
past there have been special issues of journals based in part on
certain LICS workshops.
Proposals should include:
- A short scientific summary and justification of the proposed topic.
This should include a discussion of the particular benefits of the
topic to the LICS community.
- A discussion of the proposed format and agenda.
- The proposed duration, which is typically one day (two-day
workshops can be accommodated too).
- The preferred date.
- Procedures for selecting participants and papers.
- Expected number of participants. This is important for the room!
- Potential invited speakers.
- Plans for dissemination (for example, special issues of journals).
Proposals should be submitted on the Easychair system:
https://easychair.org/conferences/?conf=workshopslics2016
Important Dates:
Submission deadline: December 4, 2015
Notification: December 18, 2015
Program of the workshops ready: April 29, 2016
Workshops: July 9–10, 2016
LICS conference: July 5–8, 2016.
The workshops selection committee consists of the LICS General Chair,
LICS Workshops Chair, LICS 2016 PC Chair and LICS 2016 Conference
Chair.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2015-11-11 15:21 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-11-11 15:21 LICS 2016 - Call for Workshop Proposals Sam Staton
2015-11-11 15:21 Sam Staton
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).