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
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
初稿截稿日期
注册截止日期
2024年10月30日 美国 Herndon
2024 IEEE 36th International Conference on Tools with Artificial Intelligence (ICTAI)2017年11月06日 美国 Boston
2017 IEEE 29th International Conference on Tools with Artificial Intelligence2016年11月07日 美国 San Jose,USA
IEEE International Conference on Tools with Artificial Intelligence2015年11月09日 意大利
2015年IEEE第27届工具与人工智能国际会议2014年11月10日 塞浦路斯
2014年第26届IEEE人工智能工具国际会议2013年11月04日 美国
2015年IEEE第25届工具与人工智能国际会议
留言