posted by user: EasyConferences || 1308 views || tracked by 2 users: [display]

PLS 2017 : 11th Panhellenic Logic Symposium

FacebookTwitterLinkedInGoogle

Link: http://pls11.cs.ntua.gr/
 
When Jul 12, 2017 - Jul 16, 2017
Where Delphi
Submission Deadline Apr 12, 2017
Notification Due May 12, 2017
Final Version Due Jun 2, 2017
Categories    logic   computer acience
 

Call For Papers

Second Call for Papers
**********************
The Scientific Committee cordially invites all researchers in the area of the conference to submit their papers until Wednesday, April 12, 2017 (in PDF-format, in English, at most 6 pages) for presentation at PLS11. Papers should be prepared using the EasyChair class style and submitted electronically, using the Easy Chair conference system.

All submitted papers will be reviewed by the Scientific Committee of the symposium, who will make final decisions on acceptance. Authors of submitted papers will be notified of the decision by Friday May 12, 2017. Camera-ready papers will be due by Friday June 2, 2017 for inclusion in the symposium proceedings which will be distributed to all participants. During the symposium, each accepted paper will be presented (a twenty minutes talk) by one of its authors, with five extra minutes for questions.

If possible, each submitted paper should be classified in one of the following areas:

Ancient Logic
Computability Theory
History and Philosophy of Logic
Logic in Computer Science
Model Theory
Nonclassical and Modal Logics
Proof Theory
Set Theory

Poster Session
**************
Graduate students and young researchers are invited to submit a short abstract on work in progress. Authors of accepted abstracts will have an opportunity to present their results in poster form in a special poster session. Interested students and young researchers should submit abstracts of no more than one page in PDF form by Friday, June 2, by sending them to: pls11@softlab.ntua.gr.

Related Resources

ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
ICLP 2020   The 36th International Conference on Logic Programming
CONCUR 2020   31st International Conference on Concurrency Theory
UNIF 2020   The 34th International Workshop on Unification
ICALP 2020   47th International Colloquium on Automata, Languages and Programming
EXPRESS/SOS 2020   Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
IJCAR 2020   10th International Joint Conference on Automated Reasoning
IULP 2020   3rd International Workshop on User-Oriented Logic Paradigms
LICS 2020   Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science
LPAR 2020   LPAR23 - 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning