Papers presented at CSERC will normally address aspects of computing education, that is, the education of students who are studying computing. CSERC 2017 will accept paper submissions within the domain of computing and computing engineering education, papers might cover specific educational subject matter, such as programming, database systems, or computer security; specific groups of students, such as first years, masters students, women, minorities, etc.; or broader topics, such as curriculum, groupwork, or class infrastructure in the context of teaching computing.
计算机科学理论
COMPUTATION TOOLS 2018
International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
The advent of advanced computing embracing various forms of computational intelligence, large-scale strategies, and technology-oriented approaches relays on fundamental achievements in systems and feature specification, domain-oriented programming and deployment platforms and benchmarking.
COMPUTATION TOOLS 2018 continues an event under the umbrella of ComputationWorld 2018 dealing with logics, algebras, advanced computation techniques, specialized programming languages, and tools for distributed computation. Mainly, the event targets those aspects supporting context-oriented systems, adaptive systems, service computing, patterns and content-oriented features, temporal and ubiquitous aspects, and many facets of computational benchmarking.
We solicit both academic, research, and industrial contributions. We welcome technical papers presenting research and practical results, position papers addressing the pros and cons of specific proposals, such as those being discussed in the standard fora or in industry consortia, survey papers addressing the key problems and solutions on any of the above topics short papers on work in progress, and panel proposals.
计算机科学理论
LICS 2018
Annual ACM/IEEE Symposium on Logic in Computer Science
摘要截稿: 2018-01-24
全文截稿: 2018-01-29
开会时间: 2018-07-09
会议难度: ★★★★★
CCF分类: A类
会议地点: Oxford, UK
网址:http://lics.siglog.org/lics18/
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.