活动简介

Aim & Scope
ICTAI 2018: The annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI) provides a major international forum where the creation and exchange of ideas related to artificial intelligence are fostered among academia, industry, and government agencies.

The conference facilitates the cross-fertilization of these ideas and promotes their transfer into practical tools, for developing intelligent systems and pursuing artificial intelligence applications.

The ICTAI encompasses all technical aspects of specifying, developing and evaluating the theoretical underpinnings and applied mechanisms of the AI-based components of computer tools such as algorithms, architectures and languages.

Publications

ICTAI 2018 is accepting submission of two type of papers:

  • Long papers (up to 8 pages) should present original technically sound research

  • Short papers (up to 5 pages) may describe new research ideas and concepts that are not fully developed

All accepted papers, which will be registered and presented at the conference, will be included at the ICTAI 2018 proceedings published by IEEE. Authors of selected and relevant papers will be invited to submit an extended version to:

  • International Journal on Artificial Intelligence Tools

  • International Journal of Monitoring and Surveillance Technologies Research

  • Interaction Studies Journal

组委会

ICTAI Steering Committee

Nikolaos Bourbakis, Wright State University, USA (Chair)

BAIF Steering Committee

Despina Kavraki, BAIF, USA (Chair)

General Co-Chairs

  • Eric Gregoire, University of Artois, France

  • Lefteri H. Tsoukalas, Purdue University, USA

Program Chair

Miltos Alamaniotis, University of Texas at San Antonio, USA

Finance and Registration Chairs

Iosif Ktistakis-Papadakis, Wright State Univ., USA (Nikolaos Bourbakis, Wright State Univ., USA)

Local Arrangement Chair

Yota Tsompanopoulou, University of Thessaly, Greece

Publicity Chair

Thanasis Fevgas, University of Thessaly, Greece

Web Masters

Apostolos Tsiovoulos, University of Thessaly, Greece 
Nikolaos Frangogiannis, University of Thessaly, Greece

ICTAI Program Area Chairs

  • Valentina Ballas --- "Aurel Vlaicu" University of Arad, Romania

  • Alex Brodsky --- George Mason University, USA

  • Joel Luis Carbonera --- IBM Research, Brazil

  • Gabriella Cortellessa --- Institute of Cognitive Sciences and Technology, Italy

  • Soon Chung --- Wright State University, USA

  • Germain Forestier --- University of Haute-Alsace, France

  • Anna Esposito --- Università degli Studi della Campania "Luigi Vanvitelli", Italy

  • Manolis Koubarakis --- University of Athens, Greece

  • Georgios Karagiannis --- Durham University, United Kingdom

  • Isaak Lagaris --- University of Ioannina, Greece

  • Chee Peng Lim --- Deakin University, Australia

  • Amol Mali --- University of Winsconsin-Milwaukee, USA

  • Zdravko Markov --- Central Connecticut State University, USA

  • Clara Pizzuti --- National Research Council of Italy, Italy

  • Edson Prestes --- Federal University of Rio Grande do Sul , Brazil

  • George Tsihrinztis --- University of Piraeus, Greece

  • Maria Virvou --- University of Piraeus, Greece

  • Zhao Zhang --- Soochow University, China

ICTAI Program Committee

  • Belen Diaz Agudo --- Universidad Complutense de Madrid, Spain

  • Alessia Amelio --- DIMES University of Calabria, Italy

  • Timis Alepis --- University of Piraeus, Greece

  • Yuan An --- Drexel University, USA

  • Dimitris Apostolou --- University of Piraeus, Greece

  • William Armitage --- University of South Florida, USA

  • Dante Barone --- Universidade Federal do Rio Grande do Sul, Brazil

  • ATM-Golam Bari --- University of South Florida, USA

  • Gilles Bisson --- French National Centre for Scientific Research, France

  • Christian Bockermann --- Technical University of Dortmund, Germany

  • Ibrahim Bounhas --- La Manouba University, Tunisia

  • Andre de Carvalho --- University of Sao Paulo, Brazil

  • Sylvain Castagnos --- University of Lorraine, France

  • David Claveau --- California State University, Channel Islands, USA

  • Haiquan Chen --- California State University, Sacramento, USA

  • Songcan Chen --- Nanjing University of Aeronautics & Astronautics, China

  • Yingke Chen --- Sichuan University, China

  • Li Cheng --- Bioinformatics Institute, A*STAR, Singapore

  • Erkin Cilden --- STM Defense Technologies Engineering and Trade Inc., Turkey

  • Yao-Yi Chiang --- University of South California, USA

  • Costin Chiru --- University Politehnica of Bucharest, Romania

  • Hamidreza Chitsaz --- Colorado State University, USA

  • Lukas Chrpa --- Czech Technical University, Czech Republic

  • Carmela Comito --- National Research Council of Italy (CNR), Italy

  • Gennaro Cordasco --- Università della Campania "Luigi Vanvitelli", Italy

  • Albert Cruz --- California State University, Bakersfield, USA

  • Alfredo Cuzzocrea --- University of Trieste, Italy

  • Jing Dai --- Google Corp., USA

  • Christophe Debruyne --- Trinity College Dublin, Ireland

  • Yves Demazeau --- Le Centre National de la Recherche Scientifique, France

  • Cheng Deng --- Xidian University, China

  • Alessandro Di Nuovo --- Sheffield Hallam University, United Kingdom

  • Robert Van Engelen --- Florida State University, USA

  • Antonietta Esposito --- Osservatorio Vesuviano, Italy

  • Sandro Fiorini--- Université Paris-Est Créteil, France

  • Elisabeta Fersini--- University of Milano-Bicocca, Italy

  • Andreas Floros--- Ionian University, Greece

  • Michael Franklin--- Kennesaw State University, USA

  • Jicheng Fu--- University of Central Oklahoma, USA

  • Alessio Gaspar --- University of South Florida, USA

  • Angel Luis Garrido --- University of Zaragoza, Spain

  • Nikolaos Gatsis --- University of Texas at San Antonio, USA

  • Mohamed Ghalwash --- Temple University, USA

  • Foteini Grivokostopoulou --- University of Patras, Greece

  • Feng Gu --- The City University of New York, USA

  • Yuhong Guo --- Carleton University, Canada

  • Allel Hadjali --- LIAS/Engineer School ENSMA, Poitiers, France

  • Samer Hanoun --- Deakin University, Australia

  • Marko Horvat --- Zagreb University of Applied Sciences, Croatia

  • Jingshan Huang --- University of South Alabama, USA

  • Muwei Jian --- Ocean University of China, USA

  • Zhe Jiang --- University of Alabama, USA

  • Michael Johnstone --- Deakin University, Australia

  • Katerina Kabasi --- Technical Institute of Ionian Islands, Greece

  • Isambo Karali --- National and Kapodistrian University of Athens, Greece

  • Taghi Koshgoftaar --- Florida Atlantic University, USA

  • Wei-Shinn Ku --- Auburn University, USA

  • Tetsuji Kuboyama --- Gakushuin University, Japan

  • Luis Lamb --- Federal University of Rio Grande do Sul, Brazil

  • Bastien Latard --- University of Haute-Alsace, France

  • Paea LePendu --- University of California, Riverside, USA

  • Nguyen LeMinh --- Japan Advanced Institute of Science and Technology, Japan

  • Gang Li --- Deakin University, Australia

  • Ya-Liang Li --- Tencent Medical AI Lab, USA

  • Sheng Li --- Adobe Research, USA

  • Shizhong Liao --- Tianjin University, China

  • Antonio Lieto --- University of Turin, Italy

  • Bo Liu --- Auburn University, USA

  • Malamati Louta --- University of Western Macedonia, Greece

  • Damian Lyons --- Fordham University, USA

  • Manwai Mak --- The Hong Kong Polytechnic University, Hong Kong

  • Hiroshi Mamitsuka --- Kyoto University, Japan

  • Omar Marey --- University of of Hafr al Batin-KAS, Saudi Arabia

  • Eric Medvet --- University of Trieste, Italy

  • Mariana Recamonde-Mendoza --- Universidade Federal do Rio Grande do Sul, Brazil

  • Kostas Metaxiotis --- University of Piraeus, Greece

  • Angelos Michalas --- Technological Institute of Kozani, Greece

  • Alvaro Moreira --- Universidade Federal do Rio Grande do Sul, Brazil

  • Maxime Morge --- Université de Lille, France

  • Nysret Musliu --- Vienna University of Technology, Austria

  • Andrea Orlandini --- National Research Council of Italy, Italy

  • Shimei Pan --- University of Maryland at Baltymore County, USA

  • Anand Panangadan --- California State University, Fullerton, USA

  • Iosif Papadakis-Ktistakis --- Wright State University, USA

  • Victor Parque --- Waseda University, Japan

  • Constantinos Patsakis --- University of Piraeus, Greece

  • Xi Peng --- Institute for Infocomm Research, A*STAR, Singapore

  • Isidoros Perikos --- University of Patras, Greece

  • Hai Phan --- New Jersey Institute of Technology, USA

  • Vo Ngoc Phu --- Duy Tan University, Vietnam

  • Martin Pilat --- Charles University, Czech Republic

  • Luca Piovesan --- University of Piemonte Orientale, Italy

  • Luigi Portinale --- Universita' del Piemonte Orientale "A. Avogadro", Italy

  • Jim Prentzas --- Democritus University of Thrace, Greece

  • Gabriel de Oliveira Ramos --- Vrije Universiteit Brussel, Belgium

  • Amar Raheja --- California State Polytechnic University, Pomona, USA

  • Neil Rowe --- U.S. Naval Postgraduate School, USA

  • Jie Qin --- ETH Zurich , Switzerland

  • Samira Sadaoui --- University of Regina, Canada

  • Albert Ali Salah --- Bogazici University, Turkey

  • Francecso Santini --- University of Perugia, Italy

  • Marcus Schatten --- University of Zagreb, Croatia

  • Mark Schmalz --- University of Florida, USA

  • Mark Schoenauer --- INRIA Paris, France

  • Heim Schweitzer --- University of Texas at Dallas, USA

  • Friedhelm Schwenker --- Ulm University, Germany

  • Laura Sebastia --- Universitat Politècnica de València, Spain

  • Yi Shang --- University of Missouri, USA

  • Vijay Shanker --- University of Delaware, USA

  • Onn Shehory --- Bar Ilan University, Israel

  • Spiros Skiadopoulos --- University of Peloponnese, Greece

  • Marcin Skowron --- Austrian Research Institute of Artificial Intelligence, Austria

  • Michalis Smyrnakis --- New York University at Qatar, Qatar

  • Jerry Spanakis --- Maastrachit University, Holland

  • Panagiotis Stamatopoulos --- National and Kapodistrian University of Athens, Greece

  • Pavel Surynek --- Czech Technical University, Czech Republic

  • Predrag Tadic --- University of Belgrade, Serbia

  • Yota Tsompanopoulou --- University of Thessaly, Greece

  • Christos Tryfonopoulos --- University of Peloponnese, Greece

  • Abhishek Verma --- California State University, Fullerton, USA

  • Aparna Varde --- Montclair University, USA

  • Carl Vogel --- Trinity College Dublin, Ireland

  • Slobotan Vucetic --- Temple University, USA

  • Alessandro Umbrico --- National Research Council of Italy, Italy

  • Shibiao Wan --- The Hong Kong Polytechnic University, Hong Kong

  • Guanghui Wang --- Kansas State University, USA

  • Nannan Wang --- Xidian University, China

  • Wei V. Wang --- Intel Corp., USA

  • Tianyang Wang -- Austin Peay State University, USA

  • Rosina Weber --- Drexler University, USA

  • Daya Chinthana Wimalasuriya --- Civitas Learning, USA

  • Clarissa Xavier --- Universidade Federal do Rio Grande do Sul, Brazil

  • Paul Rad --- University of Texas at San Antonio, USA

  • Chang Xu --- University of Technology Sydney, Australia

  • Keiji Yanai --- University of Electro-Communications, Tokyo, Japan

  • Wlodek Zadrozny --- University of North Carolina at Charlotte, USA

  • Yifeng Zeng --- Teesside University, United Kingdom

  • Chengyang Zhang --- Microsoft, USA

  • Defu Zhang --- Xiamen University, China

  • Liang Zhao --- George Mason University, USA

  • Shuai Zheng --- SAP Labs, USA

  • Lipu Zhou --- Carnegie Mellon University, USA

  • Xun Zhou --- University of Iowa, USA

征稿信息

重要日期

2018-06-01
初稿截稿日期

征稿范围

SAT/CSP Special Track

Constraint Programming (CP) and Boolean Satisfiability (SAT) are two related major topics of research in Artificial Intelligence. They have proved to be the most efficient techniques at the heart of general-purpose combinatorial problem solving, with application ranging from automation of logics, verification, planning and scheduling, both in academic research and industry.

Over the years, the ICTAI conference has become a major forum for the CSP and SAT research communities for presenting new high-quality results. The special track SAT/CSP@ICTAI2018 is intended to be a forum for new ideas and techniques using satisfiability and constraint solving. It particularly welcomes new core solving techniques, extensions to other domains of AI and applications.

Topics of Interest include but are not limited to:

  • SAT, SMT and CSP Solvers

  • Modeling, methodologies and tools

  • Implementation of solvers and global constraints

  • Applications of CSP and SAT-based technologies

  • Complete, incomplete and hybrid search techniques, heuristics, metaheuristics

  • AI techniques based on SAT and CSP

  • Tractable classes of problems, FPT, decompositions

  • Soft and weighted constraints, optimization, MAX-SAT, MAX-CSP

  • Machine learning, deep learning in SAT and CSP

  • Social network engineering with SAT and CSP

留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    11月05日

    2018

    11月07日

    2018

  • 06月01日 2018

    初稿截稿日期

  • 11月07日 2018

    注册截止日期

移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询