posted by organizer: davfuenmayor || 641 views || tracked by 1 users: [display]

PhDs in Logic 2020 : PhDs in Logic XII (2020)

FacebookTwitterLinkedInGoogle

Link: https://www.mi.fu-berlin.de/phdsinlogic2020/submissions.html
 
When Apr 27, 2020 - Apr 27, 2020
Where Berlin
Submission Deadline Jan 20, 2020
Notification Due Feb 28, 2020
Final Version Due Jan 10, 2020
Categories    philosophy of logic   philosophical logic   mathematical logic   computational logic
 

Call For Papers

“PhDs in Logic” is an annual graduate conference organized by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It involves tutorials by established researchers as well as short (20-25 minutes) presentations by PhD students, master students and first-year postdocs on their research.

We are happy to announce that the 12th edition of “PhDs in Logic” will take place at the Freie Universität Berlin, Germany, from April 27 to 29, 2020.
PhD students, master students and first-year postdocs in logic from disciplines, that include but are not limited to philosophy, mathematics and computer science are invited to submit an extended abstract on their research.

Submitted abstracts should be no longer than 2 pages, including the relevant references. Each abstract will be anonymously reviewed by the scientific committee. Accepted abstracts will be presented by their authors in a short presentation during the conference.


The (extended!) deadline for abstract submission is 20th January 2020, and the notification of acceptance will be sent by 28th February 2020. Please submit your anonymized abstract in the Easychair format via: https://easychair.org/conferences/?conf=phdsinlogic2020


We welcome students to participate in PhDs in Logic XII regardless of whether they want to submit a contribution. Students interested in participating, even without giving a talk, are kindly asked to register.

Related Resources

ICLP 2020   The 36th International Conference on Logic Programming
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
ICALP 2020   47th International Colloquium on Automata, Languages and Programming
IJCAR 2020   10th International Joint Conference on Automated Reasoning
LICS 2020   Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science
CONCUR 2020   31st International Conference on Concurrency Theory
FPL 2020   30th International Conference on Field-Programmable Logic and Applications (FPL2020)
LPAR 2020   LPAR23 - 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
PRIMA 2020   The 23nd International Conference on Principles and Practice of Multi-Agent Systems
EXPRESS/SOS 2020   Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics