-------- Forwarded Message --------
Subject: [AISWorld] BPM Track at the 17th International Conference
“Wirtschaftsinformatik” - Call for Papers
Date: Thu, 5 Aug 2021 14:09:55 +0000
From: Patrick Delfmann <delfmann(a)live.uni-koblenz.de>
To: aisworld(a)lists.aisnet.org <aisworld(a)lists.aisnet.org>
Dear Colleagues,
we invite you to contribute to the track "Business Process Management"
at the 17th International Conference “Wirtschaftsinformatik” at the
Friedrich-Alexander-Universität Erlangen-Nürnberg (2022-02-21 to
2022-02-23).
Call for papers: Business Process Management
A track at WI22, February 21 to 23, 2022, at the University of
Erlangen-Nürnberg, Germany
Business Process Management (BPM) has emerged as one of the key
management instruments. It aims to support organizations in the
engineering, management, implementation, execution, monitoring and
improvement of business processes to better reach their business goals.
In the past decades, BPM has diversified into many research streams,
including business process reengineering, business process modeling,
process mining, robotic process automation, or predictive process
monitoring, to name only a few. The goal of the track is to understand
and discuss the manifold facets of BPM, both from a technological and
managerial perspective, and how they interact to contribute to current
challenges such as digitalization and the integration of AI in
organizations. The track therefore invites contributions from the full
research spectrum of BPM. We appreciate both works from behavioral and
design science, as well as papers on foundational or applied BPM
research from the Computer Science, Information Systems and Management
fields. Besides theoretical, conceptual and empirical works,
implementations such as prototypes are also highly welcome. Topics
include, but are not limited to
• Business process modeling (languages / architectures)
• Business process automation
• Process mining
• (Predictive) process analytics
• Semantic technologies for BPM
• BPM in particular domains
• Business process reengineering / innovation
• BPM methodologies
• Economic aspects of BPM
• Strategic aspects of BPM
• BPM governance
Please visit https://www.wi22.eu for further information.
Important dates
2021-09-01, 14h CEST: Submission Deadline
2021-09-10: Fast and constructive AE Feedback
2021-10-10: Submission of reviews by Reviewers
2021-10-20: Submission of reviews by AE
2021-10-27: Decision of track chairs
2021-10-31: Notification to authors
2021-11-15: Submission of revised papers
2021-11-21: Final decision and information to authors
Track Chairs
Agnes Koschmider (University of Kiel, D)
Michael Fellmann (University of Rostock, D)
Patrick Delfmann (University of Koblenz, D)
Program Committee
Stefanie Rinderle-Ma (Technical University of Munich, D)
Stefan Schönig (University of Regensburg, D)
Ralf Plattfaut (University of Applied Sciences South Westfalia, D)
Ralf Laue (University of Applied Sciences Zwickau, D)
Ralf Knackstedt (University of Hildesheim, D)
Michael zur Mühlen (Stevens Institute of Technology, NJ, USA)
Maximilian Röglinger (University of Bayreuth, D)
Luise Pufahl (TU Berlin, D)
Kate Revoredo (WU Vienna, A)
Jana-Rebecca Rehse (University of Mannheim, D)
Jan vom Brocke (University of Liechtenstein, LI)
Henrik Leopold (Kühne Logistics University Hamburg, D)
Faruk Hasic (KU Leuven, B)
Claudio di Ciccio (Sapienza University of Rome, I)
Carl Corea (University of Koblenz, D)
Best regards
Agnes Koschmider
Michael Fellmann
Patrick Delfmann
_______________________________________________
AISWorld mailing list
AISWorld(a)lists.aisnet.org
-------- Forwarded Message --------
Subject: [AISWorld] ICITS'22 - The 2022 International Conference on
Information Technology & Systems | Costa Rica
Date: Thu, 5 Aug 2021 15:36:12 +0100
From: Inter CITS <intercits(a)gmail.com>
To: aisworld(a)lists.aisnet.org
-----------------------------------------------------------------------------------------------------------------------
ICITS'22 - The 2022 International Conference on Information Technology &
Systems
San Carlos, Costa Rica, 9 - 11 February 2022
http://icits.me
------------------------------------------------------------------------------------------------------------------------
SCOPE
ICITS'22 - The 2022 International Conference on Information Technology
& Systems (http://icits.me), to be held in Tecnológico de Costa Rica,
Campus de San Carlos, Costa Rica, 9 - 11 February 2022, 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'22. 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), 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
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 - Revista Ibérica de
Sistemas e Tecnologias de Informação (download instructions/template
for authors in Spanish or Portuguese), 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 5th of November 2021, 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, Google Scholar, SCImago, among others, and will be
available in the SpringerLink Digital Library.
Papers written in Spanish or Portuguese and accepted and registered
will be published in a Special Issue of RISTI and will be submitted
for indexation by SCOPUS, among others.
IMPORTANT DATES
Paper Submission: September 5, 2021
Notification of Acceptance: October 17, 2021
Payment of Registration, to ensure the inclusion of an accepted paper
in the conference proceedings: November 5, 2021.
Camera-ready Submission: November 5, 2021
Website of ICITS'22: http://icits.me
ICITS'22 Team
http://icits.me
_______________________________________________
AISWorld mailing list
AISWorld(a)lists.aisnet.org
-------- Forwarded Message --------
Subject: [WI] BPM Track at the 17th International Conference
“Wirtschaftsinformatik” - Call for Papers
Date: Thu, 5 Aug 2021 14:07:38 +0000
From: Patrick Delfmann <delfmann(a)live.uni-koblenz.de>
Reply-To: Patrick Delfmann <delfmann(a)live.uni-koblenz.de>
To: wi(a)lists.kit.edu <wi(a)lists.kit.edu>
Dear Colleagues,
we invite you to contribute to the track "Business Process Management"
at the 17^th International Conference “Wirtschaftsinformatik” at the
Friedrich-Alexander-Universität Erlangen-Nürnberg (2022-02-21 to
2022-02-23).
**
*Call for papers: Business Process Management*
A track at WI22, February 21 to 23, 2022, at the University of
Erlangen-Nürnberg, Germany**
Business Process Management (BPM) has emerged as one of the key
management instruments. It aims to support organizations in the
engineering, management, implementation, execution, monitoring and
improvement of business processes to better reach their business goals.
In the past decades, BPM has diversified into many research streams,
including business process reengineering, business process modeling,
process mining, robotic process automation, or predictive process
monitoring, to name only a few. The goal of the track is to understand
and discuss the manifold facets of BPM, both from a technological and
managerial perspective, and how they interact to contribute to current
challenges such as digitalization and the integration of AI in
organizations. The track therefore invites contributions from the full
research spectrum of BPM. We appreciate both works from behavioral and
design science, as well as papers on foundational or applied BPM
research from the Computer Science, Information Systems and Management
fields. Besides theoretical, conceptual and empirical works,
implementations such as prototypes are also highly welcome. Topics
include, but are not limited to
•Business process modeling (languages / architectures)
•Business process automation
•Process mining
•(Predictive) process analytics
•Semantic technologies for BPM
•BPM in particular domains
•Business process reengineering / innovation
•BPM methodologies
•Economic aspects of BPM
•Strategic aspects of BPM
•BPM governance
Please visit https://www.wi22.eu for further information.
*Important dates*
2021-09-01, 14h CEST: Submission Deadline
2021-09-10: Fast and constructive AE Feedback
2021-10-10: Submission of reviews by Reviewers
2021-10-20: Submission of reviews by AE
2021-10-27: Decision of track chairs
2021-10-31: Notification to authors
2021-11-15: Submission of revised papers
2021-11-21: Final decision and information to authors
*Track Chairs*
Agnes Koschmider (University of Kiel, D)
Michael Fellmann (University of Rostock, D)
Patrick Delfmann (University of Koblenz, D)
*Program Committee*
Stefanie Rinderle-Ma (Technical University of Munich, D)
Stefan Schönig (University of Regensburg, D)
Ralf Plattfaut (University of Applied Sciences South Westfalia, D)
Ralf Laue (University of Applied Sciences Zwickau, D)
Ralf Knackstedt (University of Hildesheim, D)
Michael zur Mühlen (Stevens Institute of Technology, NJ, USA)
Maximilian Röglinger (University of Bayreuth, D)
Luise Pufahl (TU Berlin, D)
Kate Revoredo (WU Vienna, A)
Jana-Rebecca Rehse (University of Mannheim, D)
Jan vom Brocke (University of Liechtenstein, LI)
Henrik Leopold (Kühne Logistics University Hamburg, D)
Faruk Hasic (KU Leuven, B)
Claudio di Ciccio (Sapienza University of Rome, I)
Carl Corea (University of Koblenz, D)
Best regards
Agnes Koschmider
Michael Fellmann
Patrick Delfmann
--
Mailing-Liste: wi(a)lists.kit.edu
Administrator: wi-request(a)lists.kit.edu
Konfiguration: https://www.lists.kit.edu/wws/info/wi
-------- Forwarded Message --------
Subject: [AISWorld] EAIoT EDOC workshop is approcjimg duedate for
sumissions
Date: Wed, 4 Aug 2021 18:32:26 +0200
From: Ejub Kajan <dr.ejubkajan(a)gmail.com>
To: aisworld(a)lists.aisnet.org, SOCNET(a)lists.ufl.edu
*First International Workshop on*
*Latest Advances in Enterprise Architectures in the IoT Era (EAIoT’2021)*
*http://eaiot2021.connect.rs* <http://eaiot2021.connect.rs/>
*In conjunction with **IEEE EDOC’21*
*http://ieee-edoc.org/2021/* <http://ieee-edoc.org/2021/>
*online, October 25, 2021*
*IMPORTANT DATES AND SUBMISSION*
*Important Dates*
Paper Submission: August 16, 2021
Authors Notification: September 13, 2021
Camera Ready submission: September 27, 2021
Author registration: September 27, 2021
Workshop: October 25, 2021
*Submission format *
The workshop welcomes conceptual and technical submissions as well
submissions summarizing real case-studies. Submission should follow IEEE
Computer Society Conference Proceedings Formatting Guidelines (8-10 pages
for full and 4-6 pages for short) and be submitted in PDF format using the
online *EasyChair* submission system at
https://easychair.org/conferences/?conf=eaiot2021. All submissions will be
refereed by at least 3 members of the international program committee.
Selection criteria will include relevance, significance, impact,
originality, and technical soundness.
*Publication*
The Proceedings will be published by the IEEE Computer Society Press and be
available through IEEE Xplore and the IEEE Digital Library.
*Special Issue*
After the workshop authors of selected papers will be invited to submit
extended versions of their papers to the special issue in *Cluster
Computing* https://www.springer.com/journal/10586/updates/19533562.
*Dr. Ejub Kajan*
*Associate Professor*
*State University of Novi Pazar*
_______________________________________________
AISWorld mailing list
AISWorld(a)lists.aisnet.org
-------- Forwarded Message --------
Subject: [AISWorld] CFP - Special Issue on Enterprise Architectures and
IoT
Date: Wed, 4 Aug 2021 18:37:07 +0200
From: Ejub Kajan <dr.ejubkajan(a)gmail.com>
To: aisworld(a)lists.aisnet.org, SOCNET(a)lists.ufl.edu
CC: Dr. Zakaria Maamar <Zakaria.Maamar(a)zu.ac.ae>, Yucong Duan
<duanyucong(a)hotmail.com>
Call for Papers
Special issue on "Enterprise Architectures in the IoT Era: Challenges,
Solutions, and Recommendations" in Cluster Computing, The Journal of
Networks, Software Tools and Applications. More details are available at
https://www.springer.com/journal/10586/updates/19533562
Ejub
*Dr. Ejub Kajan*
*Associate Professor*
*State University of Novi Pazar*
_______________________________________________
AISWorld mailing list
AISWorld(a)lists.aisnet.org
-------- Forwarded Message --------
Subject: [AISWorld] 【Organized by Beijing Computer Federation】CSAI2021:
2021 5th International Conference on Computer Science and Artificial
Intelligence
Date: Thu, 5 Aug 2021 16:52:28 +0800
From: joyxu(a)young.ac.cn <joyxu(a)young.ac.cn>
To: aisworld <AISWorld(a)lists.aisnet.org>
Dear AIS World listserv Colleagues:
Greeting from CSAI2021. I am very pleased to inform you and invite you
to participate in our 2021 5th International Conference on Computer
Science and Artificial Intelligence (CSAI 2021) on December 4-6, 2021 in
Beijing, China. Papers are indexed by Ei Compendex and Scopus and
published on ACM conference proceedings.
Organized by Beijing Computer Federation
Conference Chair: Prof. Xiangqun Chen, Peking University, China.
The submission deadline is on September 15, 2021.
Online presentation is also acceptable. Please refer to www.csai.org for
details. For your convenience, I have summarized the key items below.
We look forward to hearing from you and to meet you at the conference.
Best regards,
About ACCC2021:
★CSAI 2021★EI Compendex&Scopus★Beijing, China★
Full name: 2021 5th International Conference on Computer Science and
Artificial Intelligence
Abbreviation: CSAI 2021
*Time: December 4-6, 2021
*Place: Beijing, China
*Web: www.csai.org
==Proceedings
Accepted papers after proper registration and presentation will be
collected in the ACM international conference proceedings, which is
indexing in Ei Compendex, Scopus, IET etc. major databases.CSAI2017-2020
have been successfully indexed by EI Compendex and Scopus!
==Submission Deadline: September 15, 2021 1. Full paper (publication and
presentation) 2. Abstract (presentation only)
**Submit paper via online system:
http://confsys.iconf.org/submission/csai2021
**More detail about submission, please visit at
http://www.csai.org/submission.html.
**CSAI2021 will accept the online presentation for those who can't
attend the conference because of the force majeure.
==Conference History
CSAI 2020 | December 11-13, 2020 | Zhuhai, China (Virtual)| EI Compendex
and Scopus indexed
CSAI 2019 | December 6-8, 2019 | Beijing, China | EI Compendex and
Scopus indexed
CSAI 2018 | December 8-10, 2018 | Shenzhen, China | EI Compendex and
Scopus indexed
CSAI 2017 | December 5-7, 2017 | Jakarta, Indonesia | EI Compendex and
Scopus indexed
==Topics (include but not limit)
Advanced Database
Artificial Intelligence
Computational and Artificial Intelligence
Computer Architecture
Computer Networks
Computer Vision
Data Communication and Networking
Data Management
Data Mining
Embedded systems
Knowledge Management
Mining Data, Text, and the Web
Mobile computing
Multimedia DB's
Networks and Systems
Operating Systems
Parallel and Distributed Computing
Reconfigurable computing Sensor networks
Signal Processing
Big Data and Intelligent Computing
Methods and Techniques for Software Development
Big data and Cloud Computing
Distributed Computing and Cooperative Computing
Artificial Intelligence and Intelligent Computing
Semantic Analysis and Knowledge Engineering
Machine Learning and Pattern Recognition
Computational Thinking and Education Analysis
==Contact
Cherrie Yang
E-mail: csai(a)young.ac.cn
Web: www.csai.org
Keep healthy~~
Thanks&Regards
**********************
※Joy Xu
t Conference Coordinator
※Chengdu Young Education & Consultancy Co., Ltd. t Tel: +86-28-87777577
※joyxu(a)young.ac.cn
_______________________________________________
AISWorld mailing list
AISWorld(a)lists.aisnet.org
-------- Forwarded Message --------
Subject: [AISWorld] CALL FOR SCIENTIFIC COMMITTEE - ISCSI21 (SCOPUS & ISI)
Date: Wed, 4 Aug 2021 11:28:19 +0100
From: Nuno Mateus-Coelho, PhD <organizationchair(a)iscsi-conference.org>
To: aisworld(a)lists.aisnet.org
===CALL FOR APPLICATION FOR THE SCIENTIFIC COMMITTEE===
iSCSi’21
International Conference on Industry Science and Computer Sciences
Innovation – Fostering Productivity and Sustainable Growth
ISLA – Polytechnic Institute of Management and Technology
Conference Indexed Web of Knowledge and SCOPUS
Gaia/Porto, Portugal, December 1-3, 2021
https://iscsi-conference.org
Dear Colleague,
The Organizing Committee of International Conference on Industry
Sciences, Computers Sciences and Innovation – Fostering Productivity and
Sustainable Growth is committed to organizing a world-class conference
covering the innovative developments to overcome technological,
organizational, and human challenges within Industry Sciences and
Computer Sciences.
iSCSi-Conference intends to bring together leading international experts
on production systems technologies, logistics, and cutting-edge
information systems and technologies, from academia and industry to
discuss ground-breaking issues and trends in computer technologies that
enable manufacturing, supply chain management, Industry 4.0, and
sustainable growth and advances in computer sciences that support the
industry sector.
To this purpose, the organizers seek to strengthen the scientific
committee with 300 researchers and professors with expertise in the
areas of coverage willing to be part of this scientific project.
A. Requirements:
1. Ph.D. in Computer Sciences or Production / Industrial Engineering;
2. Significant participation in editorial boards/ program committees /
scientific committees of international conferences and journals;
3. Availability to review 2 to 3 papers between September and October 5.
B. Application:
Please send a one-paragraph CV to organizationchair(a)iscsi-conference.org
<mailto:organizationchair@iscsi-conference.org> including
information about your affiliation, position, academic degrees,
teaching, and research
interest and relevant participations on scientific boards of conferences
and journals
C. Counterparts
A special fee of EUR 300 for face-to-face participation or EUR 200 for
virtual will be
offered to members of the Scientific Committee with 3 complete reviews
submitted.
For more information, please visit us at https://iscsi-conference.org or
contact me at organizationchair(a)iscsi-conference.org
Yours sincerely,
Nuno Mateus-Coelho
iSCSi’21 Organization Chair
_______________________________________________
AISWorld mailing list
AISWorld(a)lists.aisnet.org
-------- Forwarded Message --------
Subject: [AISWorld] CALL FOR PAPERS - iSCSi - International Conference
on Industry Science and Computer Sciences Innovation
Date: Wed, 4 Aug 2021 11:24:57 +0100
From: Nuno Mateus Coelho <p40525(a)islagaia.pt>
To: aisworld(a)lists.aisnet.org
========CALL FOR PAPERS========
iSCSi’21 - Gaia/Porto - Portugal
International Conference on Industry Science and Computer Sciences
Innovation – Fostering Productivity and Sustainable Growth
ISLA – Polytechnic Institute of Management and Technology
Gaia/Porto, Portugal, December 1-3, 2021
https://iscsi-conference.org/call-for-papers/*
Dear Colleague,
The conference organizers cordially invite you to submit your scientific
work to iSCSi – International Conference on Industry Sciences and
Computers Sciences Innovation – Fostering Productivity and Sustainable
Growth to be held in Gaia, Portugal, next December 1-3.
iSCSi-Conference intends to bring together leading international experts
on production systems technologies, logistics, and cutting-edge
information systems and technologies, from academia and industry to
discuss ground-breaking issues and trends in computer technologies that
enable manufacturing, supply chain management, Industry 4.0, and
sustainable growth and advances in computer sciences that support the
industry sector.
iSCSi-Conference aims to attract original and relevant contributions to
the emergent panorama of modern societies that fully embrace scientific
methods to overcome technological challenges within Industry Sciences
Innovation and Computer Sciences Innovation.
The conference will be held physically in Gaia/Porto in the ISLA –
Polytechnic Institute of Management and Technology modern facilities
with internal and direct access to the Hotel, and virtually using
synchronous videoconferencing system Zoom.
- - - Please take note of these important dates:
- - - Deadline for paper submission: September 15, 2021
- - - Notification of acceptance/rejection: October 15, 2021
- - - Revised Version / Camera Ready: November 5, 2021
- - - Conference: December 1, 2, and 3, 2021
The conference main tracks and topics include, but are not limited to:
- - Industry & Computer Sciences, Tools & Applications*
- - Analytics & Artificial Intelligence
- - Artificial Intelligence in Industry
- - Big Data
- - Blockchain
- - Cloud, Parallel, Distributed, & High-Performance Computing
- - Cyber-Physical Production Systems
- - Cyber-Security and Data Protection
- - Decision Sciences
- - Digital Twin-Driven Smart Manufacturing
- - Edge Computing & 4/5G Systems
- - Energy Efficiency & Sustainability Issues
- - Flexible and Agile Manufacturing Systems
- - Human-machine Interaction
- - Industry 4.0
- - Intelligent Logistics
- - Internet of Things
- - Security in IoT
- - Smart Cities
- - Smart Factories
- - Smart Manufacturing
- - Smart Transports
- - Supply Chain
- - Virtual Reality
Cases from Industry:
- - Touching any or several of the above-mentioned topics
*Organizations & People:
- - Educational and Training
- - Issues Engineering Education 4.0
Theme - Research Methodologies:
- - Research Methodologies
- - Methods in Industry and Computer Sciences
Conference Chairs:
- - Erol Gelenbe, Imperial College London
- - Kannan Govindan, University of Southern Denmark
- - François Vernadat, Université de Lorraine
Please share this call.
Yours sincerely,
Nuno Mateus-Coelho
iSCSi’21 Organization Chair
_______________________________________________
AISWorld mailing list
AISWorld(a)lists.aisnet.org
-------- Forwarded Message --------
Subject: [WI] PADL 2022 - First Call for Papers
Date: Wed, 4 Aug 2021 11:51:49 +0200
From: cfp(a)mat.unical.it
Reply-To: cfp(a)mat.unical.it
To: cfp(a)mat.unical.it
[apologies for multiple copies]
=== Call for Papers ===
24th International Symposium on Practical Aspects of Declarative Languages
(PADL 2022)
Philadelphia, Pennsylvania, United States
17-18th January 2022
https://popl22.sigplan.org/home/PADL-2022
Co-located with POPL 2022
Conference Description
----------------------
Declarative languages comprise several well-established classes of
formalisms, namely, functional, logic, and constraint programming. Such
formalisms enjoy both sound theoretical bases and the availability of
attractive frameworks for application development. Indeed, they have been
already successfully applied to many different real-world situations,
ranging from data base management to active networks to software
engineering to decision support systems.
New developments in theory and implementation fostered applications in new
areas. At the same time, applications of declarative languages to novel
and challenging problems raise many interesting research issues, including
designing for scalability, language extensions for application deployment,
and programming environments. Thus, applications drive the progress in the
theory and implementation of declarative systems, and benefit from this
progress as well.
PADL is a well-established forum for researchers and practitioners to
present original work emphasizing novel applications and implementation
techniques for all forms of declarative programming, including functional
and logic programming, database and constraint programming, and theorem
proving.
Topic of interest include, but are not limited to:
- Innovative applications of declarative languages
- Declarative domain-specific languages and applications
- Practical applications of theoretical results
- New language developments and their impact on applications
- Declarative languages and software engineering
- Evaluation of implementation techniques on practical applications
- Practical experiences and industrial applications
- Novel uses of declarative languages in the classroom
- Practical extensions such as constraint-based, probabilistic, and
reactive languages
PADL 2022 especially welcomes new ideas and approaches related to
applications, design and implementation of declarative languages going
beyond the scope of the past PADL symposia, for example, advanced database
languages and contract languages, as well as verification and theorem
proving methods that rely on declarative languages.
Submissions
-----------
PADL 2022 welcomes three kinds of submission:
* Technical papers (max. 15 pages)
Technical papers must describe original, previously unpublished research
results.
* Application papers (max. 8 pages)
Application papers are a mechanism to present important practical
applications of declarative languages that occur in industry or in areas
of research other than Computer Science. Application papers are expected
to describe complex and/or real-world applications that rely on an
innovative use of declarative languages. Application descriptions,
engineering solutions and real-world experiences (both positive and
negative) are solicited.
* Extended abstracts (max. 3 pages)
Describing new ideas, a new perspective on already published work, or
work-in-progress that is not yet ready for a full publication. Extended
abstracts will be posted on the symposium website but will not be
published in the formal proceedings.
All page limits exclude references. Submissions must be formatted
according to the standard Springer LNCS style. The conference proceedings
of PADL2022 will be published by Springer-Verlag in the Lecture Notes in
Computer Science series.
Work that already appeared in unpublished or informally published
workshops proceedings may be submitted but the authors should notify the
program chairs about the place in which it has previously appeared.
PADL 2022 submissions are handled through the EasyChair conference
management system:
https://easychair.org/conferences/?conf=padl2022.
Important dates (tentative)
---------------
Abstract submission: 1 October 2021 (AoE)
Paper submission: 8 October 2021
Notification of acceptance: 5 November 2021
Symposium: 17-18th January 2022
COVID-19
--------
PADL is co-located with POPL, which will take place January 16-22, 2022,
as a physical, virtual, or hybrid physical/virtual meeting.
We will be monitoring the Covid-19 situation and will announce a decision
on the nature of the meeting in time which will follow suit with POPL.
Distinguished Papers
--------------------
The authors of a small number of distinguished papers will be invited to
submit a longer version for journal publication after the symposium. For
papers related to logic programming, in the journal Theory and Practice of
Logic Programming (TPLP)
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-progra…,
and for papers related to functional programming, in Journal of Functional
Programming (JFP)
https://www.cambridge.org/core/journals/journal-of-functional-programming.
The extended journal submissions should include roughly 30% more content
including, for example, explanations for which there was no space,
illuminating examples and proofs, additional definitions and theorems,
further experimental results, implementational details and feedback from
practical/engineering use, extended discussion of related work and such
like.
Chairs
------
- James Cheney, University of Edinburgh
- Simona Perri, University of Calabria
Programme Committee
-------------------
Andres Löh, WellTyped
Chiaki Sakama, Wakayama University
Daniela Inclezan, Miami University
Ekaterina Komendantskaya, Heriot-Watt University
Esra Erdem, Sabanci University
Francesco Calimeri, University of Calabria
Jan Christiansen, Flensburg University of Applied Sciences
Konstantin Schekotihin, University of Klagenfurt
Lionel Parreaux, Hong Kong University of Science and Technology
Marco Maratea, University of Genova
Marina De Vos, University of Bath
Martin Erwig, Oregon State University
Martin Gebser, University of Klagenfurt
Michael Greenberg, Pomona College
Paul Tarau, University of North Texas
Pavan Kumar Chittimalli, TCS Research, India
Pedro Cabalar, University of Corunna
Roly Perera, The Alan Turing Institute
Tomas Petricek, University of Kent
Torsten Grust, University of Tübingen
Tran Cao Son, New Mexico State University
Yukiyoshi Kameyama, University of Tsukuba
--
Mailing-Liste: wi(a)lists.kit.edu
Administrator: wi-request(a)lists.kit.edu
Konfiguration: https://www.lists.kit.edu/wws/info/wi