CCF推荐会议 | 计算机理论：截稿日期纵览(含STACS, SETTA等)

SETTA

会议全称：Symposium on Dependable Software Engineering

会议网址：https://lcs.ios.ac.cn/setta2023/index.php

会议地点：Nanjing, China

CCF分类：C类

Core分类：NA

H5指数：NA

Impact Score: NA

录取率：NA

IMPORTANT DATES:

Abstract submission:  Aug. 17, 2023

Paper submission: Aug. 24, 2023

Notification to authors: Oct. 5, 2023

Camera-ready version: Oct. 19, 2023

SPECIFIC AREAS OF INTEREST:

Formal methods emerged as a disciple area in computer science and software engineering half a century ago. An international community is formed researching, developing and teaching formal theories, techniques and tools for software modeling, specification, design and verification.

However, the impact of the theories, techniques and tools on the improvement of qualities of the daily used software systems is far from being convincing to software engineering practitioners. The gap between the development of formal methods and the advances in software technologies is not being seen becoming narrower. More precisely, the relation between formal methods and software technologies is not clearly understood.

This is clearly reflected by the challenges in application of formal techniques and tool in engineering large-scale systems with multi-dimensional complexities. Large systems include Cyber-Physical Systems (CPS), Networks of Things, Enterprise Systems, Cloud-Based Systems, etc.

This background is the motivation of this Symposium on Foundations, Practice and Trends in Formal Software Engineering Methods. The theme of the symposium is to promote research sharing, exchange of ideas and discussions on

Theories, techniques, tools and their applications, the understanding on their impacts, weakness and what practical problems in software design they can solve effectively.

Relations and common foundations of difference theoretical frameworks and their techniques so as to scale up their application to handle complex system design and verification;

"Big and bold" ideas about how to make it more relevant to engineering practitioners by advancing formal methods research and development and improving education;

Research and experiments on domain specific applications of formal techniques and tools.

STACS

会议全称：The Southwest Trauma & Acute Care Symposium

会议网址：https://www.univ-orleans.fr/lifo/stacs/

会议地点：Clermont-Ferrand, France

CCF分类：C类

Core分类：A类

H5指数：20

Impact Score: 1.4

录取率：STACS'20 23.1% (56/242)

IMPORTANT DATES:

Paper Submission: September 28, 2023 (11:59 PM AoE)

Rebuttal: November 21-23, 2023

Notification: December 13, 2023

SPECIFIC AREAS OF INTEREST:

LISTS OF TOPICS

TRACK A. Algorithms, Data Structures and Complexity.

Design of parallel algorithms

Distributed algorithm

Approximation algorithms

Parameterised algorithms

Randomised algorithms

Analysis of algorithms

Combinatorics of data structures

Computational geometry

Cryptography

Algorithms for machine learning

Algorithmic game theory

Quantum algorithms

Computational and structural complexity theory

Parameterised complexity

Randomness in computation

Track B. Automata, Logic, Semantics and Theory of Programming.

Automata theory

Games and multi-agent systems

Algebraic and categorical methods

Models of computation

Concurrency

Timed systems

Finite model theory

Database theory

Semantics

Type systems

Program analysis

Specification and verification

Rewriting and deduction

Learning theory

Logical aspects of computability and complexity

IPCO

会议全称：Integer Programming and Combinatorial Optimization

会议网址：https://ipco2024.ii.uni.wroc.pl/

会议地点：University of Wrocław, Poland

CCF分类：C类

Core分类：A类

H5指数：17

Impact Score: NA

录取率：IPCO'23 28% (33/119)

IMPORTANT DATES:

Submission deadline: November 6, 2023, 23:59 (AoE).

Notification: January 26, 2024.

Final versions for proceedings: March 15, 2024.

Conference: July 3-5, 2024 (Summer school: July 1-2).

SPECIFIC AREAS OF INTEREST:

The IPCO conference is a forum for researchers and practitioners working on various aspects of integer programming and combinatorial optimization. The aim is to present recent developments in theory, computation, and applications. The scope of IPCO is viewed in a broad sense, to include algorithmic and structural results in integer programming and combinatorial optimization as well as revealing computational studies and novel applications of discrete optimization to practical problems.

Authors are invited to submit extended abstracts of their recent work by November 6, 2023; see the submission guidelines below for more information. The Program Committee will select the papers to be presented on the basis of the submitted extended abstracts. Contributions are expected to be original, unpublished and not under review by journals or conferences with proceedings before the notification date (January 26, 2024). Papers violating these requirements will not be considered by the Program Committee.