****************************************************************************** The 26th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-26) will be held on Spetses Island, Greece, 25-30 October 2026. See www.LPAR-26.info CALL FOR SHORT PRESENTATION PAPERS The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aimed at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications. LPAR's slogan is "To boldly go where no reasonable conference has gone before". LPAR brings first class research and researchers to interesting places, and exposes the conference attendees to interesting cultures. True to LPAR form, there is a separate track for short presentation papers. You can submit short presentation papers at any time up to the deadline and accept/reject decisions are made by PC chairs with a short turnaround. Short presentation papers are published in Kalpa Publications, see http://www.easychair.org/publications/Kalpa. The LaTeX and Microsoft Word templates for the Kalpa series can be downloaded from http://www.easychair.org/publications/for_authors. There is no strict page limit on short presentation papers, but apply reasonable judgement. Short paper presentations themselves will be short. Authors of accepted short papers are required to ensure that at least one of them will be present at the conference. Papers that do not adhere to this policy will not be published. Submit at: https://easychair.org/conferences/?conf=lpar2026 Paper submission deadline: 17th August 2026 Notification of acceptance: 3rd September 2026 Final version: 17th September 2026 ******************************************************************************
2026-08-05
[Caml-list] [CFP] ICNC 2027 Call for Papers
CALL FOR PAPERS
2027 International Conference on Computing, Networking and Communication (ICNC 2027)
February 15-18, 2027
Honolulu, Hawaii
http://www.conf-icnc.org/2027/
International Conference on Computing, Networking and Communications (ICNC), Sponsored by IEEE and Technology Innovation Association, is a premier conference in the computer and communication fields. ICNC 2027 is to be held in Honolulu, Hawaii between February 15-18, 2027. We invite you to submit your technical papers to the following areas:
- AI and Applications
- AI and Machine Learning for Communications and Networking (AMCN)
- Communications and Information Security (CIS)
- Edge Computing, Cloud Computing and Big Data (ECB)
- Mobile and Wireless Networking (MWN)
- Multimedia Computing and Communications (MCC)
- Next Generation Networks and Internet Applications (NGNI)
- Network Algorithms and Performance Evaluations (NAPE)
- Optical and Grid Networking (OGN)
- Quantum Networking and AI for Computing & Control (QNACC)
- Signal Processing for Communications (SPC)
- Social Computing and Data Mining (SCDM)
- Wireless Ad Hoc and Sensor Networks (WASN)
- Wireless Communications (WC)
The manuscripts are required to follow the standard IEEE camera-ready format (double column, 10-pt font) as well as the requirement set by EDAS paper submission system. The maximum length of ICNC paper without over-length charge is FIVE (5) pages. The authors are allowed to pay for up to TWO (2) additional pages with over length charge. Submitted papers must not have been previously published in or under consideration for publication in another journal or conference. The organizing committee of ICNC 2027 reserves the right to not review papers that either exceed the length specification or have been submitted or published elsewhere. Submissions must include title, abstract, keywords, author and affiliation with email address.
All submitted papers will be reviewed by the TPC team and judged on originality, technical correctness, relevance and quality of presentation. An accepted paper must be presented at the conference. Each full registration covers up to two papers by an author. All accepted papers of ICNC (main program and workshops), after being presented onsite at the conference, will be included in the proceedings.
Important Dates:
| Paper submission: | August 15, 2026 |
| Paper Acceptance: | November 15, 2026 |
| Camera-ready paper: | November 30, 2026 |
2026-06-15
[Caml-list] VSTTE 2026: Second Call for Papers and WIP Presentations
-
Roderick Bloem (Graz University of Technology)
-
Martin Jonáš (Masaryk University, Brno)
-
Daniela Kaufmann (TU Wien)
-
Omri Isac (Hebrew University of Jerusalem)
2026-06-10
[Caml-list] POPL 2027 Call for Workshops
Sun 10 - Sat 16 January 2027
Mexico City, Mexico
https://popl27.sigplan.org/
=============================
Deadline for submission: 24 July 2026
Notification of acceptance: 4 August 2026
A workshop proposal should provide the following information:
- Name of the workshop.
- A short description (150-200 words) of the workshop.
- Call for submissions.
- Duration of the workshop.
- Whether the workshop will be Conference-approved or SIGPLAN-approved (see below).
- Organizers: names, affiliation, contact information, brief (100 words) biography.
- Event format: workshop; type of submissions if any; review process; results dissemination.
- Expected attendance and target audience.
- Potential PC members - please do not contact them before the workshop is approved.
- History of the workshop.
- Plans for remote participation.
Please submit your proposals at
https://popl27.sigplan.org/track/POPL-2027-workshops-and-co-located-events
---------------------------------------------------------------------
SIGPLAN Sponsorship
POPL co-located events are sponsored by SIGPLAN (http://sigplan.org/).
There are two kinds of co-located events: Conference-approved (no
proceedings) and SIGPLAN-approved (proceedings in the ACM Digital
Library). See http://www.sigplan.org/Resources/Guidelines/Workshops/
for more information, including a full listing of prescriptions for
Conference-approved and SIGPLAN-approved workshops.
SIGPLAN-approved workshops must respect the SIGPLAN Diversity Policy.
Proposals for SIGPLAN-approved workshops must additionally include the
gender, country of affiliation, and professional status of potential
PC members. See https://www.sigplan.org/Resources/Policies/Diversity/
for more details.
---------------------------------------------------------------------
Selection committee
All submissions will be evaluated by a committee comprising the
workshops co-chairs, the general chair, and the program chair.
---------------------------------------------------------------------
Further information
Any questions regarding POPL 2027 co-located event proposals should be
addressed to the workshops chairs, Aws Albarghouthi (aws@cs.wisc.edu)
and Alan Schmitt (alan.schmitt@inria.fr).
2026-06-01
[Caml-list] PERR 2026 @ CAV/FLOC: Call for Participation
2026-05-30
[Caml-list] APLAS 2026 SRC and Posters: Call for Papers (Wenjia Ye)
including students working on type systems, type theory, formal semantics,
program analysis, verification, and related areas.
CALL FOR PAPERS
APLAS 2026 Student Research Competition and Posters
Co-located with APLAS & ATVA 2026
December 1-5, 2026
The APLAS 2026 SRC and Posters track invites submissions for its Student
Research Competition (SRC) and Posters track. This track provides an
interactive forum for researchers, practitioners, and students to present
work in progress, early-stage research, fresh ideas, and recent practical
systems or tool developments.
The track has two categories:
1. Student Research Competition (SRC)
Open to undergraduate and graduate students. Entrants will present their
work during the poster session. Selected finalists will then give a
presentation to compete for first, second, and third-place prizes.
2. Posters
Open to non-students, or students who do not wish to compete in the SRC.
Authors will present their work alongside SRC entrants during the main
poster session.
Submissions should fall within the scope of APLAS, including programming
languages and related areas.
Important Dates, AoE (UTC-12h)
- Submission deadline for extended abstracts: August 22, 2026
- Notification: September 26, 2026
- Submission deadline for posters and revised extended abstracts: November 7, 2026
Submission information:
Extended abstracts should be formatted using the acmart LaTeX template with
the options sigplan and review enabled, be no longer than 3 pages excluding
bibliography, and be submitted in PDF format via EasyChair.
For SRC submissions, the student should be the sole author. However, on the
EasyChair submission, supervisors should be listed as authors after the
student, so that reviewers and judges can identify conflicts of interest.
CFP:
https://conf.researchr.org/track/aplas-atva-2026/aplas-2026-src-posters
Submission link:
https://easychair.org/my/conference?conf=aplas2026srcposters
2026-05-29
[Caml-list] WPTE 2026 - Call for Participation - Rewriting Techniques for Program Transformations and Evaluation
WPTE 2026 (affiliated with FLoC 2026 in Lisbon, Portugal) 12th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (19 July 2026) Webpage: https://wpte2026.github.io/ --------------------------------------------------------------------------- The aim of WPTE is to bring together researchers working on program transformations, evaluation, and operationally based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. --------------------------------------------------------------------------- The workshop will have two invited talks, by: - Nada Amin, Harvard University - Nikos Tzevelekos, Queen Mary University of London (joint with GaLoP 2026) as well as six contributed presentations: - David B. Hulak, Arthur Freitas Ramos and Ruy J.G.B. de Queiroz: Sound Rewrites for Measurement-Bearing Expressions via Token-Sensitive Enclosure Semantics - Takumi Sato and Koji Nakazawa: A Cyclic Proof System for Trace Formula Implication with Least and Greatest Fixpoints - David Sabel and Manfred Schmidt-Schauß: Improvement Theory for Probabilistic Call-by-Need - Misaki Kojima and Naoki Nishida: On Comparing Python Programs Based on Differences in Rewrite Sequences to Support Grading Programming Exercises - Katarzyna Marek and Clément Pit Claudel: Tactic-driven code fusion - Ștefan Ciobâcă, K. Rustan M. Leino, Ștefan-Alexandru Mercas and Roxana-Mihaela Timon: An Interactive Proof Mode for Dafny Based on Back Translation of Verification Obligations --------------------------------------------------------------------------- Program Committee --------------------------------------------------------------------------- Martin Avanzini, Inria Sophia Antipolis Carsten Fuhs (co-chair), Birkbeck, University of London Jan-Christoph Kassing, RWTH Aachen University Thomas Kœhler, ICube Lab, CNRS, Université de Strasbourg Misaki Kojima, Nagoya University Rubén Rubio, Universidad Complutense de Madrid Traian Şerbănuţă, University of Bucharest Germán Vidal, Universitat Politècnica de València Janis Voigtländer (co-chair), University of Duisburg-Essen