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

[Vardi-list] Jan 12th, 2024: Moshe Vardi - What Came First,

von Moshe Vardi

World Logic Day Event: What Came First, Math or Computing? Moshe Y. Vardi, University Professor and the George Distinguished Service Professor in Computational Engineering at Rice University Talk with reception to follow. Remote participation will be available via Zoom. The link will be sent to those who RSVP. RSVP: https://vardi.eventbrite.com ABSTRACT: One of the most famous questions in the philosophy of mathematics is whether mathematics is discovered or invented. As Timothy Gowers wrote: “It has been asked over and over again, and it is not clear what would constitute a satisfactory answer.” In this talk, I will address this question from the perspective of a computer scientist. I will argue that the developments of mathematics and computing has dovetailed each other for thousands of years: Computing begat math, and math begat computing. Furthermore, both are connected to the real world via one of the most amazing faculties of the human mind: the capacity to abstract. BIO: Moshe Y. Vardi is University Professor and the George Distinguished Service Professor in Computational Engineering at Rice University. His research focuses on the interface of mathematical logic and computation — including database theory, hardware/software design and verification, multi-agent systems, and constraint satisfaction. He is the recipient of numerous awards, including the ACM SIGACT Goedel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, the Knuth Prize, the IEEE Computer Society Goode Award, and the EATCS Distinguished Achievements Award. He is the author and co-author of over 750 papers, as well as two books. He is a Guggenheim Fellow as well as fellow of several societies, and a member of several academies, including the US National Academy of Engineering, National Academy of Science, and the Royal Society of London. He holds nine honorary titles. He is a Senior Editor of the Communications of the ACM, the premier publication in computing. This talk is being held in conjunction with World Logic Day. The proclamation of World Logic Day by UNESCO, in association with the International Council for Philosophy and Human Sciences (CIPSH), intends to bring the intellectual history, conceptual significance and practical implications of logic to the attention of interdisciplinary science communities and the broader public. _______________________________________________ Vardi-list mailing list Vardi-list(a)mailman.rice.edu https://mailman.rice.edu/mailman/listinfo/vardi-list

7 Monate, 3 Wochen

1
0
0 0

IJCAR 2024: 2nd call for co-located events

von Peter Lammich

/Apologies if you receive multiple copies/ *IJCAR 2024: 2nd call for co-located events* 12th International Joint Conference on Automated Reasoning – IJCAR 2024 July 1–6, 2024, Nancy, France https://ijcar2024.loria.fr DEADLINE EXTENSION: submissions open till December 8th, 2023 The International Joint Conference on Automated Reasoning (IJCAR 2024) is soliciting proposals for co-located events such as workshops, tutorials and competitions. Researchers are invited to submit proposals on any topic related to automated reasoning, from theoretical foundations to tools and applications. The co-located events will take place before the IJCAR conference on Monday & Tuesday, July 1-2, 2024. Proposals can have up to three pages and should consist of the following two parts. A description part including: a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant); a brief description (up to 120 words) of the event for the website and publicity material. An organisational part including: contact information for the workshop organisers; proposed affiliated conference; estimate of the number of workshop participants; proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.) potential invited speakers; procedures for selecting papers and participants; tentative schedule for paper submission and notification of acceptance; plans (and needs) for remote participation [*]; plans for dissemination, if any (e.g. a journal special issue); duration (which may vary from one day to two days); any other special requirements. The organisers of co-located events are expected to create and maintain a website for the event; handle paper selection, reviewing and acceptance; draw up a tentative programme of talks; advertise their event through specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; plan for remote participation (if applicable); and arrange post-proceedings if any. The IJCAR organising committee will handle promotion of the event on the main conference website; integration of the event's programme into the overall timetable; registration of participants; arrangement of an appropriate meeting room; and provision of lunch and coffee breaks for participants. Important Dates Submission of co-located event proposals (extended): December 8th, 2023 Notification of success of proposals: December 11th, 2023 Main conference: July 3-6, 2024 Workshop dates: July 1-2, 2024 Proposals should be sent directly to Sophie Tourret by email at sophie.tourret(a)inria.fr . [*] A zoom connection can be provided on demand.

7 Monate, 4 Wochen

1
0
0 0

IJCAR 2024: 2nd Call for Papers

von Peter Lammich

** *Apologies if you receive multiple copies of this CfP* * ======================================================================= CALL FOR PAPERS IJCAR 2024 The 12th International Joint Conference on Automated Reasoning Nancy, France <https://www.nancy.fr/accueil>, July 1-6, 2024 https://ijcar2024.loria.fr/ <https://ijcar2024.loria.fr/> ======================================================================= IJCAR <https://ijcar.org/>is the premier international joint conference on all topics in automated reasoning. IJCAR 2024 will be hosted by the Inria Nancy Research Center and LORIA in Nancy, France, from July 1-6, 2024. IJCAR 2024 is the merger of leading events in automated reasoning: * CADE (Conference on Automated Deduction) * FroCoS (Symposium on Frontiers of Combining Systems) * TABLEAUX (Conference on Analytic Tableaux and Related Methods) TOPICS ====== IJCAR 2024 invites submissions related to all aspects of automated or interactive logical reasoning, including foundations, implementations, and applications. Original research papers and descriptions/evaluationsof working automated deduction systems or proof assistant systems are solicited. IJCAR topics include the following: * Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, type theory. * Methods of interest include: tableaux, sequent calculi, resolution, model-elimination, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, automated theorem proving, combination of decision or proof procedures, SAT and SMT solving, machine learning and theorem proving,integration of automated provers/proof assistants in automated test generators, program synthesisers, verified compilers, intelligent systems, agent based systems, knowledge processing systems, formal methods tools and other symbolic tools, etc. * Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation and processing/engineering, education, formalization of mathematics, trusted AI,etc. IMPORTANT DATES ================ 29 Jan 2024 Abstract submission 05 Feb 2024 Paper submission 28 Mar 2024 Notification of paper decisions 28 Apr 2024 Camera-ready papers due 1-2 Jul 2024 Workshops & Tutorials 3-6 Jul 2024 Conference, including CASC WORKSHOPS, TUTORIALS, SYSTEM COMPETITION ========================================== A two-day workshop and tutorial programme will be co-organized with the conference. In addition, the annual CADE ATP System Competition (CASC) will be held during the conference. The call for co-located events <https://merz.gitlabpages.inria.fr/2024-ijcar/post/call-for-satellites/>is available on the conference website. SUBMISSION GUIDELINES ====================== IJCAR 2024 invites submissions related to the topics of interest mentioned above. All papers must be original and not simultaneously submitted to another peer-reviewed journal or conference. The following paper categories are welcome: Regular papersdescribing solid new research results. They can be up to 15 pages in LNCS style, including figures but excluding references and appendices. Where applicable, regular papers are supported by experimental validation. Submissions reporting on case studies in an industrial context are strongly invited as regular papers. Short papersdescribing implemented systems, user experiences, case studies and domain models, etc. They can be up to 7 pages in LNCS style, excluding references and appendices. All submissions will be judged on relevance, originality, significance, correctness, and readability. Proofs of theoretical results that do not fit in the page limit, executables of systems, and input data of experiments should be made available, e.g., via a reference to a website or in an appendix of the paper. 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. All submissions must be formatted using the Springer LNCS styles <https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…> and submitted in PDF via EasyChair: https://easychair.org/conferences/?conf=ijcar2024 <https://easychair.org/conferences/?conf=ijcar2024> The IJCAR 2024 proceedings will be published in the Springer series Lecture Notes in Artificial Intelligence (LNAI/LNCS) as Gold Open Access, and will be available online during the conference. At least one person must register for each accepted paper, and this registration must also cover the Gold Open Access processing fee of 200 Euro net per paper. Authors of accepted papers are required to ensure that at least one of them will participate in the conference and present the work. The papers delivered to us will be processed according to theour regular workﬂow, meaning Springer will generate both full-text HTML and PDF versions of the papers, to be made available in SpringerLink, and the full book will be available in PDF and ePub formats. The papers will be published under the CC-BY-4.0-license. BEST PAPER AWARD ================ IJCAR 2024 will recognize the most outstanding submissions with a best paper award and a best student paper award at the conference. STUDENT TRAVEL AWARDS ===================== Woody Bledsoe Travel Awards will be available to support selected students in attending the conference. ORGANIZATION ============ Conference Co-Chairs: * Didier Galmiche (University of Lorraine, France) * Stephan Merz (Inria Nancy, France) * Christophe Ringeissen (Inria Nancy, France) Programme Chairs: * Christoph Benzmüller (University of Bamberg & FU Berlin, Germany) * Marijn Heule (Carnegie Mellon University, USA) * Renate Schmidt (University of Manchester, UK) Workshop, Tutorial and Competition Chairs: * Sophie Tourret (Inria Nancy, France) Publicity Chair * Peter Lammich (University of Twente, The Netherlands) Local Arrangements * Anne-Lise Charbonnier (Inria Nancy, France) * Sabrina Verdenal (Inria Nancy, France) Programme Committee: * The list of PC members <https://merz.gitlabpages.inria.fr/2024-ijcar/committee/pc/>is available on the conference website https://merz.gitlabpages.inria.fr/2024-ijcar/committee/pc/ *

7 Monate, 4 Wochen

1
0
0 0

EXTENDED CfP: FoIKS 2024, 13th Int. Symp. on Foundations of

von Lucia Gomez Alvarez

*Call for Papers* 13th International Symposium on Foundations of Information and Knowledge Systems – FoIKS 2024 https://foiks2024.github.io/ Extended Deadlines ================ (Extended) Abstract submission deadline: 11.12.2023 AoE ("anywhere on earth") (Extended) Paper submission deadline: 14.12.2023 AoE ("anywhere on earth") Invited Speakers ============== * Georg Gottlob, University of Oxford * Phokion Kolaitis, University of California Santa Cruz and IBM Research * Andrei Popescu, University of Sheffield * Uli Sattler, University of Manchester About ============= The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2024 solicits original contributions (as well as extensions of previously published contributions) dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, (parameterized) complexity theory, algorithmics and computation, statistics, and optimisation, among, of course, many others. The FoIKS symposia are a forum for intensive discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research. Furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion. Suggested topics ============= The suggested topics include, but are not limited to: * Database Design: Formal models, dependencies and independencies * Big Data: Models for data in the Cloud, programming languages for big data, query processing * Dynamics of Information: Models of transactions, concurrency control, updates, consistency preservation, belief revision * Information Fusion: Heterogeneity, views, schema dominance, multiple source information merging, reasoning under inconsistency * Integrity and Constraint Management: Verification, validation, consistent query answering, information cleaning * Intelligent Agents: Multi-agent systems, autonomous agents, foundations of software agents, cooperative agents, formal models of interactions, negotiations and dialogue, logical models of emotions * Knowledge Discovery and Information Retrieval: Machine learning, data mining, formal concept analysis and association rules, text mining, information extraction * Knowledge Representation, Reasoning and Planning: Non-monotonic formalisms, probabilistic and non-probabilistic models of uncertainty, graphical models and independence, similarity-based reasoning, preference modeling and handling, computational models of argument, argumentation systems * Logics in Databases and AI: Classical and non-classical logics, logic programming, description logics, spatial and temporal logics, probability logic, fuzzy logic * Mathematical Foundations: Discrete structures and algorithms, graphs, grammars, automata, abstract machines, finite model theory, information theory, coding theory, (parameterised) complexity theory, randomness * Security in Information and Knowledge Systems: Identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management * Semi-Structured Data and XML: Data modelling, data processing, data compression, data exchange * Social Computing: Collective intelligence and self-organizing knowledge, collaborative filtering, computational social choice, Boolean games, coalition formation, reputation systems * The Semantic Web and Knowledge Management: Languages, ontologies, agents, adaption, intelligent algorithms, ontology-based data access * The WWW: Models of Web databases, Web dynamics, Web services, Web transactions and negotiations, Social Networks, Web Mining Important Dates ================ All deadlines are at 23:59 UTC-12 (AoE, "anywhere on earth"). (Extended) Abstract submission deadline: 11.12.2023 (Extended) Paper submission deadline: 14.12.2023 Acceptance notifications: 29.01.2024 Camera-ready versions of accepted papers due: 08.02.2024 Early registration deadline: 08.03.2024 Late registration deadline: 01.04.2024 Conference: 8–11.04.2024 Submission Guidelines ==================== For long papers, the page limit is 16 plus additional pages of references. For short papers, the maximum number of pages is 10 plus additional pages of references. Missing proofs or details can be optionally added as an additional appendix read at the discretion of the program committee. All papers must be original and not simultaneously submitted to another journal or conference. Resubmission of papers rejected in major conferences (e.g., AAAI, ICDT, STACS) is welcome. Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science (see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… and https://resource-cms.springernature.com/springer-cms/rest/v1/content/192386…). Submissions that deviate substantially from these guidelines may be rejected without review. Initial submissions must be in PDF format, but authors should keep in mind that the LaTeX2e source must be submitted for the final versions of accepted papers. Submissions in alternate formats, such as Microsoft Word, cannot be accepted for either initial or final versions. The submissions will be judged for scientific quality and for suitability as a basis for broader discussion. Submission is via the EasyChair link https://easychair.org/conferences/?conf=foiks24. Publication ============= The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science. After the symposium, authors of selected papers will be invited to submit extended journal versions of their papers for a FoIKS 2024 special issue in the journal Knowledge Engineering Review (https://www.cambridge.org/core/journals/knowledge-engineering-review). Further details will be provided on the conference website. Organisation ============= Program Committee Chairs: Arne Meier, Leibniz Universität Hannover, Germany Magdalena Ortiz, TU Wien, Austria and Umeå University, Sweden Local Chair: Jonni Virtema, University of Sheffield, UK Local Organisers: Timon Barlag, University of Sheffield, UK Mike Cruchten, University of Sheffield, UK Nina Pardal, University of Sheffield, UK Max Sandström, University of Sheffield, UK Publicity Chair: Lucía Gómez Álvarez, TU Dresden, DE Contact ============= All questions about submissions should be emailed to foiks24(a)easychair.org. https://foiks2024.github.io/ _________________________ Dr. Lucía Gómez Álvarez Computational Logic Group Institute for Artificial Intelligence Faculty of Computer Science TU Dresden GERMANY

8 Monate

1
0
0 0

FMBC 2024 - First Call for Papers

von Marmsoler, Diego

[ Please distribute, apologies for multiple postings. ] ========================================================================= 5th International Workshop on Formal Methods for Blockchains - First Call https://fmbc.gitlab.io/2024 April 07, 2024, Luxembourg City, Luxembourg Co-located with the European joint conferences on theory and practice of software (ETAPS 2024) https://www.etaps.org/2024/ -------------------------------------------------------------------------- IMPORTANT DATES -------------------------------------------------------------------------- Abstract submission: January 24, 2024 Paper submission: January 31, 2024 Notification: February 29, 2024 Camera-ready: March 15, 2024 Pre-Proceedings: March 31, 2024 Workshop: April 07, 2024 Deadlines are Anywhere on Earth: https://en.wikipedia.org/wiki/Anywhere_on_Earth -------------------------------------------------------------------------- -------------------------------------------------------------------------- TOPICS OF INTEREST -------------------------------------------------------------------------- Blockchain is a novel technology to store data in a decentralized way. Although the technology was originally invented to enable cryptocurrencies, it quickly found applications in several other domains. Blockchains may also provide support for Smart Contracts. Smart Contracts are scripts of an ad-hoc programming language that are stored in the blockchain and that run on the network. They can interact with the ledger’s data and update its state. These scripts can express the logic of possibly complex contracts between users of the blockchain. Thus, Smart Contracts can facilitate the economic activity of blockchain participants. Since blockchains are often used to store financial transactions, bugs may result in huge economic losses and thus it is now of utmost importance to have strong guarantees of the behaviour of blockchain software. These guarantees can be brought by using Formal Methods. Indeed, Blockchain software encompasses many topics of computer science where using Formal Methods techniques and tools is relevant: consensus algorithms to ensure the liveness and the security of the data on the chain, programming languages specifically designed to write smart contracts, cryptographic protocols, such as zero-knowledge proofs, used to ensure privacy, etc. This workshop is a forum to identify theoretical and practical approaches of formal methods for Blockchain technology. Topics include, but are not limited to: * Formal models of Blockchain applications or concepts * Formal methods for consensus protocols * Formal methods for Blockchain-specific cryptographic primitives or protocols * Design and implementation of Smart Contract languages * Verification of Smart Contracts -------------------------------------------------------------------------- -------------------------------------------------------------------------- SUBMISSION -------------------------------------------------------------------------- Submit original manuscripts (not published or considered elsewhere) with a page limit of 12 pages for full papers and 6 pages for short papers (excluding bibliography and short appendix of up to 5 additional pages). Alternatively you may also submit an extended abstract of up to 2 pages (excluding bibliography) summarizing your ongoing work in the area of formal methods and blockchain. Authors of selected extended-abstracts are invited to give a short lightning talk. Submission link: https://easychair.org/conferences/?conf=fmbc2024 Authors are encouraged to use LaTeX and prepare their submissions according to the instructions and styling guides for OASIcs provided by Dagstuhl. Instructions for authors: https://submission.dagstuhl.de/documentation/authors#oasics At least one author of an accepted paper is expected to present the paper at the workshop as a registered participant. -------------------------------- -------------------------------- PROCEEDINGS -------------------------------- All submissions will be peer-reviewed by at least three members of the program committee for quality and relevance. Accepted regular papers (full and short papers) will be included in the workshop proceedings. -------------------------------- -------------------------------- INVITED SPEAKER -------------------------------- Franck Cassez, Head of Research, Mantle ( https://www.mantle.xyz ) https://franck44.github.io/ -------------------------------- -------------------------------- PROGRAM COMMITTEE -------------------------------- PC CO-CHAIRS * Bruno Bernardo (Nomadic Labs, France) (bruno(a)nomadic-labs.com) * Diego Marmsoler (University of Exeter, UK) (D.Marmsoler(a)exeter.ac.uk) PC MEMBERS * Burcu Kulahcioglu Ozkan (Delft University of Technology) * Maria Potop-Butucaru (Sorbonne University) * Bas Spitters (Aarhus University) * Sophie Rain (TU Wien) * Gordon Pace (University of Malta) * Ron Van Der Meyden (The University of New South Wales) * Maurice Herlihy (Brown University) * Vincent Rahli (University of Birmingham) * Meng Sun (Peking University) * Martin Ceresa (IMDEA Software Institute) * Massimo Bartoletti (Universita' degli Studi di Cagliari) * Denisa Diaconescu (University of Bucharest) * Manuel Chakravarty (Tweag & IOG) * Bernhard Beckert (Karlsruhe Institute of Technology) * Florian Kammueller (Middlesex University London and TU Berlin) * Baoluo Meng (GE Global Research) * Albert Rubio (Universidad Complutense de Madrid) * Sylvain Conchon (Universite Paris-Saclay) * Fritz Henglein (University of Copenhagen)

8 Monate

1
0
0 0

ICALP-LICS-FSCD joint call for workshops

von Sam Staton

ICALP, LICS, and FSCD 2024 will be colocated in Tallinn, Estonia from 8th to 13th of July. We invite proposals for workshops on topics of interest to the ICALP, LICS, and FSCD conferences. Note that workshops for ICALP track B and LICS will be joint this year. Proposals must be limited to three pages and should be submitted to icalp-lics-fscd-24-workshops(a)inria.fr . Workshop proposals must include all the information listed at: https://lics.siglog.org/lics24/cfw.php The organising and workshop committees of ICALP, LICS, and FSCD will determine the final list of accepted workshops based on topics and time/space availability. IMPORTANT DATES - Submission of workshop proposals: 31 December - Notification of the accepted workshops: end of January - Programme of the workshops ready: 31st May - Workshops: * ICALP track A: 6-7th July * ICALP track B / LICS: 6-7th July * FSCD: 8-9th and potentially 14th July - Main conferences: * ICALP: 8-12 July * LICS: 8-11 July * FSCD: 10-13 July

8 Monate, 2 Wochen

1
0
0 0

Postdoc position in Formal Methods at University of Exeter

von Marmsoler, Diego

Dear all, We are seeking to appoint a Postdoctoral Research Associate that wants to apply formal methods for building correct, safe, and secure systems. The post is part of the growing Security and Trust of Advanced Systems Group (https://computerscience.exeter.ac.uk/cyber-security/). The group has a broad expertise in developing and applying formal methods tools in general and in working and extending Isabelle/HOL in particular. The advertised position is part of the EPSRC funded project "Secure Smart Contracts with Isabelle/Solidity" and is available from 01/01/2024 to 31/12/25. The successful applicant will work with me on the development of tools and techniques for the verification of Smart Contracts. This includes the development of a calculus for the verification of smart contracts, its implementation in Isabelle/HOL, as well as applying it for the verification of real-world smart contracts. For more information about the project please visit the project website: https://marmsoler.com/projects/isabelle-solidity/ You can apply online at https://jobs.exeter.ac.uk/hrpr_webrecruitment/wrd/run/ETREC107GF.open?VACAN… Application closes 14/11/23. If you do have any questions please contact me by email (d.marmsoler(a)exeter.ac.uk<mailto:d.marmsoler@exeter.ac.uk>). All the best, Diego Diego Marmsoler Lecturer (Education and Research), Computer Science University of Exeter, Innovation 1, Room 10 www: marmsoler.com<http://www.marmsoler.com/> Twitter: @DiegoMarmsoler<https://twitter.com/DiegoMarmsoler>

8 Monate, 2 Wochen

1
0
0 0

Postdoc position in computational logic

von Antti Kuusisto (TAU)

A one-year Postdoctoral Research Fellow position in computational logic is offered by Tampere University, Finland. The position is primarily for the year 2024, but the beginning date can be negotiated. The exact research agenda can be tailored according to the candidate's personal interests. For more information, please visit https://tuni.rekrytointi.com/paikat/index.php?jid=2109&key=&o=A_RJ&rspvt=4s… The Tampere logic group currently consists of 11 researchers, with five faculty members, three postdocs and three PhD-students. The group's research interests span a wide range of topics, ranging from finite model theory and complexity of logics to answer set programming and explainability in AI.

8 Monate, 2 Wochen

1
0
0 0

Six Fully-funded PhD Positions in Theoretical Computer Science at

von Jonni T Virtema

The Foundation of Computation (FOX) group at the University of Sheffield, UK invites applications for up to six fully-funded PhD positions to work in the area of theoretical computer science. https://www.sheffield.ac.uk/dcs/research/groups/foundations-computation The Foundation of Computation Group at Sheffield is one of the largest of its kind in the UK. The city of Sheffield is one of the major cities in the UK, yet 60% of it is green space. It’s a city that’s safe, affordable, creative and welcoming. Living here, one gets a vibrant big city feel as well as the space and adventure of the Peak District National Park which is (almost) on the doorstep: https://www.sheffield.ac.uk/sheffield-guide/quick-guide The PhD positions are fully funded and also come with travel funding. We are looking for motivated students preferably with experience in one or more of the following topics: discrete mathematics, linear algebra, probability theory, and fundamentals of theoretical computer science, including algorithms, complexity, and logic. Specific research areas that the group has expertise in include: - Algorithms (incl. efficient, parameterised, approximation, randomised, linear programs, streaming, dynamic, and data structures) - Computational complexity (incl. parameterised complexity, hardness of approximation, average-case complexity, fine-grained complexity) - Logics in CS (incl. finite model theory, descriptive complexity, semantics & category theory, quantitative & probabilistic, temporal & modal, logic of random structures) - Graph theory & finite combinatorics The PhD positions will be supervised by the following member of the FOX group: Dr. Harsh Beohar is broadly interested in comparative concurrency semantics and in the interplay of category theory, logic, and semantics. Current topics include expressive modal logics, behavioural equivalence games, synthesising distinguishing/characteristic formulae all at the level of coalgebras. See https://dblp.org/pid/13/7482.html for an up-to-date list of publications. Dr. Andreas Emil Feldmann’s research interests lie in combinatorial optimization and revolves around parameterized approximation algorithms for problems in network design and clustering. https://sites.google.com/site/aefeldmann/home Dr. Charles Grellois is mainly interested in the verification of functional programs, would they be deterministic or probabilistic; mixing therefore techniques from verification with techniques originating from semantics. https://www.sheffield.ac.uk/dcs/people/academic/charles-grellois Dr Joachim Spoerhase’s research interests lie in approximation algorithms for problems arising in clustering, network design, and geometric optimisation as well as the hardness of designing such algorithms. https://www.sheffield.ac.uk/dcs/people/academic/joachim-spoerhase Dr. Jonni Virtema’s research focuses on the complexity and expressivity of quantitative and probabilistics logics, and temporal logics for so-called hyperproperties, which have applications in information flow and security. A further emerging topic is to study foundations of neural networks using the machinery of logics and complexity theory related to numerical data. See http://www.virtema.fi/ for further details. Dr. Maksim Zhukovskii is interested in combinatorics, probability, complexity, and logic. Currently Maksim is working on a variety of topics including extremal and probabilistic combinatorics, average-case complexity, random walks, logical limit laws. See https://www.maksimzhukovskii.com/ for the list of publications. Documents you should submit when applying: - Cover letter indicating your research interests, - CV, and - One recommendation letter. We encourage you to name one or more members whom you would like to work with, or research areas you would like to work on Please send your application and enquiries to theory-recruitment-group(a)sheffield.ac.uk <mailto:theory-recruitment-group@sheffield.ac.uk> Soft deadline: 30th of November

8 Monate, 3 Wochen

1
0
0 0

FoIKS 2024, 13th International Symposium on Foundations of

von Lucia Gomez Alvarez

*Call for Papers* —---------------- 13th International Symposium on Foundations of Information and Knowledge Systems – FoIKS 2024 https://foiks2024.github.io/ Abstract submission deadline: 24.11.2023 Paper submission deadline: 01.12.2023 The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2024 solicits original contributions (as well as extensions of previously published contributions) dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, (parameterized) complexity theory, algorithmics and computation, statistics, and optimisation, among, of course, many others. The FoIKS symposia are a forum for intensive discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research. Furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion. Suggested topics —--------------- The suggested topics include, but are not limited to: * Database Design: Formal models, dependencies and independencies * Big Data: Models for data in the Cloud, programming languages for big data, query processing * Dynamics of Information: Models of transactions, concurrency control, updates, consistency preservation, belief revision * Information Fusion: Heterogeneity, views, schema dominance, multiple source information merging, reasoning under inconsistency * Integrity and Constraint Management: Verification, validation, consistent query answering, information cleaning * Intelligent Agents: Multi-agent systems, autonomous agents, foundations of software agents, cooperative agents, formal models of interactions, negotiations and dialogue, logical models of emotions * Knowledge Discovery and Information Retrieval: Machine learning, data mining, formal concept analysis and association rules, text mining, information extraction * Knowledge Representation, Reasoning and Planning: Non-monotonic formalisms, probabilistic and non-probabilistic models of uncertainty, graphical models and independence, similarity-based reasoning, preference modeling and handling, computational models of argument, argumentation systems * Logics in Databases and AI: Classical and non-classical logics, logic programming, description logics, spatial and temporal logics, probability logic, fuzzy logic * Mathematical Foundations: Discrete structures and algorithms, graphs, grammars, automata, abstract machines, finite model theory, information theory, coding theory, (parameterised) complexity theory, randomness * Security in Information and Knowledge Systems: Identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management * Semi-Structured Data and XML: Data modelling, data processing, data compression, data exchange * Social Computing: Collective intelligence and self-organizing knowledge, collaborative filtering, computational social choice, Boolean games, coalition formation, reputation systems * The Semantic Web and Knowledge Management: Languages, ontologies, agents, adaption, intelligent algorithms, ontology-based data access * The WWW: Models of Web databases, Web dynamics, Web services, Web transactions and negotiations, Social Networks, Web Mining Invited Speakers —--------------- * Georg Gottlob, University of Oxford * Phokion Kolaitis, University of California Santa Cruz and IBM Research * Andrei Popescu, University of Sheffield * Uli Sattler, University of Manchester Important Dates —-------------- All deadlines are at 23:59 UTC-12 (AoE, "anywhere on earth"). Submission server opens 01.09.2023 Abstract submission deadline (long and short papers) 24.11.2023 Paper submission deadline (long and short papers) 01.12.2023 Acceptance notifications 29.01.2024 Camera-ready versions of accepted papers due 08.02.2024 Early registration deadline 08.03.2024 Late registration deadline 01.04.2024 Conference 8–11.04.2024 Submission Guidelines —-------------------- For long papers, the page limit is 16 plus additional pages of references. For short papers, the maximum number of pages is 10 plus additional pages of references. All papers must be original and not simultaneously submitted to another journal or conference. Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science (see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… and https://resource-cms.springernature.com/springer-cms/rest/v1/content/192386…). Submissions that deviate substantially from these guidelines may be rejected without review. Initial submissions must be in PDF format, but authors should keep in mind that the LaTeX2e source must be submitted for the final versions of accepted papers. Submissions in alternate formats, such as Microsoft Word, cannot be accepted for either initial or final versions. The submissions will be judged for scientific quality and for suitability as a basis for broader discussion. Submission is via the EasyChair link https://easychair.org/conferences/?conf=foiks24. Publication —---------- The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science. After the symposium, authors of selected papers will be invited to submit extended journal versions of their papers for a FoIKS 2024 special issue in the journal Knowledge Engineering Review (https://www.cambridge.org/core/journals/knowledge-engineering-review). Further details will be provided on the conference website. Program Committee Chairs —----------------------- Arne Meier Leibniz Universität Hannover, Germany Magdalena Ortiz TU Wien, Austria and Umeå University, Sweden Local Chair —---------- Jonni Virtema University of Sheffield, UK Contact —------ All questions about submissions should be emailed to foiks24(a)easychair.org. https://foiks2024.github.io/ _________________________ Dr. Lucía Gómez Álvarez Computational Logic Group Institute for Artificial Intelligence Faculty of Computer Science TU Dresden GERMANY

8 Monate, 3 Wochen

1
0
0 0

2024

2023

2022

2021

2020

2019

2018

finite-model-theory