- finite-model-theory - lists.rwth-aachen.de

FSCD 2019 - Early registration ends soon (May 13th)
by Sandra Alves 10 May '19

10 May '19

(Apologies for multiple copies of this announcement. Please circulate.) ================================================================== EARLY REGISTRATION ENDS MAY 13th Program available at: http://easyconferences.eu/fscd2019/program/ ================================================================== CALL FOR PARTICIPATION Fourth International Conference on Formal Structures for Computation and Deduction (FSCD 2019) 24 -- 30 June 2019, Dortmund, Germany http://easyconferences.eu/fscd2019/ <http://easyconferences.eu/fscd2019/> FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms). REGISTRATION The registration page is already open and linked from: http://easyconferences.eu/fscd2019/registration-2/ <http://easyconferences.eu/fscd2019/registration-2/> The early registration deadline is *** 13 May 2019 ***. (for more details please visit the conference webpage). INVITED SPEAKERS Titles and abstracts available at http://easyconferences.eu/fscd2019/invited-speakers/ <http://easyconferences.eu/fscd2019/invited-speakers/> * Beniamino Accattoli (INRIA, Paris, France) https://sites.google.com/site/beniaminoaccattoli/ <https://sites.google.com/site/beniaminoaccattoli/> * Amy Felty (University of Ottawa, Canada) http://www.site.uottawa.ca/~afelty/ <http://www.site.uottawa.ca/~afelty/> * Sarah Winkler (University of Innsbruck, Austria) http://cl-informatik.uibk.ac.at/users/swinkler/ <http://cl-informatik.uibk.ac.at/users/swinkler/> * Hongseok Yang (KAIST, Korea) https://sites.google.com/view/hongseokyang/ <https://sites.google.com/view/hongseokyang/> SATELLITE EVENTS - UNIF: 33rd International Workshop on Unification (http://www.mat.unb.br/unif2019 <http://www.mat.unb.br/unif2019>) - WPTE: 6th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (http://nigam.info/conferences/wpte2019/main.html <http://nigam.info/conferences/wpte2019/main.html>) - IWC: 8th International Workshop on Confluence (http://iwc2019.cic.unb.br <http://iwc2019.cic.unb.br/>) - TLLA: 3rd Trends in Linear Logic and Applications (http://tlla.linear-logic.org/2019 <http://tlla.linear-logic.org/2019>) - SD: 5th International Workshop on Structures and Deduction (http://www.anupamdas.com/sd19 <http://www.anupamdas.com/sd19>) - HOR: 10th International Workshop on Higher-Order Rewriting (http://imft.ftn.uns.ac.rs/HOR2019 <http://imft.ftn.uns.ac.rs/HOR2019>) - IFIP: 22nd IFIP Working Group 1.6: Rewriting (http://cbr.uibk.ac.at/ifip-wg1.6/events/event-2019.html <http://cbr.uibk.ac.at/ifip-wg1.6/events/event-2019.html>) PROGRAM CHAIR Herman Geuvers, Radboud U. Nijmegen CONFERENCE CHAIR Jakob Rehof, TU Dortmund LOCAL WORKSHOP CHAIR Boris Düdder, U. of Copenhagen PROGRAM COMMITTEE H. Geuvers, Radboud U. Nijmegen Z. Ariola, U. of Oregon M. Ayala Rincón, U. of Brasilia A. Bauer, U. of Ljubljana F. Bonchi, U. of Pisa S. Broda, U. of Porto U. Dal Lago, U. of Bologna & Inria U. De'Liguoro, U. of Torino D. Kapur, U. of New Mexico P. Dybjer, Chalmers U. of Technology M. Fernandez, King's College London J. Giesl, RWTH Aachen N. Hirokawa, JAIST S. Lucas, U. Politecnica de Valencia A. Middeldorp, U. of Innsbruck F. Pfenning, Carnegie Mellon U. B. Pientka, McGill U. J. van de Pol, Aarhus U. & U. of Twente F. van Raamsdonk, VU Amsterdam C. Schürmann, ITU Copenhagen P. Severi, U. of Leicester A. Silva, U. College London S. Staton, Oxford U. T. Streicher, TU Darmstadt A. Stump, U. of Iowa N. Tabareau, Inria S. Tison, U. of Lille A. Tiu, Australian National U. T. Tsukada, U. of Tokyo J. Urban, CTU Prague P. Urzyczyn, U. of Warsaw J. Waldmann, Leipzig U. of Applied Sciences STEERING COMMITTEE WORKSHOP CHAIR Jamie Vicary, Oxford U. PUBLICITY CHAIR Sandra Alves , Porto U. FSCD STEERING COMMITTEE S. Alves (Porto U.), M. Ayala-Rincón (Brasilia U.) C. Fuhs (Birkbeck, London U.) D. Kesner (Chair, Paris U.) H. Kirchner (Inria) N. Kobayashi (U. Tokyo) C. Kop (Radboud U. Nijmegen) D. Miller (Inria) L. Ong (Chair, Oxford U.) B. Pientka (McGill U.) S. Staton (Oxford U.) Looking forward to seeing you in Dortmund! ==================================================================

1 0

EXTENDED DEADLINE SIGLOG/VCLA TRAVEL AWARDS FOR WOMEN IN LOGIC WORKSHOP 2019 (WiL 2019) - May 21, 2019
by Mihaela Rozman 09 May '19

09 May '19

It is our pleasure to announce an extended deadline for the SIGLOG/VCLA Travel Awards for attendees of Women in Logic Workshop 2019 (WiL) associated with the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2019. ELIGIBILITY Thanks to the generous support of the SIGLOG and Vienna Center for Logic and Algorithms (VCLA), applications for awards are invited to facilitate students and postdocs, who are the authors of accepted talks and papers to register and travel to the WiL 2019 (June 23, 2019). SIGLOG/VCLA AWARDS -The awardees of the SIGLOG/VCLA Travel Award will be reimbursed for a portion of their travel expenses, and registration costs. -There will be at most one award per paper. APPLICATION PROCESS To submit a nomination for the SIGLOG/VCLA Travel Awards please include: 1. Basic information about the applicant 2. Information about her/his accepted WiL 2019 contribution 3. A statement about how attendance at WiL 2019 will impact the applicant 4. Resume/CV of the applicant 5. A nomination consists of a recommendation letter of up to 300 words by the applicant´s supervisor Please submit using the subject “WiL 2019 – Travel Awards” to the WiL Program Co-chairs, Valeria de Paiva at valeria.depaiva(a)gmail.com and Amy Felty atafelty(a)uottawa.ca SIGLOG/VCLA TRAVEL AWARDS IMPORTANT DATES -Nominations must arrive no later than May 21, 2019 -The winners will be notified by the end of May 25, 2019 More: https://sites.google.com/site/womeninlogic2019/call-for-papers

1 0

FMCAD 2019 Deadline Extension
by barrett＠cs.stanford.edu 09 May '19

09 May '19

CALL FOR PAPERS International Conference on Formal Methods in Computer-Aided Design (FMCAD) Hyatt Place San Jose Downtown, San Jose, California, USA, Oct 22 - 25, 2019 http://www.fmcad.org/FMCAD19 IMPORTANT DATES Abstract Submission (EXTENDED): May 17, 2019 Paper Submission (EXTENDED): May 24, 2019 Author Response Period: June 17-21, 2019 Author Notification: July 3, 2019 Camera-Ready Version: Aug 16, 2019 All deadlines are 11:59 pm AoE (Anywhere on Earth) FMCAD Tutorial Day: Oct 22, 2019 Regular Program: Oct 23 - 25, 2019 Part of the FMCAD 2019 program - FMCAD Student Forum - Hardware Model Checking Competition CONFERENCE SCOPE AND PUBLICATION FMCAD 2019 is the nineteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. FMCAD employs a rigorous peer-review process. Accepted papers are distributed through both ACM and IEEE digital libraries. In addition, published articles are made available freely on the conference page; the authors retain the copyright. There are no publication fees. At least one of the authors is required to register for the conference and present the accepted paper. A small number of outstanding FMCAD submissions will be considered for inclusion in a Special Issue of the journal on Formal Methods in System Design (FMSD). TOPICS OF INTEREST FMCAD welcomes submission of papers reporting original research on advances in all aspects of formal methods and their applications to computer-aided design. Topics of interest include (but are not limited to): - Model checking, theorem proving, equivalence checking, abstraction and reduction, compositional methods, decision procedures at the bit- and word-level, probabilistic methods, combinations of deductive methods and decision procedures. - Synthesis and compilation for computer system descriptions, modeling, specification, and implementation languages, formal semantics of languages and their subsets, model-based design, design derivation and transformation, correct-by-construction methods. - Application of formal and semi-formal methods to functional and non-functional specification and validation of hardware and software, including timing and power modeling, verification of computing systems on all levels of abstraction, system-level design and verification for embedded systems, cyber-physical systems, automotive systems and other safety-critical systems, hardware-software co-design and verification, and transaction-level verification. - Experience with the application of formal and semi-formal methods to industrial-scale designs; tools that represent formal verification enablement, new features, or a substantial improvement in the automation of formal methods. - Application of formal methods to verifying safety, connectivity and security properties of networks, distributed systems, smart contracts, blockchains, and IoT devices. SUBMISSIONS Submissions must be made electronically in PDF format via EasyChair: https://easychair.org/conferences/?conf=fmcad2019 Two categories of papers are invited: Regular papers, and Tool & Case Study papers. Regular papers are expected to offer novel foundational ideas, theoretical results, or algorithmic improvements to existing methods, along with experimental impact validation where applicable. Tool & Case Study papers are expected to report on the design, implementation or use of verification (or related) technology in a practically relevant context (which need not be industrial), and its impact on design processes. Both Regular and Tool & Case study papers must use the IEEE Transactions format on letter-size paper with a 10-point font size. Papers in both categories can be either 8 pages (long) or 4 pages (short) in length not including references. Short papers that describe emerging results, practical experiences, or original ideas that can be described succinctly are encouraged. Authors will be required to select an appropriate paper category at abstract submission time. Submissions may contain an optional appendix, which will not appear in the final version of the paper. The reviewers should be able to assess the quality and the relevance of the results in the paper without reading the appendix. Submissions in both categories must contain original research that has not been previously published, nor is concurrently submitted for publication. Any partial overlap with published or concurrently submitted papers must be clearly indicated. If experimental results are reported, authors are strongly encouraged to provide the reviewers access to their data at submission time, so that results can be independently verified. The review process is single blind. STUDENT FORUM Continuing the tradition of the previous years, FMCAD 2019 is hosting a Student Forum that provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback. Submissions for the event must be short reports describing research ideas or ongoing work that the student is currently pursuing, and must be within the scope of FMCAD. Work, part of which has been previously published, will be considered; the novel aspect to be addressed in future work must be clearly described in such cases. All submissions will be reviewed by a select group of FMCAD program committee members. FMCAD 2019 COMMITTEES PROGRAM CHAIRS: Clark Barrett, Stanford University Jin Yang, Intel Corporation PROGRAM COMMITTEE: Erika Abraham, Aachen University June Andronick, CSIRO|Data61 and UNSW Timos Antonopoulos, Yale University Armin Biere, Johannes Kepler University Per Bjesse, Synopsys Jasmin Blanchette, Inria Nancy Roderick Bloem, Graz University of Technology Gianpiero Cabodi, Politechnico Torino Supratik Chakraborty, IIT Bombay Sylvain Conchon, Universite Paris-Sud Vijay D'Silva, Google Rayna Dimitrova, University of Leicester Malay Ganai, Synopsys Alberto Griggio, Fondazione Bruno Kessler Liana Hadarean, Amazon Joe Hendrix, Galois Marijn Heule, University of Texas at Austin Warren Hunt, University of Texas at Austin Alexander Ivrii, IBM George Karpenkov, Google Panagiotis Manolios, Northeastern University Ken McMillan, Microsoft Research Rajdeep Mukherjee, Cadence Alexander Nadel, Intel Corporation Corina Pasareanu, NASA/CMU Sandip Ray, University of Florida Giles Reger, University of Manchester Anna Slobodova, Centaur Armando Solar-Lezama, Massachusetts Institute of Technology Niklas S��rensson, Mentor Graphics Daryl Stewart, ARM Christoph Sticksel, MathWorks Chao Wang, University of Southern California Georg Weissenbacher, Vienna University of Technology Zhenkun Yang, Intel Corporation Lenore Zuck, University of Illinois at Chicago TUTORIAL CHAIR: Sandip Ray, University of Florida STUDENT FORUM CHAIRS: Grigory Fedyukovich, Princeton University WEBMASTER: Tom van Dijk, Johannes Kepler University LOCAL ARRANGEMENT: Yoni Zohar, Stanford University PUBLICATION CHAIR: Florian Lonsing, Stanford University FMCAD STEERING COMMITTEE: Armin Biere, Johannes Kepler University Alan Hu, University of British Columbia Warren Hunt, University of Texas at Austin Vigyan Singhal, Oski Tech Georg Weissenbacher, Vienna University of Technology

1 0

QBF 2019 - second call for papers
by HUBERT MING CHEN 07 May '19

07 May '19

[We apologize if you receive multiple copies of this call] ---------------------------------------------------------------------- CALL FOR PAPERS QBF 2019 -------- International Workshop on Quantified Boolean Formulas and Beyond Lisbon, Portugal, July 7, 2019 http://fmv.jku.at/qbf19/ Affiliated to and co-located with: Int. Conf. on Theory and Applications of Satisfiability Testing (SAT'19) Lisbon, Portugal, July 7-12, 2019 ---------------------------------------------------------------------- Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. The decision problem of QBF is PSPACE-complete, compared to the NP-completeness of the decision problem of propositional logic (SAT). Many problems from application domains such as model checking, formal verification or synthesis are PSPACE-complete, and hence could be encoded in QBF in a natural way. Considerable progress has been made in QBF solving throughout the past years. However, in contrast to SAT, QBF is not yet widely applied to practical problems in academic or industrial settings. For example, the extraction and validation of models of (un)satisfiability of QBFs and has turned out to be challenging, given that state-of-the-art solvers implement different solving paradigms. The goal of the International Workshop on Quantified Boolean Formulas (QBF Workshop) is to bring together researchers working on theoretical and practical aspects of QBF solving. In addition to that, it addresses (potential) users of QBF in order to reflect on the state-of-the-art and to consolidate on immediate and long-term research challenges. The workshop also welcomes work on reasoning with quantifiers in related problems, such as dependency QBF (DQBF), quantified constraint satisfaction problems (QCSP), and satisfiability modulo theories (SMT) with quantifiers. =============== INVITED SPEAKER =============== Alexander Feldman, PARC =============== IMPORTANT DATES =============== May 15: Submission June 1: Notification June 15: Camera-ready versions Please see the workshop webpage for any updates: http://fmv.jku.at/qbf19/ ====================== CALL FOR CONTRIBUTIONS ====================== The workshop is concerned with all aspects of current research on all formalisms enriched by quantifiers, and in particular QBF. The topics of interest include (but are not limited to): Applications, encodings and benchmarks with quantifiers QBF Proof theory and complexity results Experimental evaluations of solvers or related tools Case studies illustrating the power of quantifiers Certificates and proofs for QBF, QCSP, SMT with quantifiers, etc. Formats of proofs and certificates Implementations of proof checkers and verifiers Decision procedures Calculi and their relationships Data structures, implementation details and heuristics Pre- and inprocessing techniques Structural reasoning ========== SUBMISSION ========== Submissions of extended abstracts are invited and will be managed via Easychair: https://easychair.org/conferences/?conf=qbf19 In particular, we invite the submission of extended abstracts on work that has been published already, novel unpublished work, or work in progress. The following forms of submissions are solicited: - Proposals for short tutorial presentations on topics related to the workshop. Tutorial proposals will be reviewed by the PC. The number of accepted tutorials depends on the overall number of accepted papers and talks, with the aim to set up a balanced workshop program. - Talk abstracts reporting on already published work. Such an abstract should include an outline of the planned talk, and pointers to relevant bibliography. - Talk proposals presenting work that is unpublished or in progress. - Submissions which describe novel applications of QBF or related formalisms in various domains are particularly welcome. Additionally, this call comprises known applications which have been shown to be hard for QBF solvers in the past as well as new applications for which present QBF solvers might lack certain features still to be identified. Each submission should have an overall length of 1-4 pages in LNCS format. Authors may decide to include an appendix with additional material. Appendices will be considered at the reviewers' discretion. The accepted extended abstracts will be published on the workshop webpage. The workshop does not have formal proceedings. Authors of accepted contributions are expected to give a talk at the workshop. ======= CONTACT ======= qbf19(a)easychair.org =============================== PROGRAM CHAIRS AND ORGANIZATION =============================== Hubie Chen, Birbeck, University of London Florian Lonsing, Stanford University Martina Seidl, University of Linz, Austria Friedrich Slivovsky, TU Wien, Austria

1 0

FroCoS and TABLEAUX 2019 (London): SECOND (AND FINAL) DEADLINE EXTENSION
by Andrei Popescu 07 May '19

07 May '19

Dear potential authors and registered authors who wish to polish your submissions, We have decided to issue a second (and final) deadline extension of four days for the 2019 joint editions of the FroCoS and TABLEAUX conferences. The new deadlines are: 10 May 2019 (abstract), 12 May 2019 (paper) We hope to see many of you this September in London! Best wishes, Serenella Cerrito, Andreas Herzig, Andrei Popescu and Franco Raimondi (PC chairs and local organizers) Conference websites: https://frocos2019.org, https://www.tableaux2019.org Contact: chair(a)frocos2019.org, chair(a)tableaux2019.org

1 0

CfP: AIRLangComp'19: AI aspects in Reasoning, Languages, and Computation 2019
by Roussanka Loukanova 02 May '19

02 May '19

CALL FOR PAPERS 4th International Workshop on AI aspects in Reasoning, Languages, and Computation 2019 (AIRLangComp'19) https://www.fedcsis.org/2019/airlangcomp Leipzig, Germany, 1 - 4 September, 2019 There is general realization that computational models of human reasoning can be improved by integration of heterogeneous resources of information and AI techniques, e.g., multidimensional diagrams, images, language, syntax, semantics, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual area related to information, formal and natural languages, computation, reasoning. Topics We welcome submissions of papers on the following topics, without limiting to them, across approaches, methods, theories, and applications: - Reasoning systems --- theories and applications - Proof systems and model checkers - Theories of computation and information - Interactive computation and reasoning - Computation and reasoning with heterogeneous information - Space and time in information, language, computation, reasoning, and memory - Partiality, underspecification, vagueness, and possibilities - Computation and reasoning with heterogeneous or inconsistent information - Logic and (formal and natural) language --- approaches, theories, methods - Logic approaches to computational linguistics - Computational morphology, syntax, semantics, and interfaces between these - Constraint-based and type-theoretic approaches to grammar - Multilingual processing - Logic and theories of computation in machine learning and information retrieval - Mathematics for computational linguistics and cognitive science - Reasoning, information, computation, and memory in computational neuroscience and life sciences - Interdisciplinary approaches to language, computation, reasoning, memory Important Dates - Paper submission (sharp / no extension): May 14, 2019 - Position paper submission: June 4, 2019 - Author notification: June 25, 2019 - Final paper submission and registration: July 10, 2019 - Final deadline for discounted fee: August 1, 2019 -Conference date: September 1-4, 2019 Paper Submission and Publications The publication rules, status, and the submission page for AIRLangComp'19 are the same as for AAIA'19 | FedCSIS: https://www.fedcsis.org/2019/instructions https://www.fedcsis.org/2019/airlangcomp Paper Submission - Authors should submit draft papers (as Postscript, PDF or MSWord file) - The total length of a paper should not exceed 10 pages IEEE style (including tables, figures and references). IEEE style templates are available here - Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop - Preprints containing accepted papers will be published on a USB memory stick provided to the FedCSIS participants - Only papers presented at the conference will be published in Conference Proceedings and submitted for inclusion in the IEEE Xplore® database -Conference proceedings will be published in a volume with ISBN, ISSN and DOI numbers and posted at the conference WWW site - Conference proceedings will be indexed in BazEkon and submitted for indexation in: Thomson Reuters - Conference Proceedings Citation Index, SciVerse Scopus, Inspec, Index Copernicus, DBLP Computer Science Bibliography and Google Scholar - Extended versions of selected papers presented during the conference will be published as Special Issue(s) - Organizers reserve right to move accepted papers between FedCSIS events Event Chairs - Grabowski, Adam, Institute of Informatics, University of Bialystok, Bialystok, Poland - Loukanova, Roussanka, Stockholm University, Sweden - Schwarzweller, Christoph, Institute of Informatics, University of Gdansk, Poland Contact: airlangcomp2019(a)fedcsis.org -------------------------------------------------------------

1 0

Addition to mailing list
by Jason Parker 29 Apr '19

29 Apr '19

Hello, If possible, I would like to be added to this mailing list. I am currently a Ph.D student in mathematics (focusing on logic) at the University of Ottawa. Thank you, Jason Parker

1 0

ESSLLI 2020: 2nd Call for Course and Workshop Proposals
by Kontinen, Juha A 25 Apr '19

25 Apr '19

Call for Course and Workshop Proposals 32nd European Summer School in Logic, Language and Information - ESSLLI 2020 3-14 August, 2020, Utrecht, The Netherlands https://www.esslli.eu<https://www.esslli.eu/> IMPORTANT DATES 1 June 2019: Proposal submission deadline 14 September 2019: Notification SUBMISSION PORTAL Please submit your proposals here: https://easychair.org/conferences/?conf=esslli20 Under the auspices of FoLLI the European Summer School in Logic, Language, and Information (ESSLLI) is organized every year in a different European country. It takes place over two weeks in the European Summer, hosts approximately 50 different courses at both the introductory and advanced levels, attracting around 400 participants each year from all the world. The main focus of the program of the summer schools is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited lectures. TOPICS AND FORMAT Proposals for courses and workshops at ESSLLI 2020 are invited in all areas of Logic, Linguistics and Computer Sciences. Cross-disciplinary and innovative topics are particularly encouraged. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposals for two-week courses should be structured and submitted as two independent one-week courses, e.g. as an introductory course followed by an advanced one. In such cases, the ESSLLI programme committee reserves the right to accept just one of the two proposals. All instructional and organizational work at ESSLLI is performed completely on a voluntary basis, so as to keep participation fees to a minimum. However, organizers and instructors have their registration fees waived, and are reimbursed for travel and accommodation expenses up to a level to be determined and communicated with the proposal notification. ESSLLI can only guarantee reimbursement for at most one course/workshop organizer, and can not guarantee full reimbursement of travel costs for lecturers or organizers from outside of Europe. The ESSLLI organizers would appreciate any help in controlling the School's expenses by seeking complete coverage of travel and accommodation expenses from other sources. The organizers want to point at the possibility of an EACSL sponsorship, mentioned at the end of this call. CATEGORIES Each proposal should fall under one of the following categories. * FOUNDATIONAL COURSES * Such courses are designed to present the basics of a research area, to people with no prior knowledge in that area. They should be of elementary level, without prerequisites in the course's topic, though possibly assuming a level of general scientific maturity in the relevant discipline. They should enable researchers from related disciplines to develop a level of comfort with the fundamental concepts and techniques of the course's topic, thereby contributing to the interdisciplinary nature of our research community. * INTRODUCTORY COURSES * Introductory courses are central to ESSLLI's mission. They are intended to introduce a research field to students, young researchers, and other non-specialists, and to foster a sound understanding of its basic methods and techniques. Such courses should enable researchers from related disciplines to develop some comfort and competence in the topic considered. Introductory courses in a cross-disciplinary area may presuppose general knowledge of the related disciplines. * ADVANCED COURSES * Advanced courses are targeted primarily to graduate students who wish to acquire a level of comfort and understanding in the current research of a field. * WORKSHOPS * Workshops focus on specialized topics, usually of current interest. Workshop organizers are responsible for soliciting papers and selecting the workshop programme. They are also responsible for publishing proceedings if they decide to have proceedings. PROPOSAL GUIDELINES Course and workshop proposals should closely follow these guidelines to ensure full consideration. Course and Workshop proposals can be submitted by no more than two lecturers/organizers and they are presented by no more than these two lecturers/organizers. All instructors and organizers must possess a PhD or equivalent degree by the submission deadline. Course proposals should mention explicitly the intended course category. Proposals for introductory courses should indicate the intended level, for example as it relates to standard textbooks and monographs in the area. Proposals for advanced courses should specify the prerequisites in detail. Proposals must be submitted in PDF format via: https://easychair.org/conferences/?conf=esslli2020 and include all of the following: a. Personal information for each proposer: Name, affiliation, contact address, email, homepage (optional) b. General proposal information: Title, category c. Contents information: Abstract of up to 150 words Motivation and description (up to two pages) Tentative outline Expected level and prerequisites Appropriate references (e.g. textbooks, monographs, proceedings, surveys) d. Practical information: Relevant preceding meetings and events, if applicable Potential external funding for participants EACSL SPONSORSHIP The EACSL offers to act as a sponsor for one course or workshop in the areas of Logic and Computation covered by the Computer Science Logic (CSL) conferences. This course or workshop will be designated an EACSL course/workshop. If you wish to be considered for this, please indicate so on your proposal. PROGRAMME COMMITTEE Chair: Raffaella Bernardi (University of Trento) Local Co-chair: Michael Moortgat (University of Utrecht) Area Chairs: Language and Computation (LaCo): Stella Frank (Center for Language Evolution, University of Edinburgh) Laura Rimell (DeepMind) Bonnie Webber (School of Informatics, University of Edinburgh) Language and Logic (LaLo): Salvador Mascarenhas (Ecole Normale Supérieure) Anna Szabolcsi (New York University) Igor Yanovich (Tübingen University) Logic and Computation (LoCo): Rajeev Goré, The Australian National University Juha Kontinen, University of Helsinki Magdalena Ortiz, TU Wien Please send any queries to esslli20pc(a)gmail.com<mailto:esslli20pc@gmail.com>

1 0

FMCAD 2019 Second CFP
by barrett＠cs.stanford.edu 25 Apr '19

25 Apr '19

CALL FOR PAPERS International Conference on Formal Methods in Computer-Aided Design (FMCAD) Hyatt Place San Jose Downtown, San Jose, California, USA, Oct 22 - 25, 2019 http://www.fmcad.org/FMCAD19 IMPORTANT DATES Abstract Submission: May 10, 2019 Paper Submission: May 17, 2019 Author Response Period: June 17-21, 2019 Author Notification: July 3, 2019 Camera-Ready Version: Aug 16, 2019 All deadlines are 11:59 pm AoE (Anywhere on Earth) FMCAD Tutorial Day: Oct 22, 2019 Regular Program: Oct 23 - 25, 2019 Part of the FMCAD 2019 program - FMCAD Student Forum - Hardware Model Checking Competition CONFERENCE SCOPE AND PUBLICATION FMCAD 2019 is the nineteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. FMCAD employs a rigorous peer-review process. Accepted papers are distributed through both ACM and IEEE digital libraries. In addition, published articles are made available freely on the conference page; the authors retain the copyright. There are no publication fees. At least one of the authors is required to register for the conference and present the accepted paper. A small number of outstanding FMCAD submissions will be considered for inclusion in a Special Issue of the journal on Formal Methods in System Design (FMSD). TOPICS OF INTEREST FMCAD welcomes submission of papers reporting original research on advances in all aspects of formal methods and their applications to computer-aided design. Topics of interest include (but are not limited to): - Model checking, theorem proving, equivalence checking, abstraction and reduction, compositional methods, decision procedures at the bit- and word-level, probabilistic methods, combinations of deductive methods and decision procedures. - Synthesis and compilation for computer system descriptions, modeling, specification, and implementation languages, formal semantics of languages and their subsets, model-based design, design derivation and transformation, correct-by-construction methods. - Application of formal and semi-formal methods to functional and non-functional specification and validation of hardware and software, including timing and power modeling, verification of computing systems on all levels of abstraction, system-level design and verification for embedded systems, cyber-physical systems, automotive systems and other safety-critical systems, hardware-software co-design and verification, and transaction-level verification. - Experience with the application of formal and semi-formal methods to industrial-scale designs; tools that represent formal verification enablement, new features, or a substantial improvement in the automation of formal methods. - Application of formal methods to verifying safety, connectivity and security properties of networks, distributed systems, smart contracts, blockchains, and IoT devices. SUBMISSIONS Submissions must be made electronically in PDF format via EasyChair: https://easychair.org/conferences/?conf=fmcad2019 Two categories of papers are invited: Regular papers, and Tool & Case Study papers. Regular papers are expected to offer novel foundational ideas, theoretical results, or algorithmic improvements to existing methods, along with experimental impact validation where applicable. Tool & Case Study papers are expected to report on the design, implementation or use of verification (or related) technology in a practically relevant context (which need not be industrial), and its impact on design processes. Both Regular and Tool & Case study papers must use the IEEE Transactions format on letter-size paper with a 10-point font size. Papers in both categories can be either 8 pages (long) or 4 pages (short) in length not including references. Short papers that describe emerging results, practical experiences, or original ideas that can be described succinctly are encouraged. Authors will be required to select an appropriate paper category at abstract submission time. Submissions may contain an optional appendix, which will not appear in the final version of the paper. The reviewers should be able to assess the quality and the relevance of the results in the paper without reading the appendix. Submissions in both categories must contain original research that has not been previously published, nor is concurrently submitted for publication. Any partial overlap with published or concurrently submitted papers must be clearly indicated. If experimental results are reported, authors are strongly encouraged to provide the reviewers access to their data at submission time, so that results can be independently verified. The review process is single blind. STUDENT FORUM Continuing the tradition of the previous years, FMCAD 2019 is hosting a Student Forum that provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback. Submissions for the event must be short reports describing research ideas or ongoing work that the student is currently pursuing, and must be within the scope of FMCAD. Work, part of which has been previously published, will be considered; the novel aspect to be addressed in future work must be clearly described in such cases. All submissions will be reviewed by a select group of FMCAD program committee members. FMCAD 2019 COMMITTEES PROGRAM CHAIRS: Clark Barrett, Stanford University Jin Yang, Intel Corporation PROGRAM COMMITTEE: Erika Abraham, Aachen University June Andronick, CSIRO|Data61 and UNSW Timos Antonopoulos, Yale University Armin Biere, Johannes Kepler University Per Bjesse, Synopsys Jasmin Blanchette, Inria Nancy Roderick Bloem, Graz University of Technology Gianpiero Cabodi, Politechnico Torino Supratik Chakraborty, IIT Bombay Sylvain Conchon, Universite Paris-Sud Vijay D'Silva, Google Rayna Dimitrova, University of Leicester Malay Ganai, Synopsys Alberto Griggio, Fondazione Bruno Kessler Liana Hadarean, Amazon Joe Hendrix, Galois Marijn Heule, University of Texas at Austin Warren Hunt, University of Texas at Austin Alexander Ivrii, IBM George Karpenkov, Google Panagiotis Manolios, Northeastern University Ken McMillan, Microsoft Research Rajdeep Mukherjee, Cadence Alexander Nadel, Intel Corporation Corina Pasareanu, NASA/CMU Sandip Ray, University of Florida Giles Reger, University of Manchester Anna Slobodova, Centaur Armando Solar-Lezama, Massachusetts Institute of Technology Niklas S��rensson, Mentor Graphics Daryl Stewart, ARM Christoph Sticksel, MathWorks Chao Wang, University of Southern California Georg Weissenbacher, Vienna University of Technology Zhenkun Yang, Intel Corporation Lenore Zuck, University of Illinois at Chicago TUTORIAL CHAIR: Sandip Ray, University of Florida STUDENT FORUM CHAIRS: Grigory Fedyukovich, Princeton University WEBMASTER: Tom van Dijk, Johannes Kepler University LOCAL ARRANGEMENT: Yoni Zohar, Stanford University PUBLICATION CHAIR: Florian Lonsing, Stanford University FMCAD STEERING COMMITTEE: Armin Biere, Johannes Kepler University Alan Hu, University of British Columbia Warren Hunt, University of Texas at Austin Vigyan Singhal, Oski Tech Georg Weissenbacher, Vienna University of Technology

1 0

EXTENDED DEADLINE FOR ABSTRACT SUBMISSION Conference Kurt Goedel's Legacy: Does Future lie in the Past?, July 25-27, 2019, VIENNA
by Mihaela Rozman 24 Apr '19

24 Apr '19

***Dear colleagues! The deadlines have been extended.*** Apologies for multiple copies*** The Kurt Goedel Society would like to cordially invite you to celebration of the 70th anniversary of Goedel's seminal publication and the 100th anniversary of the decisive experimental verification of general relativity, taking place at the University of Vienna, July 25-27, 2019, with a conference: KURT GOEDEL`s LEGACY: DOES FUTURE LIE IN THE PAST? This event will bring together the most prominent researchers from the fields of Physics, Mathematics, Philosophy and Artificial Intelligence. The conference will be complemented by a special exhibition about life and work of Kurt Goedel with emphasis on the Goedel's solution. Program will consist of the invited talks, contributed talks and posters. Confirmed invited speakers include: Markus Aspelmeyer, John D.Barrow, Charles L. Bennett, David Bennett, George F.R. Ellis, Juliet Floyd, Georg Gottlob, Jan von Plato, Wolfgang Schleich, Marika Taylor, Toby Walsh, Nobel laureate Rainer Weiss and Palle Yourgrau. Dana Scott is the Honorary Chair of the Conference. ORGANIZERS AND SPONSORS Organized by the Kurt Goedel Society, with a kind support of the Institute of Discrete Mathematics and Geometry at TU Wien, ÖAW, TURIS, the Vienna Center for Logic and Algorithms (VCLA at TU WIEN), Universität Wien, Vienna Circle, and the Vienna Circle Society. NEW EXTENDED, AND IMPORTANT DATES May 15, 2019: Submission deadline for abstracts (presentations or posters) not exceeding 300 words June 1, 2019: Early registration deadline PROGRAM COMMITTEE -Peter C. Aichelburg, University of Vienna -Matthias Baaz, Vienna University of Technology (Chair) -Piotr T. Chruściel, University of Vienna -Daniel Grumiller, Vienna University of Technology -Gary Mar, Stony Brook University -Vesna Sabljakovic-Fritz, Vienna University of Technology and IJCAI -Karl Sigmund, University of Vienna -Friedrich K. Stadler, University of Vienna WEBSITE https://kgs.logic.at/goedels-legacy/ FACEBOOK EVENT https://www.facebook.com/events/301928290466410/ TWITTER #Time4Goedel

1 0