The 28th International Conference on Automated Deduction (CADE-28) Carnegie Mellon University, Pittsburgh, USA. 11-16th July 2021 http://www.cade-28.info In cooperation with ACM SIGLOG <https://siglog.acm.org> CADE will carefully monitor the development of the COVID-19 pandemic, and take guidance from the health authorities, to determine whether CADE-28 will be physical or online or hybrid. CADE is the major international forum for presenting research on all aspects of automated deduction. High-quality submissions on the general topic of automated deduction, including logical foundations, theory and principles, applications in and beyond STEM, implementations, and the use/contribution of automated deduction in AI, are solicited. CADE-28 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction.   Important Dates + Abstract deadline: 15 February 2021 + Submission deadline: 22 February 2021 + Rebuttal phase: 2 April 2021 + Notification: 19 April 2021 + Final version: 31 May 2021 + Conference: 12-15 July 2021   Submissions can be made in two categories: + Regular papers. Up to 15 pages in LNCS style. Proofs of theoretical results that do not fit in the page limit may be provided in an appendix. Reviewers may consider additional material in appendices, but submissions must be self- contained within the page limit. + Short papers (including system descriptions, user experiences, domain models, etc.) Up to 10 pages in LNCS style. Submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, originality, significance, correctness, and readability. If software or data is relevant to a paper, a link that provides access to the software/data must be provided to enable reproduction of results.  The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. The PC chairs may solicit further reviews after the rebuttal period. The proceedings of the conference will be published in the Springer LNCS/LNAI series. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.html Papers must be submitted to the CADE-28 track via https://easychair.org/conferences/?conf=cade28 All questions about submissions should be emailed to André Platzer (aplatzer@cs.cmu.edu) and Geoff Sutcliffe (geoff@cs.miami.edu).

We invite contributions to the Special Issue of Logic and Logical Philosophy (LLP): „Relating Logic and Relating Semantics” (https://apcz.umk.pl/czasopisma/index.php/LLP/index). High quality research papers concerning theory and applications of relating logics and relating semantics, including, but not limited to, the following topics, are welcome: – applications of relating semantics, – algebraic interpretation of relating logics, – comparison of relating semantics with other formal semantics, – history of relating logics, – modal extensions of relating logics, – model theory of relating logics, – philosophical logics defined by relating semantics, – proof theory for relating logics, – philosophical foundations of relating logics, – other related topics (like dependence logic, set-assignment semantics etc.).   Guest editors: Tomasz Jarmużek (Nicolaus Copernicus University in Toruń), Francesco Paoli (University of Cagliari, Italy).   Please submit your contributions by February 15th 2021. Full-text submissions should be sent to one of the addresses: – jarmuzek@umk.pl – paoli@unica.it   Contributions are welcome from philosophers, logicians, mathematicians, linguists, and computer scientists. More details about submissions can be found at: http://www.home.umk.pl/~llp/call_relating-logic.pdf