【计算机科学理论】国际会议截稿信息3条

2017 年 8 月 31 日 Call4Papers Call4Papers
计算机科学理论

CSERC 2017

Computer Science Education Research Conference


全文截稿: 2017-09-10
开会时间: 2017-11-13
会议难度: ★★
CCF分类: 无
会议地点: Helsinki, Finland
网址:https://www.ou.nl/web/cserc/cserc-2017
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


全文截稿: 2017-10-01
开会时间: 2018-02-18
会议难度: ★★
CCF分类: 无
会议地点: Barcelona, Spain
网址:http://iaria.org/conferences2018/COMPUTATIONTOOLS18.html
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.



下载Call4Papers App,获取更多详细内容!


登录查看更多
0

相关内容

关于计算和计算机械的数学理论,也称为计算理论或计算机科学的数学基础。
六篇 CIKM 2019 必读的【图神经网络(GNN)】长文论文
专知会员服务
37+阅读 · 2019年11月3日
2019年机器学习框架回顾
专知会员服务
35+阅读 · 2019年10月11日
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
人工智能 | ACCV 2020等国际会议信息5条
Call4Papers
6+阅读 · 2019年6月21日
计算机 | 中低难度国际会议信息8条
Call4Papers
9+阅读 · 2019年6月19日
计算机 | IUI 2020等国际会议信息4条
Call4Papers
6+阅读 · 2019年6月17日
人工智能 | UAI 2019等国际会议信息4条
Call4Papers
6+阅读 · 2019年1月14日
人工智能 | 国际会议信息10条
Call4Papers
5+阅读 · 2018年12月18日
人工智能 | PRICAI 2019等国际会议信息9条
Call4Papers
6+阅读 · 2018年12月13日
计算机类 | 11月截稿会议信息9条
Call4Papers
6+阅读 · 2018年10月14日
人工智能 | 国际会议截稿信息9条
Call4Papers
4+阅读 · 2018年3月13日
人工智能 | 国际会议截稿信息5条
Call4Papers
6+阅读 · 2017年11月22日
【今日新增】计算机领域国际会议截稿信息
Call4Papers
9+阅读 · 2017年7月21日
A Survey on Edge Intelligence
Arxiv
50+阅读 · 2020年3月26日
Arxiv
110+阅读 · 2020年2月5日
Arxiv
35+阅读 · 2019年11月7日
The Measure of Intelligence
Arxiv
6+阅读 · 2019年11月5日
Mesh R-CNN
Arxiv
4+阅读 · 2019年6月6日
Semantics of Data Mining Services in Cloud Computing
Arxiv
4+阅读 · 2018年10月5日
Arxiv
5+阅读 · 2015年9月14日
VIP会员
相关资讯
人工智能 | ACCV 2020等国际会议信息5条
Call4Papers
6+阅读 · 2019年6月21日
计算机 | 中低难度国际会议信息8条
Call4Papers
9+阅读 · 2019年6月19日
计算机 | IUI 2020等国际会议信息4条
Call4Papers
6+阅读 · 2019年6月17日
人工智能 | UAI 2019等国际会议信息4条
Call4Papers
6+阅读 · 2019年1月14日
人工智能 | 国际会议信息10条
Call4Papers
5+阅读 · 2018年12月18日
人工智能 | PRICAI 2019等国际会议信息9条
Call4Papers
6+阅读 · 2018年12月13日
计算机类 | 11月截稿会议信息9条
Call4Papers
6+阅读 · 2018年10月14日
人工智能 | 国际会议截稿信息9条
Call4Papers
4+阅读 · 2018年3月13日
人工智能 | 国际会议截稿信息5条
Call4Papers
6+阅读 · 2017年11月22日
【今日新增】计算机领域国际会议截稿信息
Call4Papers
9+阅读 · 2017年7月21日
相关论文
A Survey on Edge Intelligence
Arxiv
50+阅读 · 2020年3月26日
Arxiv
110+阅读 · 2020年2月5日
Arxiv
35+阅读 · 2019年11月7日
The Measure of Intelligence
Arxiv
6+阅读 · 2019年11月5日
Mesh R-CNN
Arxiv
4+阅读 · 2019年6月6日
Semantics of Data Mining Services in Cloud Computing
Arxiv
4+阅读 · 2018年10月5日
Arxiv
5+阅读 · 2015年9月14日
Top
微信扫码咨询专知VIP会员