- Kdml - lists.cs.uni-kassel.de

Five open professorship positions at the Research Center Trustworthy Data Science and Security

by Prof. Dr. Emmanuel Müller

The Research Center Trustworthy Data Science and Security is offering the following five professorship positions to be filled as early as possible: 1.) Professorship (W3) for Trustworthy Data Science. Located at the Department of Computer Science, TU Dortmund University https://rc-trust.ai/Full-Professor-W3-Trustworthy-Data-Science.pdf 2.) Professorship (W3) for Human Understanding of Machines and Algorithms. Located at the Faculty of Engineering, Department of Computer Science and Applied Cognitive Science, University of Duisburg-Essen. https://rc-trust.ai/Full-Professor-W3-Human-Understanding-of-Machines-and-A… 3.) Professorship (Open Rank: W3 or W2 tenure track to W3) for Computing and Society Located at the Department of Computer Science, Ruhr-Universität Bochum. https://rc-trust.ai/Open-Rank-Professor-Computing-and-Society.pdf 4.) Professorship (Open Rank: W3 or W2 tenure track to W3) for Causality Located at the at the Department of Statistics, TU Dortmund University. https://rc-trust.ai/Open-Rank-Professor-Causality.pdf 5.) Professorship (Open Rank: W3 or W2 tenure track to W3) for Fairness and Transparency. Located at the Department of Computer Science, Ruhr-Universität Bochum. https://rc-trust.ai/Open-Rank-Professor-Fairness-and-Transparency.pdf The Research Center Trustworthy Data Science and Security addresses the trustworthiness of intelligent systems in safety-critical applications. A unique, human-centered research approach covers the entire interdisciplinary research of trustworthy data analytics, explainable machine learning, and privacy-aware algorithms. All professorships have a reduced teaching load of four semester hours. If you are interested, please find the advertisements for the open professorships in full length at the website of the Research Center: https://rc-trust.ai/ or contact Prof. Dr. Emmanuel Müller: emmanuel.mueller(a)cs.tu-dortmund.de

2 years, 9 months

1
0
0 0

Call for papers - ICITS'2023 | Cusco, Peru | Deadline: September 4

by ICITS-2023

* Indexed in Scopus, WoS, DBLP, etc. * Google Scholar H5-Index = 15 -------------------------------------------------------------------------------------------------------------------- ICITS'23 - The 6th International Conference on Information Technology & Systems Cusco, Peru, 8 - 10 February 2023 http://icits.me <http://icits.me/> -------------------------------------------------------------------------------------------------------------------- Scope ICITS'23 - The 6th International Conference on Information Technology & Systems, to be held at Universidad Nacional de San Antonio Abad del Cusco, in Cusco, Peru, between the 8th and the 10th of February 2023, is an international forum for researchers and practitioners to present and discuss the most recent innovations, trends, results, experiences and concerns in the several perspectives of Information Technology & Systems. We are pleased to invite you to submit your papers to ICITS'23. They can be written in English, Spanish or Portuguese. All submissions will be reviewed on the basis of relevance, originality, importance and clarity. Topics Submitted papers should be related with one or more of the main themes proposed for the Conference: A) Information and Knowledge Management (IKM); B) Organizational Models and Information Systems (OMIS); C) Software and Systems Modeling (SSM); D) Software Systems, Architectures, Applications and Tools (SSAAT); E) Multimedia Systems and Applications (MSA); F) Computer Networks, Mobility and Pervasive Systems (CNMPS); G) Intelligent and Decision Support Systems (IDSS); H) Big Data Analytics and Applications (BDAA); I) Human-Computer Interaction (HCI); J) Ethics, Computers and Security (ECS) K) Health Informatics (HIS); L) Information Technologies in Education (ITE); M) Media, Applied Technology and Communication (MATC). Submission and Decision Submitted papers written in English (until 10-page limit) must comply with the format of the Lecture Notes in Networks and Systems series (see Instructions for Authors at Springer Website <https://www.springer.com/us/authors-editors/conference-proceedings/conferen…>), must not have been published before, not be under review for any other conference or publication and not include any information leading to the authors’ identification. Therefore, the authors’ names and affiliations should not be included in the version for evaluation by the Scientific Committee. This information should only be included in the camera-ready version, saved in Word or Latex format and also in PDF format. These files must be accompanied by the Consent to Publish form <http://www.icits.me/copyright.docx> filled out, in a ZIP file, and uploaded at the conference management system. Submitted papers written in Spanish or Portuguese (until 15-page limit) must comply with the format of RISTI <http://www.risti.xyz/> - Revista Ibérica de Sistemas e Tecnologias de Informação (download instructions/template for authors in Spanish <http://www.risti.xyz/formato-es.doc> or Portuguese <http://www.risti.xyz/formato-pt.doc>), must not have been published before, not be under review for any other conference or publication and not include any information leading to the authors’ identification. Therefore, the authors’ names and affiliations should not be included in the version for evaluation by the Scientific Committee. This information should only be included in the camera-ready version, saved in Word. These files must be uploaded at the conference management system in a ZIP file. All papers will be subjected to a “double-blind review” by at least two members of the Scientific Committee. Based on Scientific Committee evaluation, a paper can be rejected or accepted by the Conference Chairs. In the later case, it can be accepted as paper or poster. The authors of papers accepted as posters must build and print a poster to be exhibited during the Conference. This poster must follow an A1 or A2 vertical format. The Conference can include Work Sessions where these posters are presented and orally discussed, with a 7 minute limit per poster. The authors of accepted papers will have 15 minutes to present their work in a Conference Work Session; approximately 5 minutes of discussion will follow each presentation. Publication and Indexing Papers accepted as posters are not published; they are only exhibited, presented and discussed during the conference. To ensure that a paper accepted as paper is published, at least one of the authors must be fully registered by the 4th of November 2022, and the paper must comply with the suggested layout and page-limit. Additionally, all recommended changes must be addressed by the authors before they submit the camera-ready version. No more than one paper per registration will be published. An extra fee must be paid for publication of additional papers, with a maximum of one additional paper per registration. One registration permits only the participation of one author in the conference. Papers written in English and accepted and registered will be published in Proceedings by Springer, in a book of the Lecture Notes in Networks and Systems series, will be submitted for indexation by Scopus, WoS, DBLP, Google Scholar, among others, and will be available in the SpringerLink Digital Library <http://link.springer.com/>. Papers written in Spanish or Portuguese and accepted and registered will be published in a Special Issue of RISTI <http://www.risti.xyz/> and will be submitted for indexation by Scopus, among others. Important Dates Paper Submission: September 4, 2022 Notification of Acceptance: October 16, 2022 Payment of Registration, to ensure the inclusion of an accepted paper in the conference proceedings: November 4, 2022. Camera-ready Submission: November 4, 2022 Website of ICITS'23: http://icits.me <http://icits.me/> ICITS'23 Team http://icits.me <http://icits.me/> -- This email has been checked for viruses by AVG. https://www.avg.com

2 years, 9 months

1
0
0 0

Call for papers - ICITS'2023 | Cusco, Peru | Deadline: September 4

by ICITS-2023

* Indexed in Scopus, WoS, DBLP, etc. * Google Scholar H5-Index = 15 -------------------------------------------------------------------------------------------------------------------- ICITS'23 - The 6th International Conference on Information Technology & Systems Cusco, Peru, 8 - 10 February 2023 http://icits.me <http://icits.me/> -------------------------------------------------------------------------------------------------------------------- Scope ICITS'23 - The 6th International Conference on Information Technology & Systems, to be held at Universidad Nacional de San Antonio Abad del Cusco, in Cusco, Peru, between the 8th and the 10th of February 2023, is an international forum for researchers and practitioners to present and discuss the most recent innovations, trends, results, experiences and concerns in the several perspectives of Information Technology & Systems. We are pleased to invite you to submit your papers to ICITS'23. They can be written in English, Spanish or Portuguese. All submissions will be reviewed on the basis of relevance, originality, importance and clarity. Topics Submitted papers should be related with one or more of the main themes proposed for the Conference: A) Information and Knowledge Management (IKM); B) Organizational Models and Information Systems (OMIS); C) Software and Systems Modeling (SSM); D) Software Systems, Architectures, Applications and Tools (SSAAT); E) Multimedia Systems and Applications (MSA); F) Computer Networks, Mobility and Pervasive Systems (CNMPS); G) Intelligent and Decision Support Systems (IDSS); H) Big Data Analytics and Applications (BDAA); I) Human-Computer Interaction (HCI); J) Ethics, Computers and Security (ECS) K) Health Informatics (HIS); L) Information Technologies in Education (ITE); M) Media, Applied Technology and Communication (MATC). Submission and Decision Submitted papers written in English (until 10-page limit) must comply with the format of the Lecture Notes in Networks and Systems series (see Instructions for Authors at Springer Website <https://www.springer.com/us/authors-editors/conference-proceedings/conferen…>), must not have been published before, not be under review for any other conference or publication and not include any information leading to the authors’ identification. Therefore, the authors’ names and affiliations should not be included in the version for evaluation by the Scientific Committee. This information should only be included in the camera-ready version, saved in Word or Latex format and also in PDF format. These files must be accompanied by the Consent to Publish form <http://www.icits.me/copyright.docx> filled out, in a ZIP file, and uploaded at the conference management system. Submitted papers written in Spanish or Portuguese (until 15-page limit) must comply with the format of RISTI <http://www.risti.xyz/> - Revista Ibérica de Sistemas e Tecnologias de Informação (download instructions/template for authors in Spanish <http://www.risti.xyz/formato-es.doc> or Portuguese <http://www.risti.xyz/formato-pt.doc>), must not have been published before, not be under review for any other conference or publication and not include any information leading to the authors’ identification. Therefore, the authors’ names and affiliations should not be included in the version for evaluation by the Scientific Committee. This information should only be included in the camera-ready version, saved in Word. These files must be uploaded at the conference management system in a ZIP file. All papers will be subjected to a “double-blind review” by at least two members of the Scientific Committee. Based on Scientific Committee evaluation, a paper can be rejected or accepted by the Conference Chairs. In the later case, it can be accepted as paper or poster. The authors of papers accepted as posters must build and print a poster to be exhibited during the Conference. This poster must follow an A1 or A2 vertical format. The Conference can include Work Sessions where these posters are presented and orally discussed, with a 7 minute limit per poster. The authors of accepted papers will have 15 minutes to present their work in a Conference Work Session; approximately 5 minutes of discussion will follow each presentation. Publication and Indexing Papers accepted as posters are not published; they are only exhibited, presented and discussed during the conference. To ensure that a paper accepted as paper is published, at least one of the authors must be fully registered by the 4th of November 2022, and the paper must comply with the suggested layout and page-limit. Additionally, all recommended changes must be addressed by the authors before they submit the camera-ready version. No more than one paper per registration will be published. An extra fee must be paid for publication of additional papers, with a maximum of one additional paper per registration. One registration permits only the participation of one author in the conference. Papers written in English and accepted and registered will be published in Proceedings by Springer, in a book of the Lecture Notes in Networks and Systems series, will be submitted for indexation by Scopus, WoS, DBLP, Google Scholar, among others, and will be available in the SpringerLink Digital Library <http://link.springer.com/>. Papers written in Spanish or Portuguese and accepted and registered will be published in a Special Issue of RISTI <http://www.risti.xyz/> and will be submitted for indexation by Scopus, among others. Important Dates Paper Submission: September 4, 2022 Notification of Acceptance: October 16, 2022 Payment of Registration, to ensure the inclusion of an accepted paper in the conference proceedings: November 4, 2022. Camera-ready Submission: November 4, 2022 Website of ICITS'23: http://icits.me <http://icits.me/> ICITS'23 Team http://icits.me <http://icits.me/> -- This email has been checked for viruses by AVG. https://www.avg.com

2 years, 10 months

1
0
0 0

Call for papers - ICITS'2023 | Cusco, Peru | Deadline: September 4

by ICITS-2023

* Indexed in Scopus, WoS, DBLP, etc. * Google Scholar H5-Index = 15 -------------------------------------------------------------------------------------------------------------------- ICITS'23 - The 6th International Conference on Information Technology & Systems Cusco, Peru, 8 - 10 February 2023 http://icits.me <http://icits.me/> -------------------------------------------------------------------------------------------------------------------- Scope ICITS'23 - The 6th International Conference on Information Technology & Systems, to be held at Universidad Nacional de San Antonio Abad del Cusco, in Cusco, Peru, between the 8th and the 10th of February 2023, is an international forum for researchers and practitioners to present and discuss the most recent innovations, trends, results, experiences and concerns in the several perspectives of Information Technology & Systems. We are pleased to invite you to submit your papers to ICITS'23. They can be written in English, Spanish or Portuguese. All submissions will be reviewed on the basis of relevance, originality, importance and clarity. Topics Submitted papers should be related with one or more of the main themes proposed for the Conference: A) Information and Knowledge Management (IKM); B) Organizational Models and Information Systems (OMIS); C) Software and Systems Modeling (SSM); D) Software Systems, Architectures, Applications and Tools (SSAAT); E) Multimedia Systems and Applications (MSA); F) Computer Networks, Mobility and Pervasive Systems (CNMPS); G) Intelligent and Decision Support Systems (IDSS); H) Big Data Analytics and Applications (BDAA); I) Human-Computer Interaction (HCI); J) Ethics, Computers and Security (ECS) K) Health Informatics (HIS); L) Information Technologies in Education (ITE); M) Media, Applied Technology and Communication (MATC). Submission and Decision Submitted papers written in English (until 10-page limit) must comply with the format of the Lecture Notes in Networks and Systems series (see Instructions for Authors at Springer Website <https://www.springer.com/us/authors-editors/conference-proceedings/conferen…>), must not have been published before, not be under review for any other conference or publication and not include any information leading to the authors’ identification. Therefore, the authors’ names and affiliations should not be included in the version for evaluation by the Scientific Committee. This information should only be included in the camera-ready version, saved in Word or Latex format and also in PDF format. These files must be accompanied by the Consent to Publish form <http://www.icits.me/copyright.docx> filled out, in a ZIP file, and uploaded at the conference management system. Submitted papers written in Spanish or Portuguese (until 15-page limit) must comply with the format of RISTI <http://www.risti.xyz/> - Revista Ibérica de Sistemas e Tecnologias de Informação (download instructions/template for authors in Spanish <http://www.risti.xyz/formato-es.doc> or Portuguese <http://www.risti.xyz/formato-pt.doc>), must not have been published before, not be under review for any other conference or publication and not include any information leading to the authors’ identification. Therefore, the authors’ names and affiliations should not be included in the version for evaluation by the Scientific Committee. This information should only be included in the camera-ready version, saved in Word. These files must be uploaded at the conference management system in a ZIP file. All papers will be subjected to a “double-blind review” by at least two members of the Scientific Committee. Based on Scientific Committee evaluation, a paper can be rejected or accepted by the Conference Chairs. In the later case, it can be accepted as paper or poster. The authors of papers accepted as posters must build and print a poster to be exhibited during the Conference. This poster must follow an A1 or A2 vertical format. The Conference can include Work Sessions where these posters are presented and orally discussed, with a 7 minute limit per poster. The authors of accepted papers will have 15 minutes to present their work in a Conference Work Session; approximately 5 minutes of discussion will follow each presentation. Publication and Indexing Papers accepted as posters are not published; they are only exhibited, presented and discussed during the conference. To ensure that a paper accepted as paper is published, at least one of the authors must be fully registered by the 4th of November 2022, and the paper must comply with the suggested layout and page-limit. Additionally, all recommended changes must be addressed by the authors before they submit the camera-ready version. No more than one paper per registration will be published. An extra fee must be paid for publication of additional papers, with a maximum of one additional paper per registration. One registration permits only the participation of one author in the conference. Papers written in English and accepted and registered will be published in Proceedings by Springer, in a book of the Lecture Notes in Networks and Systems series, will be submitted for indexation by Scopus, WoS, DBLP, Google Scholar, among others, and will be available in the SpringerLink Digital Library <http://link.springer.com/>. Papers written in Spanish or Portuguese and accepted and registered will be published in a Special Issue of RISTI <http://www.risti.xyz/> and will be submitted for indexation by Scopus, among others. Important Dates Paper Submission: September 4, 2022 Notification of Acceptance: October 16, 2022 Payment of Registration, to ensure the inclusion of an accepted paper in the conference proceedings: November 4, 2022. Camera-ready Submission: November 4, 2022 Website of ICITS'23: http://icits.me <http://icits.me/> ICITS'23 Team http://icits.me <http://icits.me/> -- This email has been checked for viruses by AVG. https://www.avg.com

2 years, 10 months

1
0
0 0

LPNMR 2022: Call for participation (Early reg. By July 20th)

by cfp

[Apologies in case of multiple posting] CALL FOR PARTICIPATION -------------------------------------------------------------------------------------------- 16th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2022 https://sites.google.com/view/lpnmr2022/ Genova, Italy September 5-9, 2022 --------------------------------------------------------------------------------------------- REGISTRATION Early registration deadline is July 20th, 2022. For more information, visit: https://sites.google.com/view/lpnmr2022/registration We remind that at least one author of each accepted paper must early register in order to have the paper included in the proceedings. AIMS AND SCOPE LPNMR 2022 is the sixteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and non-monotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. LPNMR 2022 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. TOPICS Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below. Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Formalization of Commonsense Reasoning and understanding its laws and nature; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. COLOCATED WORKSHOPS (on Sept 5th) 4th International Workshop on the Resurgence of Datalog in Academia and Industry (DATALOG 2.0) 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) 29th RCRA workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2022) ASSOCIATED EVENTS LPNMR DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. FURTHER INFORMATION WWW:https://lpnmr2022.dibris.unige.it Email:lpnmr2022@easychair.org((submission and program) lpnmr2022(a)dibris.unige.it (general and local matters) Facebook:https://www.facebook.com/lpnmr2022 Twitter:https://twitter.com/lpnmr2022 Instagram:https://www.instagram.com/lpnmr2022 VENUE The main conference will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/, information available only in Italian on this link), which is a college directly situated on the sea. Nervi is a former fishing village, now a suburb of Genoa. Nervi is 7 km east of central Genova. Genova is the capital of Liguria, stretching along the bay of the same name from Nervi to the east as far as Voltri to the west. The pride of Nervi is the sea promenade, a 2 km walkway along the cliffs. The stunning views make it one of Italy's most beautiful promenades. Nervi is also well known for its Parchi, a park of about 22 acres (9 hectares) created from the gardens of the Villa Grimaldi, Villa Groppallo, and Villa Serra. It has typical Mediterranean plant species and many exotic species. Genova$B!G(Bs old town district (reachable by local train, by bus, as well as by boat) is one of the largest in Europe, and hosts some remarkable artistic and architectural treasures, including the Palazzi dei Rolli, fifty or so homes of the aristocracy entered on the UNESCO World Heritage List. In addition to offering a wealth of cultural attractions, Genova is a fascinating destination for tourists, with its scenic vantage points, sea promenades, aristocratic villas and of course the Riviera to the east and west, both easy to reach: Portovenere and Le Cinque Terre (also UNESCO World Heritage Sites), Portofino and Camogli to the east and Alassio, Sanremo, Bordighera to the west. Workshops and associated events, differently from what we mentioned in the previous call, are planned to be held in the main conference venue as well. Of course, we will continuously monitor the pandemic situation in order to evaluate whether the conference can be indeed held as an in-person event, or we will need to switch to a hybrid event, if not completely on-line. GENERAL CHAIR Georg Gottlob, Oxford University, UK PROGRAM CHAIRS Daniela Inclezan, Miami University, USA Marco Maratea, University of Genova, Italy PUBLICITY CHAIR Jessica Zangari, University of Calabria, Italy WORKSHOPS CHAIR Viviana Mascardi, University of Genova, Italy DOCTORAL CONSORTIUM CHAIR Martin Gebser, University of Klagenfurt, Austria LOCAL ORGANIZATION Matteo Cardellini, University of Genova, Italy Angelo Ferrando, University of Genova, Italy (Chair) Marco Mochi, University of Genova, Italy PROGRAM COMMITTEE Mario Alviano, Department of Mathematics and Computer Science, University of Calabria Chitta Baral, Arizona State University Marcello Balduccini, Saint Joseph's University Francesco Calimeri, Department of Mathematics and Computer Science, University of Calabria Marina De Vos, University of Bath Carmine Dodaro, Department of Mathematics and Computer Science, University of Calabria Agostino Dovier, University of Udine Daniele Theseider Dupr?, Universita' del Piemonte Orientale Thomas Eiter, Vienna University of Technology Esra Erdem, Sabanci University Wolfgang Faber, Alpen-Adria-Universit?t Klagenfurt Johannes K. Fichte, TU Wien Paul Fodor, Stony Brook University Gerhard Friedrich, Alpen-Adria-Universitaet Sarah Alice Gaggl, TU Dresden Martin Gebser, University of Klagenfurt Michael Gelfond, Texas Tech University Gopal Gupta, The University of Texas at Dallas Katsumi Inoue, NII Tomi Janhunen, Tampere University Gabriele Kern-Isberner, Technische Universitaet Dortmund Matthias Knorr, Universidade NOVA de Lisboa Emily Leblanc, Drexel University Joao Leite, Universidade NOVA de Lisboa Vladimir Lifschitz, The University of Texas at Austin Enrico Pontelli, New Mexico State University Francesco Ricca, Department of Mathematics and Computer Science University of Calabria Alessandra Russo, Imperial College London Orkunt Sabuncu, TED University, Ankara Chiaki Sakama, Wakayama University Torsten Schaub, University of Potsdam Guillermo R. Simari, Universidad del Sur in Bahia Blanca Theresa Swift, NOVALINKS, Universidade Nova de Lisboa Matthias Thimm, FernUniversit?t in Hagen Hans Tompits, Vienna University of Technology Mirek Truszczynski, Computer Science Department, University of Kentucky Johannes P. Wallner, TU Graz Kewen Wang, Griffith University Stefan Woltran, Vienna University of Technology Jia-Huai You, University of Alberta

2 years, 10 months

1
0
0 0

Datalog 2.0 2022 - Third Call for Papers

by cfp

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] --------------------------------------------------------------------------- THIRD CALL FOR PAPERS 4th International Workshop on the Resurgence of Datalog in Academia and Industry Datalog 2.0 2022 https://tinyurl.com/datalog20-22 September 5, 2022, Genova - Nervi, Italy Workshop of LPNMR 2022 --------------------------------------------------------------------------- AIMS AND SCOPE Datalog 2.0 is a workshop for Datalog researchers, implementors, and users. Its aim is to bring together researchers and practitioners interested in different aspects of Datalog to share research experiences, promote collaboration and identify directions for joint future research. The 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2022) will be held in Genova, Italy, on September 5, 2022. Datalog 2.0 2022 is a workshop of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022). The first edition of Datalog 2.0 was held in Oxford, UK, in 2010, and it was by invitation only. Since Datalog has resurrected as a lively topic with applications in many different areas of computer science, as well as industry, the second and the third edition of the workshop, which were held in Vienna in 2012 and in Philadelphia in 2019, respectively, were open for submissions. INVITED SPEAKER Reinhard Pichler, Vienna University of Technology, Austria Title: Novel Techniques in Datalog Optimization Abstract: Datalog has been specifically designed for processing recursive queries. As such it seems the perfect fit for today's data analytics applications, which typically require some kind of iteration or recursion. However, basic analytical tasks such as computing shortest paths, betweenness centrality, or connected components in a graph as well as solving optimization problems by gradient descent or other methods crucially depend on aggregation. For Datalog, this poses new challenges due to the loss of the usual monotonicity properties in case of aggregation. In this talk, I will present recent work in which *) we have studied a generalization of Datalog that allows for recursive computations over general semirings (with classical Datalog corresponding to the special case of the Boolean semiring), *) we have analyzed the convergence of this generalization of Datalog, and *) we have introduced a powerful new optimization technique that covers known optimizations such as magic-set rewriting as well as new ones. This talk is mainly based on the following papers: [1] Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang: Convergence of Datalog over (Pre-) Semirings. PODS 2022. [2] Yisu Remy Wang, Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu: Optimizing Recursive Queries with Progam Synthesis. SIGMOD Conference 2022. TOPICS Authors are invited to submit papers presenting original and unpublished research on the foundational aspects of Datalog, as well as on its applications in other areas of computer science and in industry. Potential areas of application of Datalog may include (among others): data management, data mining, knowledge representation and reasoning, cloud computing, distributed computing, logic programming, privacy and security, probabilistic reasoning, program analysis, programming languages, semantic web, social networks, streaming, verification, web services. SUBMISSION Datalog 2.0 2022 welcomes two types of submissions * Long papers of up to 12 pages, presenting original research * Short papers of up to 5 pages that may contain either original ongoing research or recently published results in the following categories * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page and references. All submissions will be peer-reviewed. Accepted papers will be submitted for publication in the CEUR Workshop proceedings (http://ceur-ws.org). Authors can opt-out if desired. At least one author of each accepted paper must attend the workshop to present the work. Submissions must be written in English, and formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conferen… Paper submission is enabled via the Datalog 2.0 2022 EasyChair site:https://easychair.org/conferences/?conf=datalog20-22 Up to five best regular papers will be invited for rapid publication in the journal of Theory and Practice of Logic Programming (TPLP). FURTHER INFORMATION WWW:https://tinyurl.com/datalog20-22 Email:datalog20-22@easychair.org IMPORTANT DATES Paper registration: July 1 Paper submission: July 8 Notification: August 1 Final versions due: August 20 VENUE The workshop will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/, information available only in Italian on this link), which is a college directly situated on the see. Genova is the capital of Liguria, stretching along the bay of the same name from Nervi to the east as far as Voltri to the west. Genova’s old town district (reachable by local train, by bus, as well as by boat) is one of the largest in Europe, and hosts some remarkable artistic and architectural treasures, including the Palazzi dei Rolli, fifty or so homes of the aristocracy entered on the UNESCO World Heritage List. Nervi is a former fishing village, now a suburb of Genoa, 7 km east of central Genova. Two of the most important tourist attractions of Genoa are in Nervi: the sea promenade, a 2 km walkway along the cliffs, and the "Parchi di Nervi". The sea promenade is famous for the stunning views that make it one of Italy's most beautiful promenades. While the "Parchi di Nervi" is a park of about 22 acres (9 hectares) created from the gardens of the Villa Grimaldi, Villa Groppallo, and Villa Serra. It has typical Mediterranean plant species and many exotic species and the entrance is just at the end of the promenade. In addition to offering a wealth of cultural attractions, Genova is a fascinating destination for tourists, with its scenic vantage points, sea promenades, aristocratic villas, and of course the Riviera to the east and west, both easy to reach: Portovenere and Le Cinque Terre (also UNESCO World Heritage Sites), Portofino and Camogli to the east and Alassio, Sanremo, Bordighera to the west. Of course, we will continuously monitor the pandemic situation in order to evaluate whether the conference can be indeed held as an in-person event, or we will need to switch to a hybrid event, if not completely on-line. PROGRAM CHAIRS Mario Alviano, University of Calabria, Italy Andreas Pieris, University of Edinburgh, UK & University of Cyprus, Cyprus PUBLICITY CHAIR Jessica Zangari, University of Calabria, Italy PROGRAM COMMITTEE Marcelo Arenas, Pontificia Universidad Católica, Chile Leopoldo Bertossi, University Adolfo Ibáñez, Chile & Skema Business School, Canada Marco Calautti, University of Trento, Italy Esra Erdem, Sabanci University, Turkey Jorge Fandinno, University of Nebraska, USA Cristina Feier, University of Bremen, Germany Roman Kontchakov, Birkbeck, University of London, UK Paraschos Koutris, University of Wisconsin-Madison, USA Markus Krötzsch, TU Dresden, Germany Matthias Lanzinger, University of Oxford, UK Domenico Lembo, Sapienza University of Rome, Italy Francesca Alessandra Lisi, Università degli Studi di Bari "Aldo Moro", Italy Yanhong A. Liu, Stony Brook University, USA Marco Manna, University of Calabria, Italy Michael Morak, University of Klagenfurt, Austria Liat Peterfreund, Paris-Est University, France Torsten Schaub, University of Potsdam, Germany Mantas Simkus, TU Wien, Austria Tran Cao Son, New Mexico State University, USA

2 years, 10 months

1
0
0 0

LPNMR 2022: First call for Doctoral Consortium

by cfp

Call for Contributions LPNMR Doctoral Consortium 2022 Genova, Italy September 5-8, 2022 https://sites.google.com/view/lpnmr2022/doctoral-consortium Topic and Objective ******************* The LPNMR Doctoral Consortium (DC) is to be held as part of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022) in Genova, Italy, September 5-8, 2022. The DC provides a forum for doctoral students working in all areas related to logic programming and non-monotonic reasoning. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts in a supportive environment. The 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR) is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design, implementation and application of logic-based programming languages and database systems, and those who work in the area of knowledge representation and non-monotonic reasoning. During the DC, there will be significant time for students to present their work, and meet mentors from their own and closely related fields. Target Audience *************** The DC is designed for students currently enrolled in a PhD program, though we are also open to exceptions (e.g., students currently in a masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC, but preference will be given to students who have settled on a research topic or direction but still have some way to go in their studies. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): - Theoretical Foundations of LPNMR systems, including semantics of new or existing languages, new language extensions, and computational complexity - Implementation of LPNMR systems, including new systems and algorithms - Applications of LPNMR The DC allows participants to interact with established researchers and fellow students, through presentations, a poster session, question-answer sessions and social interactions. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued research presentation, present a poster at the main event and attend a lunch in small groups with their mentor/senior researcher. Application Process ******************* Students at both the PhD and late stage masters level are encouraged to apply. However, preference will be given to students in PhD programs. Submissions will be selected based on the assessment of the organizing committee. We will give preference to students who have settled on a research topic or direction but still have some way to go in their studies. Applications to the LPNMR DC should consist of: 1. Cover Sheet: This is a one-page information sheet which should include: - Your full name, gender, contact details, official affiliation, and home page (if any); - Your expected graduation date and the number of years in your current program; - Your thesis advisor's full name and contact details; - A list of up to 5 people within the LPNMR community you feel would be good mentors or are people you want to talk to; - A list of up to 5 keywords that you would use to describe your research. 2. Extended Abstract: This should be a thesis summary, no longer than 6 pages (including references) formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conferen… Please give a brief background for your thesis research, explain the central questions of your research and the work you have accomplished so far. Be sure to clearly describe your work (e.g., what you have done and what you plan to work on), while emphasizing the contributions and their significance. This should not be a reduced version of a single paper, but be about your dissertation. Please use the first person where appropriate. 3. Vita: A CV not to exceeded 3 pages that includes your background and a brief statement of your research interests; relevant experience in research, education, or employment; and any publications (accepted or pending) for conferences or journals. 4. Advisor/Supervisor Statement: A signed supporting statement from your advisor or supervisor explaining why she/he thinks it is a good idea for you to participate in this event. Please submit all application materials as one PDF per e-mail to DC organization chair: Martin Gebser University of Klagenfurt martin.gebser(a)aau.at Applications will be reviewed based on several criteria including the quality of the work submitted, stage of research, evidence of research progress, the committee's assessment of the student's contribution to and benefit from participating in the DC, and input from the student's advisor. Details regarding publication of extended abstracts and financial support will be published on the DC website at a later date. Important Dates *************** Application Submission: Jul 6, 2022 Notification: Jul 20, 2022 Camera-ready Version: Aug 10, 2022 Doctoral Consortium: Sep 5, 2022 (tentative) Committee ********* Organization Chair: Martin Gebser, University of Klagenfurt Program Committee: TBA Call for Contributions LPNMR Doctoral Consortium 2022 Genova, Italy September 5-8, 2022 https://sites.google.com/view/lpnmr2022/doctoral-consortium Topic and Objective ******************* The LPNMR Doctoral Consortium (DC) is to be held as part of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022) in Genova, Italy, September 5-8, 2022. The DC provides a forum for doctoral students working in all areas related to logic programming and non-monotonic reasoning. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts in a supportive environment. The 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR) is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design, implementation and application of logic-based programming languages and database systems, and those who work in the area of knowledge representation and non-monotonic reasoning. During the DC, there will be significant time for students to present their work, and meet mentors from their own and closely related fields. Target Audience *************** The DC is designed for students currently enrolled in a PhD program, though we are also open to exceptions (e.g., students currently in a masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC, but preference will be given to students who have settled on a research topic or direction but still have some way to go in their studies. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): - Theoretical Foundations of LPNMR systems, including semantics of new or existing languages, new language extensions, and computational complexity - Implementation of LPNMR systems, including new systems and algorithms - Applications of LPNMR The DC allows participants to interact with established researchers and fellow students, through presentations, a poster session, question-answer sessions and social interactions. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued research presentation, present a poster at the main event and attend a lunch in small groups with their mentor/senior researcher. Application Process ******************* Students at both the PhD and late stage masters level are encouraged to apply. However, preference will be given to students in PhD programs. Submissions will be selected based on the assessment of the organizing committee. We will give preference to students who have settled on a research topic or direction but still have some way to go in their studies. Applications to the LPNMR DC should consist of: 1. Cover Sheet: This is a one-page information sheet which should include: - Your full name, gender, contact details, official affiliation, and home page (if any); - Your expected graduation date and the number of years in your current program; - Your thesis advisor's full name and contact details; - A list of up to 5 people within the LPNMR community you feel would be good mentors or are people you want to talk to; - A list of up to 5 keywords that you would use to describe your research. 2. Extended Abstract: This should be a thesis summary, no longer than 6 pages (including references) formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conferen… Please give a brief background for your thesis research, explain the central questions of your research and the work you have accomplished so far. Be sure to clearly describe your work (e.g., what you have done and what you plan to work on), while emphasizing the contributions and their significance. This should not be a reduced version of a single paper, but be about your dissertation. Please use the first person where appropriate. 3. Vita: A CV not to exceeded 3 pages that includes your background and a brief statement of your research interests; relevant experience in research, education, or employment; and any publications (accepted or pending) for conferences or journals. 4. Advisor/Supervisor Statement: A signed supporting statement from your advisor or supervisor explaining why she/he thinks it is a good idea for you to participate in this event. Please submit all application materials as one PDF per e-mail to DC organization chair: Martin Gebser University of Klagenfurt martin.gebser(a)aau.at Applications will be reviewed based on several criteria including the quality of the work submitted, stage of research, evidence of research progress, the committee's assessment of the student's contribution to and benefit from participating in the DC, and input from the student's advisor. Details regarding publication of extended abstracts and financial support will be published on the DC website at a later date. Important Dates *************** Application Submission: Jul 6, 2022 Notification: Jul 20, 2022 Camera-ready Version: Aug 10, 2022 Doctoral Consortium: Sep 5, 2022 (tentative) Committee ********* Organization Chair: Martin Gebser, University of Klagenfurt Program Committee: TBA

2 years, 10 months

1
0
0 0

ICITS'2023 | Cusco, Peru | Deadline: September 4

by ICITS-2023

* Google Scholar H5-Index = 13 * Indexed in SCOPUS, WOS, DBLP, etc. -------------------------------------------------------------------------------------------------------------------- ICITS'23 - The 6th International Conference on Information Technology & Systems Cusco, Peru, 8 - 10 February 2023 http://icits.me <http://icits.me/> -------------------------------------------------------------------------------------------------------------------- Scope ICITS'23 - The 6th International Conference on Information Technology & Systems, to be held at Universidad Nacional de San Antonio Abad del Cusco, in Cusco, Peru, between the 8th and the 10th of February 2023, is an international forum for researchers and practitioners to present and discuss the most recent innovations, trends, results, experiences and concerns in the several perspectives of Information Technology & Systems. We are pleased to invite you to submit your papers to ICITS'23. They can be written in English, Spanish or Portuguese. All submissions will be reviewed on the basis of relevance, originality, importance and clarity. Topics Submitted papers should be related with one or more of the main themes proposed for the Conference: A) Information and Knowledge Management (IKM); B) Organizational Models and Information Systems (OMIS); C) Software and Systems Modeling (SSM); D) Software Systems, Architectures, Applications and Tools (SSAAT); E) Multimedia Systems and Applications (MSA); F) Computer Networks, Mobility and Pervasive Systems (CNMPS); G) Intelligent and Decision Support Systems (IDSS); H) Big Data Analytics and Applications (BDAA); I) Human-Computer Interaction (HCI); J) Ethics, Computers and Security (ECS) K) Health Informatics (HIS); L) Information Technologies in Education (ITE); M) Media, Applied Technology and Communication (MATC). Submission and Decision Submitted papers written in English (until 10-page limit) must comply with the format of the Lecture Notes in Networks and Systems series (see Instructions for Authors at Springer Website <https://www.springer.com/us/authors-editors/conference-proceedings/conferen…>), must not have been published before, not be under review for any other conference or publication and not include any information leading to the authors’ identification. Therefore, the authors’ names and affiliations should not be included in the version for evaluation by the Scientific Committee. This information should only be included in the camera-ready version, saved in Word or Latex format and also in PDF format. These files must be accompanied by the Consent to Publish form <http://www.icits.me/copyright.docx> filled out, in a ZIP file, and uploaded at the conference management system. Submitted papers written in Spanish or Portuguese (until 15-page limit) must comply with the format of RISTI <http://www.risti.xyz/> - Revista Ibérica de Sistemas e Tecnologias de Informação (download instructions/template for authors in Spanish <http://www.risti.xyz/formato-es.doc> or Portuguese <http://www.risti.xyz/formato-pt.doc>), must not have been published before, not be under review for any other conference or publication and not include any information leading to the authors’ identification. Therefore, the authors’ names and affiliations should not be included in the version for evaluation by the Scientific Committee. This information should only be included in the camera-ready version, saved in Word. These files must be uploaded at the conference management system in a ZIP file. All papers will be subjected to a “double-blind review” by at least two members of the Scientific Committee. Based on Scientific Committee evaluation, a paper can be rejected or accepted by the Conference Chairs. In the later case, it can be accepted as paper or poster. The authors of papers accepted as posters must build and print a poster to be exhibited during the Conference. This poster must follow an A1 or A2 vertical format. The Conference can include Work Sessions where these posters are presented and orally discussed, with a 7 minute limit per poster. The authors of accepted papers will have 15 minutes to present their work in a Conference Work Session; approximately 5 minutes of discussion will follow each presentation. Publication and Indexing Papers accepted as posters are not published; they are only exhibited, presented and discussed during the conference. To ensure that a paper accepted as paper is published, at least one of the authors must be fully registered by the 4th of November 2022, and the paper must comply with the suggested layout and page-limit. Additionally, all recommended changes must be addressed by the authors before they submit the camera-ready version. No more than one paper per registration will be published. An extra fee must be paid for publication of additional papers, with a maximum of one additional paper per registration. One registration permits only the participation of one author in the conference. Papers written in English and accepted and registered will be published in Proceedings by Springer, in a book of the Lecture Notes in Networks and Systems series, will be submitted for indexation by Scopus, WoS, DBLP, Google Scholar, among others, and will be available in the SpringerLink Digital Library <http://link.springer.com/>. Papers written in Spanish or Portuguese and accepted and registered will be published in a Special Issue of RISTI <http://www.risti.xyz/> and will be submitted for indexation by Scopus, among others. Important Dates Paper Submission: September 4, 2022 Notification of Acceptance: October 16, 2022 Payment of Registration, to ensure the inclusion of an accepted paper in the conference proceedings: November 4, 2022. Camera-ready Submission: November 4, 2022 Website of ICITS'23: http://icits.me <http://icits.me/> ICITS'23 Team http://icits.me <http://icits.me/> -- This email has been checked for viruses by AVG. https://www.avg.com

2 years, 11 months

1
0
0 0

ICITS'2023 | Cusco, Peru | Deadline: September 4

by ICITS-2023

-------------------------------------------------------------------------------------------------------------------- ICITS'23 - The 6th International Conference on Information Technology & Systems Cusco, Peru, 8 - 10 February 2023 http://icits.me <http://icits.me/> -------------------------------------------------------------------------------------------------------------------- Scope ICITS'23 - The 6th International Conference on Information Technology & Systems, to be held at Universidad Nacional de San Antonio Abad del Cusco, in Cusco, Peru, between the 8th and the 10th of February 2023, is an international forum for researchers and practitioners to present and discuss the most recent innovations, trends, results, experiences and concerns in the several perspectives of Information Technology & Systems. We are pleased to invite you to submit your papers to ICITS'23. They can be written in English, Spanish or Portuguese. All submissions will be reviewed on the basis of relevance, originality, importance and clarity. Topics Submitted papers should be related with one or more of the main themes proposed for the Conference: A) Information and Knowledge Management (IKM); B) Organizational Models and Information Systems (OMIS); C) Software and Systems Modeling (SSM); D) Software Systems, Architectures, Applications and Tools (SSAAT); E) Multimedia Systems and Applications (MSA); F) Computer Networks, Mobility and Pervasive Systems (CNMPS); G) Intelligent and Decision Support Systems (IDSS); H) Big Data Analytics and Applications (BDAA); I) Human-Computer Interaction (HCI); J) Ethics, Computers and Security (ECS) K) Health Informatics (HIS); L) Information Technologies in Education (ITE); M) Media, Applied Technology and Communication (MATC). Submission and Decision Submitted papers written in English (until 10-page limit) must comply with the format of the Lecture Notes in Networks and Systems series (see Instructions for Authors at Springer Website <https://www.springer.com/us/authors-editors/conference-proceedings/conferen…>), must not have been published before, not be under review for any other conference or publication and not include any information leading to the authors’ identification. Therefore, the authors’ names and affiliations should not be included in the version for evaluation by the Scientific Committee. This information should only be included in the camera-ready version, saved in Word or Latex format and also in PDF format. These files must be accompanied by the Consent to Publish form <http://www.icits.me/copyright.docx> filled out, in a ZIP file, and uploaded at the conference management system. Submitted papers written in Spanish or Portuguese (until 15-page limit) must comply with the format of RISTI <http://www.risti.xyz/> - Revista Ibérica de Sistemas e Tecnologias de Informação (download instructions/template for authors in Spanish <http://www.risti.xyz/formato-es.doc> or Portuguese <http://www.risti.xyz/formato-pt.doc>), must not have been published before, not be under review for any other conference or publication and not include any information leading to the authors’ identification. Therefore, the authors’ names and affiliations should not be included in the version for evaluation by the Scientific Committee. This information should only be included in the camera-ready version, saved in Word. These files must be uploaded at the conference management system in a ZIP file. All papers will be subjected to a “double-blind review” by at least two members of the Scientific Committee. Based on Scientific Committee evaluation, a paper can be rejected or accepted by the Conference Chairs. In the later case, it can be accepted as paper or poster. The authors of papers accepted as posters must build and print a poster to be exhibited during the Conference. This poster must follow an A1 or A2 vertical format. The Conference can include Work Sessions where these posters are presented and orally discussed, with a 7 minute limit per poster. The authors of accepted papers will have 15 minutes to present their work in a Conference Work Session; approximately 5 minutes of discussion will follow each presentation. Publication and Indexing Papers accepted as posters are not published; they are only exhibited, presented and discussed during the conference. To ensure that a paper accepted as paper is published, at least one of the authors must be fully registered by the 4th of November 2022, and the paper must comply with the suggested layout and page-limit. Additionally, all recommended changes must be addressed by the authors before they submit the camera-ready version. No more than one paper per registration will be published. An extra fee must be paid for publication of additional papers, with a maximum of one additional paper per registration. One registration permits only the participation of one author in the conference. Papers written in English and accepted and registered will be published in Proceedings by Springer, in a book of the Lecture Notes in Networks and Systems series, will be submitted for indexation by Scopus, WoS, DBLP, Google Scholar, among others, and will be available in the SpringerLink Digital Library <http://link.springer.com/>. Papers written in Spanish or Portuguese and accepted and registered will be published in a Special Issue of RISTI <http://www.risti.xyz/> and will be submitted for indexation by Scopus, among others. Important Dates Paper Submission: September 4 13, 2022 Notification of Acceptance: October 16, 2022 Payment of Registration, to ensure the inclusion of an accepted paper in the conference proceedings: November 4, 2022. Camera-ready Submission: November 4, 2022 Website of ICITS'23: http://icits.me <http://icits.me/> ICITS'23 Team http://icits.me <http://icits.me/> -- This email has been checked for viruses by AVG. https://www.avg.com

2 years, 11 months

1
0
0 0

CFP:11th International Workshop on Approaches and Applications of Inductive Programming

by Ute Schmid

2 years, 11 months

1
0
0 0

2025

2024

2023

2022

2021

Kdml