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

EXTENDED DEADLINE SIGLOG/VCLA TRAVEL AWARDS FOR WOMEN IN LOGIC WORKSHOP 2019 (WiL 2019) - May 21, 2019

von Mihaela Rozman

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

5 Jahre, 2 Monate

1
0
0 0

FMCAD 2019 Deadline Extension

von barrett＠cs.stanford.edu

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

5 Jahre, 2 Monate

1
0
0 0

QBF 2019 - second call for papers

von HUBERT MING CHEN

[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

5 Jahre, 2 Monate

1
0
0 0

FroCoS and TABLEAUX 2019 (London): SECOND (AND FINAL) DEADLINE EXTENSION

von Andrei Popescu

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

5 Jahre, 2 Monate

1
0
0 0

CfP: AIRLangComp'19: AI aspects in Reasoning, Languages, and Computation 2019

von Roussanka Loukanova

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 -------------------------------------------------------------

5 Jahre, 2 Monate

1
0
0 0

Addition to mailing list

von Jason Parker

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

5 Jahre, 2 Monate

1
0
0 0

ESSLLI 2020: 2nd Call for Course and Workshop Proposals

von Kontinen, Juha A

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>

5 Jahre, 2 Monate

1
0
0 0

FMCAD 2019 Second CFP

von barrett＠cs.stanford.edu

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

5 Jahre, 2 Monate

1
0
0 0

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

von Mihaela Rozman

***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

5 Jahre, 2 Monate

1
0
0 0

TABLEAUX 2019 (London): DEADLINE EXTENSION and final call for papers

von Andrei Popescu

TABLEAUX 2019 The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods London, UK, September 3-5, 2019 Website: https://www.tableaux2019.org Contact: chair(a)tableaux2019.org Due to requests from potential authors and from current authors wishing to polish their papers, we have extended the submission deadlines. The new deadlines are: 1 May 2019 (abstract), 8 May 2019 (paper) Authors who have a good paper and are in doubt whether to send it to TABLEAUX may note some highlights of this year's edition: two affiliated workshops, two affiliated tutorials, a financially supported best paper award for young researchers, five outstanding invited speakers (to be announced soon) and some support for young researchers traveling to the conference (including widely available cheap accommodation). We hope to see many of you this September in London -- in the beautiful campus of the Middlesex University, located 40 minutes from the city center and 20 minutes from Camden Town's iconic music venues! GENERAL INFORMATION The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019) will take place in London. It will be hosted by the Department of Computer Science at the Middlesex University London, on 3-5 September 2019. TABLEAUX is the main international conference at which research on all aspects -- theoretical foundations, implementation techniques, systems development and applications -- of the mechanization of tableaux-based reasoning and related methods is presented. The first TABLEAUX conference was held in Lautenbach near Karlsruhe, Germany, in 1992. Since then it has been organized on an annual basis; in 2001, 2004, 2006, 2008, 2010, 2012, 2014, 2016 and 2018 as a constituent of IJCAR. TABLEAUX 2019 will be co-located with the 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019). The conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions. SCOPE OF CONFERENCE Tableau methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For many logics, tableau methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis. Topics of interest include but are not limited to: * tableau methods for classical and non-classical logics (including first-order, higher-order, modal, temporal, description, hybrid, intuitionistic, substructural, fuzzy, relevance and non-monotonic logics) and their proof-theoretic foundations; * sequent calculi and natural deduction calculi for classical and non-classical logics, as tools for proof search and proof representation; * related methods (SMT, model elimination, model checking, connection methods, resolution, BDDs, translation approaches); * flexible, easily extendable, light-weight methods for theorem proving; novel types of calculi for theorem proving and verification in classical and non-classical logics; * systems, tools, implementations, empirical evaluations and applications (provers, proof assistants, logical frameworks, model checkers, etc.); * implementation techniques (data structures, efficient algorithms, performance measurement, extensibility, etc.); * extensions of tableau procedures with conflict-driven learning; * techniques for proof generation and compact (or humanly readable) proof representation; * theoretical and practical aspects of decision procedures; * applications of automated deduction to mathematics, software development, verification, deductive and temporal databases, knowledge representation, ontologies, fault diagnosis or teaching. We also welcome papers describing applications of tableau procedures to real-world examples. Such papers should be tailored to the tableau community and should focus on the role of reasoning and on logical aspects of the solution. SUBMISSION GUIDELINES Submissions are invited in three categories: (A) research papers reporting original theoretical research or applications, with length up to 15 pages excluding references; (B) system descriptions, with length up to 9 pages excluding references; (C) position papers and brief reports on work in progress, with length up to 9 pages excluding references. Submissions will be reviewed by the PC, possibly with the help of external reviewers, taking into account readability, relevance and originality. Any additional material (going beyond the page limit) can be included in a clearly marked appendix, which will be read at the discretion of the committee and must be removed for the camera-ready version. For category A submissions, the reported results must be original and not submitted for publication elsewhere. For category B submissions, a working implementation must be accessible via the internet. Authors are encouraged to publish the implementation under an open source license. The aim of a system description is to make the system available in such a way that people can use it, understand it, and build on it. Accepted papers in categories A and B will be published in the conference proceedings. Accepted papers in category C will be published as a Technical Report of the Middlesex University London. Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via the EasyChair system: http://easychair.org/conferences/?conf=tableaux2019 For all accepted papers at least one author is required to attend the conference and present the paper. A title and a short abstract of about 100 words must be submitted before the paper submission deadline. Formatting instructions and the LNCS style files can be obtained at http://www.springer.com/br/computer-science/lncs/conference-proceedings-gui… IMPORTANT DATES Abstract submission: 1 May 2019 Paper submission: 8 May 2019 Notification of paper decisions: 6 Jun 2019 Camera-ready papers due: 1 Jul 2019 TABLEAUX conference: 3-5 Sep 2019 PUBLICATION DETAILS The conference proceedings will be published in the Springer series Lecture Notes in Artificial Intelligence (LNAI/LNCS). BEST PAPER AWARDS The program committee will select (1) the TABLEAUX 2019 Best Paper and (2) the TABLEAUX 2019 Best Paper by a Junior Researcher, of which the latter will be supported by 500 Euros. Researchers will be considered junior if either they are students or their PhD degree date is less than two years from the first day of the meeting. "Paper by a Junior Researcher" means that the paper's main author(s) is/are junior; this information should be indicated by adding a star (*) at the submission's title and at the submission's junior author(s) name(s). The two awards will be presented at the conference. SUPPORT FOR STUDENT AND YOUNG RESEARCHER PARTICIPATION We have some limited funding for supporting students and young researchers traveling to the conference -- courtesy of direct sponsorship from Amazon and Springer and indirect sponsorship from the Association for Symbolic Logic. In addition, some funding will be available through the EUTypes COST action website. In all cases, authors of accepted papers will be given precedence. Please see the conference website for more details. In addition, the Middlesex University is offering accommodation at a £30 daily rate in some excellently maintained shared flats located close to the conference venue (https://www.mdx.ac.uk/student-life/accommodation/platt-hall). AFFILIATED EVENTS (COMMON WITH FroCoS) WORKSHOPS: * The 25th Workshop on Automated Reasoning (ARW 2019, http://arw.csc.liv.ac.uk) Organizers: Florian Kammueller (Middlesex University) and Alexander Bolotov (University of Westminster) * Journeys in Computational Logic: Tributes to Roy Dyckhoff Organizers: Stéphane Graham-Lengrand (SRI International), Ekaterina Komendantskaya (Heriot-Watt University) and Mehrnoosh Sadrzadeh (Queen Mary University of London) TUTORIALS: * Formalising concurrent computation: CLF, Celf, and applications (joint FroCoS/TABLEAUX tutorial). Presenters: Sonia Marin (IT-University of Copenhagen), Giselle Reis (Carnegie Mellon University in Qatar) and Iliano Cervesato (Carnegie Mellon University) * How to Build an Automated Theorem Prover - An Introductory Tutorial (invited TABLEAUX tutorial). Presenter: Jens Otten (University of Oslo) PROGRAM COMMITTEE Peter Baumgartner, Data61/CSIRO, Australia Maria Paola Bonacina, Università degli Studi di Verona, Italy James Brotherston, University College London, UK Serenella Cerrito, IBISC, Univ. Evry, Paris Saclay University, France Agata Ciabattoni, Technische Universität Wien, Austria Anupam Das, University of Copenhagen, Denmark Clare Dixon, University of Liverpool, UK Camillo Fiorentini, University of Milano, Italy Pascal Fontaine, LORIA, INRIA, University of Lorraine, France Didier Galmiche, LORIA, University of Lorraine, France Martin Giese, Universitetet i Oslo, Norway Laura Giordano, DISIT, Università del Piemonte Orientale, Italy Rajeev Goré, The Australian National University, Australia Stéphane Graham-Lengrand, SRI International, USA Reiner Hähnle, TU Darmstadt, Germany Ori Lahav, Tel Aviv University, Israel Tomer Libal, American University of Paris, France George Metcalfe, Universität Bern, Switzerland Dale Miller, INRIA and LIX/Ecole Polytechnique, France Leonardo de Moura, Microsoft Research, USA Neil Murray, SUNY at Albany, USA Cláudia Nalon, University of Brasília, Brazil Sara Negri, University of Helsinki, Finland Hans de Nivelle, Nazarbayev University, Kazakhstan Nicola Olivetti, LSIS, Aix-Marseille Université, France Jens Otten, Universitetet i Oslo, Norway Valeria De Paiva, Nuance Communications, USA Nicolas Peltier, CNRS, Laboratoire d'Informatique de Grenoble, France Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brazil Francesca Poggiolesi, CNRS, IHST Paris, France Andrei Popescu, Middlesex University London, UK Gian Luca Pozzato, University of Turin, Italy Giles Reger, University of Manchester, UK Giselle Reis, Carnegie Mellon University, Qatar Renate Schmidt, University of Manchester, UK Viorica Sofronie-Stokkermans, Universität Koblenz-Landau, Germany Alwen Tiu, Australian National University, Australia Sophie Tourret, Max-Planck-Institut für Informatik, Saarbrücken, Germany Dmitriy Traytel, ETH Zürich, Switzerland Josef Urban, Czech Institute of Informatics, Robotics and Cybernetics, Czech Republic Luca Viganò, King's College, London, UK Uwe Waldmann, Max-Planck-Institut für Informatik, Saarbrücken, Germany Bruno Woltzenlogel Paleo, Vienna University of Technology, Austria PC CHAIRS Serenella Cerrito, IBISC, Univ. Evry, Paris Saclay University, France Andrei Popescu, Middlesex University London, UK LOCAL ORGANIZATION COMMITTEE Kelly Androutsopoulos, Middlesex University London, UK Jaap Boender, Middlesex University London, UK Michele Bottone, Middlesex University London, UK Florian Kammueller, Middlesex University London, UK Rajagopal Nagarajan, Middlesex University London, UK Andrei Popescu, Middlesex University London, UK Franco Raimondi, Middlesex University London, UK CONFERENCE CHAIR Andrei Popescu, Middlesex University London, UK

5 Jahre, 3 Monate

1
0
0 0

2024

2023

2022

2021

2020

2019

2018

finite-model-theory