[DMANET] Call for Papers: IEEE Consumer Communications & Networking Conference 10–13 January 2025 - Track 2 – Networking Solutions for Social Applications, Multimedia, and Games

Call for Papers

Deadline extension: August 1, 2024

Track 2 – Networking Solutions for Social Applications, Multimedia, and
Games

Track Chairs:

Ombretta Gaggi, University of Padua, Italy (email: gaggi@math.unipd.it
<mailto:gaggi@math.unipd.it>)

Manuela Montangero, University of Modena and Reggio Emilia, Italy
(email: manuela.montangero@unimore.it
<mailto:manuela.montangero@unimore.it>)

IEEE Consumer Communications & Networking Conference

10–13 January 2025

Las Vegas, NV, USA

https://ccnc2025.ieee-ccnc.org/authors/call-technical-papers
<https://ccnc2025.ieee-ccnc.org/authors/call-technical-papers>

IMPORTANT DATES

Conference Dates: 10 January - 13 January 2025

Technical Papers due: August 1, 2024

Acceptance Notification: August 31, 2024

Summit at: https://edas.info/newPaper.php?c=32162&track=123255

Scope and Motivation:

Social applications, multimedia, and games play a substantial role in
shaping Internet traffic and have emerged as dominant mode of social
interaction online. This recent trend has sparked significant research
interests, both at the network level and in terms of application and
service development. Moreover, with the advent of the metaverse,
research focus within these domains has expanded to encompass virtual
worlds, immersive experiences, and social interactions in virtual
environments. Given their increasing prevalence and interdisciplinary
nature, social applications, multimedia, and games have also garnered
research attention across diverse fields, including big data analytics,
cloud computing, artificial intelligence, data sensing, information
security, and privacy protection.

Main Topics of Interest: The Networking solutions for social
applications, multimedia, and games track seeks original contributions
in the following areas, as well as others that are not explicitly listed
but are closely related:

● Artificial Intelligence for social applications, multimedia, and games.

● Architectures, Platforms, and Protocols.

● Business models for social applications, multimedia, and games.

● Communication security for social applications, multimedia, and games.

● Data Sensing.

● Distributed games engines.

● Ethical considerations in social applications, multimedia, and games.

● Gamification and game-based learning in applications.

● Human-Computer Interfaces and Human-Machine Interfaces.

● Immersive storytelling and narrative techniques in multimedia and games.

● Knowledge discovery for social applications, multimedia, and games.

● Metaverse, virtual worlds, immersive experiences.

● Naming and routing of media streams.

● New paradigms of future communications networks.

● Non-visual Interfaces for accessibility and/or Virtual Reality.

● Novel applications for the social, multimedia, and games scenario.

● Smart moving and smart objects.

● Social computing and collective intelligence.

● Social influence and persuasion in multimedia and games.

● Social interactions in communication networks.

● Recommender algorithms.

● Rumor source localization in large-scale, real-world networking solutions.

● User profiling and behavior analysis.

● User engagement and retention strategies in social applications and
games.

● Virtual reality and augmented reality applications.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Full professorship at TU Braunschweig, Germany

/Dear Colleagues,/

/I would like to draw your attention to the announcement of a full
professorship in "Planning of Public Transport Systems" at Technische
Universität Braunschweig, with research topics pertinent to Discrete
Mathematics, Operations Research, and Computer Science. You can find the
details of the announcement at the following address:
https://vacancies.tu-braunschweig.de/jobposting/524ad8437c8c9df45ff151f92f724bfcbd07d90e0?ref=homepage/

/We encourage researchers with expertise in one or more of the specified
research areas to apply for this position. We would also appreciate it
if you could inform potential candidates about this opportunity. We
particularly invite applications from international candidates (f/m/d).
German language skills are not a prerequisite at the time of application./

/Kind regards,
Heike Faßbender
/
--

Prof. Dr. Heike Faßbender
Institutsleitung | Head of Institute
Technische Universität Braunschweig
Institut für Numerische Mathematik | Institute for Numerical Analysis
Universitätsplatz 2
38106 Braunschweig
Germany

phone +49 531 391 7535
fax: +49 531 391 8206

h.fassbender@tu-braunschweig.de
www.tu-braunschweig.de/inum/personal/fassbender

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] [Deadline Extended] Call for Participate in GENZERO Workshop

*GENZERO Workshop: Redefining Autonomous System Security*
*Date: November 12-13, 2024*
*Location: Abu Dhabi, UAE*
https://genzero.tii.ae
------------------------------

We are thrilled to invite you to the GENZERO workshop, which will focus on
enhancing autonomous systems' security, resilience, and operational safety
through innovative uses of Generative AI (GenAI) and large language models
(LLMs). Over two years, we offer *up to $1 million in funding for the five
pivotal challenges*.

*Challenges Overview:*

1. *Resilient Edge AI for Hierarchical Drone Swarms:* Enhance real-time
AI on edge devices with a focus on security and adaptability.
2. *Swarm-Level Threat Intelligence and Response System:* Develop an
AI-driven system for proactive threat detection and response.
3. *Adaptive Learning for Evolving Drone Operations:* Create a system
for continual learning, allowing drones to adapt to new threats and
environments.
4. *Enhanced Communication and Active Protection Framework:* Establish a
robust communication framework to protect against cyber threats.
5. *Human-Swarm Collaboration Interface:* Develop an interface to
enhance human oversight and collaboration with drone swarms.
6. *Zero Trust Platforms (SoC):* System and Communication Architecture
to Support Generative AI, LLM, from Cloud to Edge Continuum

*Important Dates:*

- *Submission Deadline:* August 8, 2024
- *Acceptance Notification:* September 9, 2024
- *Camera Ready Submission:* October 14, 2024
- *Registration Deadline:* September 12, 2024
- *Workshop Dates:* November 12-13, 2024

*Submission Guidelines:*

Submit your poster abstracts via EasyChair
<https://easychair.org/conferences/?conf=genzero24>. Presenters must
prepare a digital poster for display during the workshop.

*Additional Support:*

Our organization proudly sponsors accommodation and offers up to $1,500 in
student travel support.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] PhD Position in Optimization Under Uncertainty (TU Berlin)

A PhD position is available in the MATH+ Junior Research Group led by Dr. Franziska Eberle (https://franziskaeberle.gitlab.io/homepage/) at Technische Universität Berlin. The research interests of the group are approximation algorithms for uncertain environments with special focus on scheduling and packing problems in stochastic and online models. The successful candidate will work on the MATH+ project 'The Value of Distributional Information' (mathplus.de/research-2/application-areas/aa3-next-generation-networks/aa3-19/).

We are looking for a candidate with
- a strong mathematical background and an excellent degree (Master or equivalent) in mathematics, computer science, or a related area
- enthusiasm for the design and theoretical analysis of algorithms
- interest in combining optimization and probability theory

We offer a 75% position for three years with a competitive salary, 30 days of vacation, and health insurance according to the payment scale TV-L 13 (gross annual salary around EUR 40.000, depending on your experience). The group is part of the research center MATH+ (www.mathplus.de<http://www.mathplus.de>) and the Institute of Mathematics at TU Berlin. We are closely connected to the groups 'Combinatorial Optimization and Graph Algorithms' (www3.math.tu-berlin.de/coga/) and 'Discrete Optimization' (www3.math.tu-berlin.de/disco/) at TU Berlin as well as other research groups worldwide.

Besides its many cultural attractions, Berlin offers a strong scientific landscape including three major universities and the Berlin Mathematics Research Center MATH+ with the international graduate program Berlin Mathematical School (www.math-berlin.de<http://www.math-berlin.de>); these offer ample opportunities for joint research and support for Postdocs and PhD students (e.g., meetings, lecture series, international summer schools etc.).

Your application should contain
- letter of motivation
- CV, ideally with the name of at least one reference
- your Master's thesis and study transcripts (with grades)

Please send your application including the reference number II-365/24 combined in a single pdf (max 5 MB) to Dorothea Kiefer-Hoeft kiefer@math.tu-berlin.de<mailto:kiefer@math.tu-berlin.de>. The official job posting can be found at www.jobs.tu-berlin.de/en/job-postings/184842<http://www.jobs.tu-berlin.de/en/job-postings/184842>

Applications will be reviewed after August 02 until the position is filled. Informal inquiries can be directed to f.eberle@tu-berlin.de<mailto:f.eberle@tu-berlin.de>. Please also send an email if you would like to apply but have difficulties in meeting the deadline or have not yet completed your degree but expect to do so soon.

The starting date is as soon as possible, earliest September 01.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] SOFSEM 2025 Call for papers

*************************
**** SOFSEM 2025 ****


50th International Conference on Current Trends in Theory and Practice of Computer Science

January 20 - 23, 2025, Bratislava, Slovakia

http://www.sofsem.sk


Call for Papers

SOFSEM is an annual winter conference devoted to the theory and practice of
computer science. The conference traditionally focuses on the latest results
and developments of fundamental research in computer science (informatics),
inspired by the algorithmic challenges of our time. SOFSEM has a long tradition
as a high-quality research conference, and a venue where researchers from
academia and industry in all stages of their career can share their insights.
The series of SOFSEM conferences began in 1974, and was only interrupted in
2022 due to the covid pandemic. In 2025, at its 50th edition, SOFSEM will be
held as a physical event in Bratislava, Slovakia. The proceedings will be
published in the subseries ARCoSS (Advanced Research in Computing and Software
Science) of the Lecture Notes in Computer Science (LNCS) of Springer.

Topics

The program committee encourages submission of original research papers in all
areas of foundations of computer science and artificial intelligence, including
e.g.

* AI-based algorithms and techniques,
* algorithms (approximation, combinatorial, exact, online, parameterized, probabilistic,
streaming, etc)
* automata (cellular, finite, networked, etc), languages, machine models, rewriting systems
* computability, decidability, classical and non-classical models of computation,
* computational complexity (incuding e.g. communication, descriptional, fine-grained,
Kolmogorov, non-uniform, fixed-parameter and structural complexity),
* computational geometry,
* computational learning,
* cryptographic techniques and security,
* data compression algorithms,
* data- and pattern mining methods (includeing e.g. models, theory, algorithms)
* discrete combinatorial optimization, heuristics, local search, SAT solvers, simulation
* efficient data structures (including e.g. dynamic, geometric, and spatial datastructures)
* experimental algorithmics, applications
* formal models of systems (including e.g. concurrent, hybrid, reactive, mobile, net-based,
and timed systems)
* graph structure and algorithms,
* intelligent algorithms,
* logics of computation, process models, program synthesis
* machine learning theory,
* multi-agent algorithms and games,
* nature-inspired computing,
* network science,
* neural network theory,
* parallel and distributed computing,
* quantum computing,
* robotics
* structural complexity,
* visualization algorithms (including e.g. graph drawing, network layout)

and other relevant theory topics in computing and AI.

Program Chairs

Vera Kurkova, Czech Academy of Sciences, Prague, Czech Republic
Rastislav Kralovic, Comenius University, Bratislava, Slovakia

Program Committee

Amir Amihood, Bar-Ilan University, Israel
Přemysl Brada, University of West Bohemia, Czech Republic
Tiziana Calamoneri, Sapienza University of Rome, Italy
Ivana Cerna, Masaryk University, Brno, Czech Republic
Jérémie Chalopin, LIS Marseille, France
Marek Chrobak, University of California Riverside, USA
Gianluca De Marco, University of Salerno, Italy
Stefan Dobrev, Slovak Academy of Sciences, Slovakia
Martin Drozda, Slovak University of Technology in Bratislava, Slovakia
Robert Ganian, Technische Universität Wien, Austria
Leszek Gasieniec, University of Liverpool, UK
Cyril Gavoille, LaBRI, Université de Bordeaux, France
Lucjan Hanzlik, CISPA Helmholtz Center for Information Security, Germany
Markus Holzer, Universität Giessen, Germany
Ling-Ju Hung, National Taipei University of Business, Taiwan
Petr Jancar, Palacky University Olomouc, Czech Republic
Galina Jiraskova, Slovak Academy of Sciences, Slovakia
Tomasz Jurdzinski, University of Wroclaw, Poland
Petteri Kaski, Aalto University, Finland
Philipp Kindermann, Universität Trier, Germany
Dennis Komm, ETH Zurich, Switzerland
Daniel Krizanc, Wesleyan University, Middletown, USA
Giuseppe Liotta, University of Perugia, Italy
Alexei Lisitsa, University of Liverpool, UK
Hsiang-Hsuan Liu, Utrecht University, The Nederlands
Alessio Mansutti, IMDEA Software Institute, Spain
Marco Mesiti, University of Milano, Italy
Xavier Munoz Lopez, Universitat Politècnica de Catalunya, Spain
Vangelis Paschos, Université Paris-Dauphine, France
Rajeev Raman, University of Leicester, UK
Peter Rossmanith, RWTH Aachen, Germany
Pawel Sobocinski, Tallinn University of Technology, Estonia
Ulrike Stege, University of Victoria, Canada
Gerth Stølting Brodal, Aarhus University, Denmark

Submission Guidelines

Papers should be submitted electronically through EasyChair.

Submissions should be prepared in accordance with Springer's Instructions for
Authors of Proceedings, and use either the LaTeX or the Word templates provided
on the authors' page. The length should not exceed 12 pages (excluding
refeernces).

No prior publication or simultaneous submission to other conferences or
journals are allowed (except preprint repositories such as arXiv or workshops
without formal published proceedings). There is no need to anonymize the
submissions.

Importand Dates

Submission Deadline: September 15, 2024
Conference: January 20-23, 2025

Steering Committee

Henning Fernau, Trier University, Trier, Germany, chair
Leszek A. Gąsieniec, University of Liverpool, United Kingdom
Serge Gaspers, UNSW Sydney, Australia
Ralf Klasing, CNRS and University of Bordeaux, France
Tiziana Margaria, University of Limerick, Ireland
Mirosław Kutyłowski, NASK – National Research Institute, Warsaw, Poland
Branislav Rovan, Comenius University, Bratislava, Slovakia
Jan van Leeuwen, Utrecht University, Utrecht, The Netherlands
Július Štuller, Academy of Sciences, Prague, Czech Republic
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] SAGT 2024 – Travel support for students

Dear all,

We are pleased to announce a new travel grant opportunity generously funded by G-Research. These grants are designed to support students who wish to attend SAGT 2024 but do not have enough funds for that.

If you are interested in this opportunity, please send a CV, proof that you are a student, and a detailed budget of the required financial support via email to sagt2024@easychair.org with subject "SAGT travel grant".

G-Research will review applications on an ongoing basis and directly contact successful applicants. The company may also request additional information as part of their selection process.

More information about SAGT 2024 can be found on the website: https://www.cwi.nl/en/sagt-2024

For any queries, please do not hesitate to contact us.

Best of luck with your applications!

Best regards,
Guido Schäfer and Carmine Ventre
SAGT 2024 PC Co-Chairs

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Workshop Algorithms & Complexity @ University of Warwick (September 23-24)

--------------------------------------------------------------------------------------------------
Workshop Algorithms & Complexity @ Warwick
Website: https://sites.google.com/view/algorithmscomplexitywarwick/home
September 23-24, 2024 - University of Warwick (UK)
Registration Deadline: September 8, 2024
--------------------------------------------------------------------------------------------------

Dear all,

The workshop Algorithms & Complexity @ Warwick will be held at the University of Warwick on September 23-24, 2024 (see https://sites.google.com/view/algorithmscomplexitywarwick/home for more details).

The aim of the event is to highlight several recent exciting advances in the field of Algorithms and Complexity and to facilitate interactions within the research community. We hope that it will provide an excellent opportunity for Theory researchers - including academics, postdocs, and students - to connect and collaborate.

Attendance is free, but registration is required to assist with local arrangements. Please note that registration closes on 8 September. The online registration form is available on the website of the event.

We hope to see many of you there!

Organisers: Sayan Bhattacharya, Artur Czumaj, and Igor Oliveira

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] SAGT 2024 - Call for Participation

Dear Colleagues,

The 17th International Symposium on Algorithmic Game Theory (SAGT) will be held at Centrum Wiskunde & Informatica (CWI) in Amsterdam, The Netherlands, September 3-6, 2024:

https://www.cwi.nl/en/sagt-2024

The purpose of SAGT is to bring together researchers from Computer Science, Economics, Mathematics, Operations Research, Psychology, Physics, and Biology to present and discuss original research at the intersection of Algorithms and Game Theory.

We are delighted to announce our SAGT 2024 invited speakers who will be giving talks about emerging trends of the field:

- Paul Duetting, Google Research
- Vasilis Gkatzelis, Drexel University
- Katrina Ligett, Hebrew University of Jerusalem

SAGT 2024 also features a tutorial day with tutorials on exciting topics given by

- Jan Maly, WU Wien
- Rebecca Reiffenhäuser, University of Amsterdam

Please see the SAGT 2024 website for the full program of the tutorial day and the conference.

REGISTRATION:

Registration is now open: Please follow the respective link provided on the SAGT 2024 website to register.

The early registration deadline is **August 16, 2024**.

Conference registration includes participation in the tutorial day, the conference and the social dinner; extra tickets for the social dinner can be purchased as well.

Please be aware that hotel prices in Amsterdam can be quite steep. We strongly recommend all participants to secure their hotel reservations as early as possible! A few hotel recommendations can be found on the SAGT 2024 website.

If you have any questions, please feel free to contact us: sagt2024@easychair.org.

Best regards,
Guido Schäfer and Carmine Ventre
SAGT 2024 PC Co-Chairs

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] [ICLP & LPNMR DC 2024] Approaching Deadline (July, 21 AOE)

(Apologies for cross-posting. Please distribute to interested parties.)

-------------------------------------------------------------------------------------------------------------------------------
ICLP & LPNMR DC 2024 - Call For Papers

Doctoral Consortium
International Conference on Logic Programming (ICLP 2024)
International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)

Dallas, Texas, US
October 13, 2024

ICLP/LPNMR-DC 2024 will be held as a physical event in Dallas, Texas, US

Website: https://sites.google.com/view/iclplpnmrdc2024
-------------------------------------------------------------------------------------------------------------------------------


The ICLP & LPNMR Doctoral Consortium (DC) will take place during the 40th International Conference on Logic Programming (ICLP 2024) and the 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) in Dallas, Texas, US, on October 13, 2024. The DC will provide students and early career researchers with the opportunity to present and discuss their research directions, obtain feedback from both peers and experts in the field, and participate in mentoring sessions on how to prepare for a research career.

Target Audience
The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to):

LP Foundations, LP Languages, Declarative Programming, LP Implementation, Related Paradigms and Synergies (e.g., Neuro-symbolic AI and Logic Programming), LP Applications.

The full call for papers can be found on the official website:

https://sites.google.com/view/iclplpnmrdc2024


Application Process
Submissions must be written in English and consist of:
* a cover letter of the applicant, including a statement outlining the reasons for applying to the DC and how it will benefit the applicant;
* a research summary, prepared in EPTCS format (http://info.eptcs.org/), that meets the following criteria. The body of the research summary (no more than 10 pages, excluding references, but 5 pages is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include sections covering the following points:
- Your complete name, address, and affiliation
- Introduction and problem description
- Background and overview of the existing literature
- Goals of the research
- Current status of the research
- Preliminary results accomplished (if any)
- Open issues and expected achievements
- Bibliographical references

The application is to be submitted electronically in PDF format on the Easychair system, selecting the "Doctoral Consortium" track: https://easychair.org/conferences/?conf=iclp2024

Important Dates
* Application submission: 21 July, 2024
* Notification to authors: 26 August, 2024
* Camera-ready copy due: 15 September, 2024
* DC event: October 13, 2024

Contacts
Francesco Fabiano: ffabiano@nmsu.edu
Martin Gebser: martin.gebser@aau.at

--
------------------------------------------------------------------------------------------------------------------
Il banner è generato automaticamente dal servizio di posta elettronica
dell'Università della Calabria
<https://www.unical.it/5x1000>

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] VSTTE 2024: Final call for papers

VSTTE 2024: International Conference on Verified Software: Theories,
Tools and Experiments

URL:https://www.soundandcomplete.org/vstte2024.html

Call For Papers

Overview

=========

The goal of the VSTTE conference series is to advance the state of the
art in the science and technology of software verification, through the
interaction of theory development, tool evolution, and experimental
validation.

The Verified Software Initiative (VSI), spearheaded by Tony Hoare and
Jayadev Misra, is an ambitious research program for making large-scale
verified software a practical reality. The International Conference on
Verified Software: Theories, Tools and Experiments (VSTTE) is the main
forum for advancing the initiative. VSTTE brings together experts
spanning the spectrum of software verification in order to foster
international collaboration on the critical research challenges. The
theoretical work includes semantic foundations and logics for
specification and verification, and verification algorithms and
methodologies. The tools cover specification and annotation languages,
program analyzers, model checkers, interactive verifiers and proof
checkers, automated theorem provers and SAT/SMT solvers, and integrated
verification environments. The experimental work drives the research
agenda for theory and tools by taking on significant
specification/verification exercises covering hardware, operating
systems, compilers, computer security, parallel computing, and
cyber-physical systems.

The 2024 edition of VSTTE will be the 16th international conference in
the series, and will be co-located with FMCAD 2024 in Prague, Czech
Republic.

Paper Submissions

=================

We welcome submissions describing significant advances in the production
of verified software, i.e. software that has been proved to meet its
functional specifications. Submissions of theoretical, practical, and
experimental contributions are equally encouraged, including those that
focus on specific problems or problem domains. We are especially
interested in submissions describing large-scale verification efforts
that involve collaboration, theory unification, tool integration, and
formalized domain knowledge. We also welcome papers describing novel
experiments and case studies evaluating verification techniques and
technologies. We encourage submissions on in-progress verified software
projects. Presenters will have the option to not include their papers in
the post-proceedings, leaving them free to submit their work to other
venues later.

Topics of interest for this conference include, but are not limited to,
requirements modelling, specification languages,
specification/verification/certification case studies, formal calculi,
software design methods, automatic code generation, refinement
methodologies, compositional analysis, verification tools (e.g., static
analysis, dynamic analysis, model checking, theorem proving,
satisfiability), tool integration, benchmarks, challenge problems, and
integrated verification environments.

VSTTE 2024 will accept both long (limited to 16 pages, excluding
references) and short (limited to 10 pages, excluding references) paper
submissions. Short submissions also cover Verification Pearls describing
an elegant proof or proof technique. Submitted research papers and
system descriptions must be original and not submitted for publication
elsewhere. Submissions of theoretical, practical, and experimental
contributions are equally encouraged, including those that focus on
specific problems or problem domains.  Papers will be submitted via
HotCRP at the VSTTE 2024 conference page
(https://vstte2024.hotcrp.com/). Submissions that arrive late, are not
in the proper format, or are too long will not be considered.
Thepost-conference proceedings of VSTTE 2024 will be published as a LNCS
volume by Springer-Verlag. Authors of accepted papers will be requested
to sign a form transferring copyright of their contribution to
Springer-Verlag. The use of LaTeX and the Springer LNCS class files is
strongly encouraged.

Deadlines:

==========

Paper submission: July 27 AoE

Notification of decisions: Aug 19 AoE

Early registraton deadline: Aug 20 AoE

Pre-conference final version due: Oct 3 AoE

VSTTE conference: Oct 14-15

=================

Program Chairs

* Azalea Raad (Imperial College London, UK)

* Jonathan Protzenko (Microsoft Research, Seattle, USA)

General Chair

* Supratik Chakraborty (IIT Bombay, India)

Publicity Chair

* Serdar Tasiran (Amazon Web Services, USA)

Program Committee

* Andreas Loow (Imperial College London)

* Arie Gurfinkel (University of Waterloo)

* Burcu Kulahcioglu (TU Delft)

* Claire Dross (AdaCore)

* Emanuele D'Osualdo (University of Konstanz)

* Greg Malecha (Bedrock Systems)

* Guillaume Ambal (Imperial College London)

* John Wickerson (Imperial College London)

* Juneyoung Lee (Seoul National University)

* Karine Even Mendoza (King's College London)

* Kartik Nagar (IIT Madras)

* Ken McMillan (University of Texas at Austin)

* Kumar Madhukar (IIT Delhi)

* Léo Stefanesco (MPI-SWS)

* Marc Pouzet (École Normale Supérieure)

* Martin Bodin (Inria, Grenoble|)

* Michael Sammler (ETH Zürich)

* Michalis Kokologiannakis (MPI-SWS)

* Paulo de Vilhena(Imperial College London)

* Roland Meyer (TU Braunschweig)

* Rupak Majumdar (MPI-SWS)

* Soham Chakraborty (TU Delft)

* Umang Mathur (National University of Singapore)

* Yu-Fang Chen (Academia Sinica)
_______________________________________________
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] CCC 2024: Continuity, Computability, Constructivity – From Logic to Algorithms (extended deadline)

EXTENDED DEADLINE: 20 August 2024 !

========================================================

CCC 2024: Call For Contributions (deadline extended to 20 August 2024)

========================================================

CALL FOR CONTRIBUTIONS:

CCC 2024:
Continuity, Computability, Constructivity – From Logic to Algorithms

Nice, France, September 30 - October 4 2024

* CCC'2024: October 2-4 2024, Nice, France
* Associated with "Journées du GT Calculabilités" (Computability days) from September 30 - October 1st

Conference website:
https://www.lix.polytechnique.fr/CCC2024/

========================================================

Submission link: https://www.lix.polytechnique.fr/CCC2024/i.php?n=Main.SUBMIT

Deadline for Submissions: 20 August 2024

Extended abstracts (1-2 pages) of original work should be submitted in pdf
format.

========================================================

Topics: constructive mathematics, constructive analysis, computable analysis,
exact real number computation

CCC is a workshop series that brings together researchers applying logical
methods to the development of algorithms, with a particular focus on
computation with infinite data, where issues of continuity, computability and
constructivity play major roles. Specific topics include exact real number
computation, computable analysis, effective descriptive set theory,
constructive analysis, and related areas. The overall aim is to apply logical
methods in these disciplines to provide a sound foundation for obtaining exact
and provably correct algorithms for computations with real numbers and other
continuous data, which are of increasing importance in safety critical
applications and scientific computation.

Previous workshops have been held in Cologne 2009, Trier 2012, Gregynog 2013,
Ljubljana 2014, Kochel 2015, Nancy 2017, Faro 2018, Ljubljana 2019, Faro 2020
(online), Birmingham 2021 (online), Padova 2022, Kyoto 2023

========================================================

Invited Speakers:

Confirmed:

* Micaela Mayero (University Sorbonne Paris Nord)
* Jean-Michel Muller (ENS Lyon)

With other names to be announced.

========================================================

Contributions

The workshop invites all contributions relating to computation where issues of
continuity, computability and constructivity play major roles. Specific areas
of interest include:

Exact real number computation
Correctness of algorithms on infinite data
Computable analysis
Complexity of real numbers, real-valued functions, etc.
Effective descriptive set theory
Domain theory
Constructive analysis and topology
Constructive foundations
Category-theoretic approaches to computation on infinite data
Weihrauch degrees
Other related areas

========================================================

Programme Committee

* Olivier Bournez (IPParis, Ecole Polytechnique, LIX, France)
* Pieter Collins (Maastricht University, The Netherlands)
* Enrico Formenti (Univ. Côte d'Azur, France)
* Daniel Graça (University of Algarve, Portugal)
* Norbert Müller (University of Trier, Germany)
* Sewon Park (Kyoto University, Japan)
* Svetlana Selivanova (Novosibirsk, Russia)
* Dieter Spreen (University of Siegen, Germany)
* Martin Ziegler (KAIST, South Korea)

Organizing Committee

* Olivier Bournez (IPParis, Ecole Polytechnique, LIX, FR)
* Enrico Formenti (Univ. Côte d'Azur, FR)

Steering Committee

* Akitoshi Kawamura (Kyoto University, Japan)
* Norbert Müller (University of Trier, Germany)
* Svetlana Selivanova (Novosibirsk, Russia)
* Dieter Spreen (University of Siegen, Germany)
* Holger Thies (Kyoto University, Japan)
* Linda Westrick (Penn State University, USA)
* Martin Ziegler (KAIST University, South Korea)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Real-Time Intelligent Systems 2024

Sixth International Conference on Real-Time Intelligent Systems (RTIS 2024)
Tien Giang University
My Tho (near Ho-chi-Minh)
Vietnam
October 17-19, 2024
www.socio.org.uk/rtis
Springer Lecture Notes in Networks and Systems (LNNS)

The International Conference on Real-time Intelligent Systems (RTIS) has traveled from Beijing, China (2016), to Ho-Chi-Min, Vietnam. The sixth edition will take place at Tien Giang University.

Over the last few years, real-time intelligent computing has radically transformed the human lifestyle. Research on real-time intelligent systems is multi-disciplinary, exploiting concepts from diverse areas such as big data processing, computational intelligence, location-based services, recommendation systems, and multimedia processing. In today's highly dynamic environment, analysing data in real-time is necessary to understand how systems process data, reason the outputs, and anticipate trends in intelligent computing. To this end, this conference will serve as a platform to manifest the ongoing research in the field. Thus, RTIS welcomes theoretically grounded, methodologically sound papers that address aspects related to topics, such as:

Artificial Intelligence and Data mining
Streaming data, streaming engines
Trace-based intelligent real-time services
Adaptive vision algorithms
Location-based services
Intelligent Robotic Systems
Collaborative Intelligence

Data capture in real-time
Data quality and cleansing
Intelligent Data Analysis
Intelligent Database Systems
Knowledge representation and reasoning
Intelligent information fusion
Large Language Models, cognitive methods, sequential inference, data mining, pattern/behavioral analysis,
Big Data systems and applications for high-velocity data
Intelligent Information Systems
Privacy and security in Intelligence
Software Engineering Solutions

Intelligent Soft Computing
Real-time multiprocessor systems
Internet of Things
Architectures for Intelligence
Real-time distributed coding
Smart services and platforms
Real-time modelling user information needs
Wireless Communication

Real-time intelligent communication
Real-time intelligent network solutions
Mobile Smart Systems
Broadband Intelligence
Cloud Computing and Intelligence
Collaborative Intelligence
Analysis in domains such as energy, sensors

Decision support systems in real-time
Multi-agent Intelligent Systems
Multilingual information access
Recommendation systems
Real-time intelligent alert systems
Real-time remote access systems
Intelligent Transportation Systems

Autonomous systems (incl. autonomous vehicles and drones)
Distributed systems
Cloud/edge computing/fusion
Defence/security, robotics, aerospace, intelligent transportation
Mining/Manufacturing
Environmental monitoring

Critical Real-time Applications

Real-time noise removal systems
Event-driven analytics
Intelligent Fuzzy Systems
Machine translation in real-time
OLAP for real-time decision support
Crowdsourcing and crowd intelligence

Submission, proceedings

Papers must be submitted online through OpenConf. Author instructions and LaTex2e (preferred) and Word macro files are available on the submission page. Submitted papers should be at most 14 pages (long papers) and 8 pages (short ones), including figures, tables and references (in the Springer template). Authors of accepted papers are required to transfer their copyrights. For a paper to appear in the proceedings, at least one of the authors MUST register for the conference by the camera-ready submission deadline with a full registration.
Springer's Lecture Notes in Networks and Systems (LNNS) (https://www.springer.com/series/15179) will publish the accepted papers and be indexed in SCOPUS, EI Compendex, INSPEC, WTI Frankfurt eG, zbMATH, and SCImago.
All the papers published in the series are submitted for consideration in the Web of Science.

Important Dates

Submission of papers: August 05, 2024
Notification: September 01, 2024
Camera-ready: October 01, 2024
Registration: October 01, 2024
Conference Dates: October 17-19, 2024

Honorary Chair
Vo Ngoc Ha, Tien Giang University, Vietnam

General Chairs
Le Minh Tung, Tien Giang University, Vietnam
Martín LÓPEZ-NORES, University of Vigo, Spain

Program Chairs
Nguyen Hoang Vu, Tien Giang University, Vietnam
Pit Pichappan, Digital Information Research Labs, India & UK
Dion Goh Hoe Lian, Nanyang Technological University, Singapore

Co-Program Chairs
Duong Van Hieu, Tien Giang University, Vietnam
Ricardo Rodriguez-Jorge, Technological Centre Ceit, Spain
Pavel Losket, Zhejiang University-University of Illinois at Urbana Champaign Institute, China

Organizing Chair
Cao Nguyen Thi, Tien Giang University, Vietnam

Publicity Chair
Beniysa Mohsin, LTI laboratory, Abdelmalek Essaâdi University, Morocco

Paper submission at https://socio.org.uk/rtis/paper-submission/

Contact- stm@socio.org.uk
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] position at NKUA, Athens

The Department of Informatics and Telecommunications at the National
and Kapodistrian University of Athens has an opening at the rank of Assistant
Professor in the area of "Foundations of Cryptography and Theoretical Computer Science".

The language of instruction is Greek. Applications have to be submitted through the
Apella platform https://apella.minedu.gov.gr/

The (strict) deadline for submission is July 25.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] [CFP](DDL Approaching: July 18 (FIRM)) IEEE International Conference on E-health Networking, Application & Services, Nov. 2024, Nara, Japan

*** Please accept our apologies if you receive multiple copies of this call
for paper***

*************************************************************************************

IEEE International Conference on E-health Networking, Application & Services

18–20 November 2024, Nara, Japan

https://healthcom2024.ieee-healthcom.org/

*************************************************************************************

*Important Dates: *

Paper Submission: 18 July 2024 (FIRM)

Notification of Acceptance: 30 August 2024

Final Manuscript (Camera Ready): 30 September 2024

*Submission Link:*

https://edas.info/N32010

IEEE Healthcom 2024 aims at bringing together interested parties
(universities, research centers, industries and stakeholders) from around
the world working in the healthcare field to exchange opinions, discuss
brand-new ideas, developing innovative and emerging solutions, and
establishing new collaborations.

Healthcare is one of the largest industries with 5-18% of GDPs spent on
health and Care globally. The healthcare budgets of the vast majority of
nations continue to outgrow their GDPs. Social, demographic, economic and
technological factors are the drivers for ever faster changing healthcare
models. While the demographic shifts in the populations display significant
socio-economic challenges they trigger more and more opportunities for
innovators in the areas of sensor technology, the Internet of Things,
Robotics, e-health, m-Health, Cloud Computing and emerging technologies
such as 5G, Big Data, SDNs, NFV, Precision and Personalized Medicine.
However, the integration of innovative technology into society is
associated with a lot of complexities. Social technological alignment and
societal acceptance of technology requires sound solutions with regards to
ethical, legal, social and security challenges.

Authors are cordially invited to submit their original papers within the
eHealth area. The topics include but are not limited to:

l *Signal/Data Processing and Computing For Health Systems*

AI and machine learning for eHealth

Machine and deep learning approaches for Health Data

Generative AI for eHealth

Fog/Edge/Cloud computing for wearable medical devices

Virtual tele-rehabilitation

Biometric analysis (gait analysis, eye-tracking, falls, mHealth)

Signal processing for virus early detection

Bioinformatics

AI for precision medicine

AI-driven drug discovery and development processes

Federated learning for privacy-preserving health data analysis

l *Communications and Networking*

Network coding and error detection/correction

Delay-tolerant, fault-tolerant, and reliable communication

Quality of Service (QoS) and Quality of Experience (QoE)

In-hospital networking, body area and cloud-integrated networking

B5G-based eHealth solutions

Future network designs and deterministic networking for eHealth

Semantic communications for eHealth

Network security for eHealth

l *Medical, Biomedical & Health Communication Systems*

Medical imaging, image compression and detection

Signal processing, data cleansing, management and mining

Smart health and big data

IoT for eHealth and telemedicine

eHealth platforms

Digital platforms for biopharmaceutical clinical trials

l *Devices*

Integration of medical devices with eHealth platforms

Medical device interoperability

Wearable and implantable devices

Device Security & Safety

Wearable devices against virus infection

eDrugs: nano-devices in blood stream

Healthcare devices and circuits for AI

l *Service & Applications*

eHealth services/applications for physical and mental health

eHealth services/applications for sports and exercise

eHealth services/applications for public health (disease prevention,
pandemic preparedness)

eHealth services/applications for extreme environments

mHealth applications and software

Quality of experience (QoE) for eHealth services/applications

Security, privacy and trust for e-Health services/applications

Metaverse and digital twin applications for eHealth

Decision support systems for eHealth

Real-time genomic counseling and testing

Telemedicine services that incorporate genetic counseling and testing

l *Medical Studies*

eHealth case studies & applications

eHealth for neurological diseases

EEG/MEG in brain network analysis

Telehealth in Obstetrician & Gynecology

Cardiology tele-health

Integration of transcranial magnetic stimulation (TMS) with EEG/functional
magnetic resonance imaging (fMRI)

Perspective authors are invited to submit their papers using EDAS. A full
paper should not have more than six (6) IEEE style pages including results,
figures and references. One (1) extra page is allowed with an extra charge
of $85. Papers will be reviewed with the standard reviewing procedure (with
at least 3 independent anonymous reviews). All of the accepted papers will
be published on IEEE Xplore®. Articles selected for publication in journals
must meet the conditions against self-plagiarism.

The submitted manuscripts shall be prepared in LaTeX or Word using the
official IEEE templates. Final submission of the manuscript will be in PDF
format, and make sure that the file will print on a printer that uses
letter size (8.5 x 11) paper. The official language of the meeting is
English.

*General Chairs: *

Ruidong Li, Kanazawa University, Japan

Dusit Niyato, Nanyang Technological University, Singapore

*TPC Chairs: *

Payam Barnaghi, Imperial College London, U.K.

Noriaki Kamiyama, Ritsumeikan University, Japan

Danda B. Rawat, Howard University, USA

Peiying Colleen Ruan, NVIDIA, Japan

*Panel Chair: *

Honggang Wang, UMass Dartmouth, USA

*Tutorial Chair:*

Andrea Sciarrone, University of Genoa, Italy

*Workshop Chairs: *

Dapeng Wu, Chongqing University of Posts and Telecommunications, China

Xuyu Wang, Florida International University, USA

*Poster Chairs: *

Chiara Garibotto, University of Genoa, Italy

Guangchi Liu, Southeast University, China

*Publication Chairs: *

Zhicheng Jiao, Brown University, USA

*Financial Chairs:*

Zhe Sun, Juntendo University, Japan

*Publicity Chairs:*

Nada Philip, Kingston University, UK

Yun Lin, Harbin Engineering University, China

Zhengxin Yu, Lancaster University, UK

Junji Takemasa, Osaka University, Japan

*Local Chair: *

Tatsuaki Kimura, Doshisha University, Japan

*Steering Committee Chairs:*

Steering Committee Chair: Shiwen Mao, Auburn University, USA

Steering Committee Vice Chair: Honggang Wang, Yeshiva University, USA

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] STACS 2025: Call for Papers

=== STACS'25: Call for Papers ===

The 42nd International Symposium on Theoretical Aspects of Computer
Science is planned to take place from March 4th to March 7th in Jena,
Germany https://www.stacs2025.de/.

STACS 2025 will consist of two tracks, A and B. Track A focuses on
algorithms, data structures and complexity, while track B focuses on
automata, logic, semantics, and theory of programming.

Authors are invited to submit papers presenting original and
unpublished research on theoretical aspects of computer science.
Topics covered by the tracks include, but are not limited to the
following:

Track A. Algorithms, Data Structures and Complexity

Design of parallel algorithms
Distributed algorithms
Approximation algorithms
Parameterized algorithms
Randomized algorithms
Analysis of algorithms
Combinatorics of data structures
Computational geometry
Cryptography
Algorithms for machine learning
Algorithmic game theory
Quantum algorithms
Computational and structural complexity theory
Parameterised complexity
Randomness in computation

Track B. Automata, Logic, Semantics and Theory of Programming

Automata theory
Games and multi-agent systems
Algebraic and categorical methods
Models of computation
Concurrency
Timed systems
Finite model theory
Database theory
Semantics
Type systems
Program analysis
Specification and verification
Rewriting and deduction
Learning theory
Logical aspects of computability and complexity

== Important Dates ==

Submission deadline: 26 September 2024, 23:59 AoE
Rebuttal: 15-21 November 2024
Notification: 16 December 2024
Camera ready: mid-January 2025
Conference: 4-7 March 2025

== Submissions ==

-> Format of submissions

Submissions should be made through EasyChair at
https://easychair.org/conferences/?conf=stacs2025

Authors are invited to submit an extended abstract or a full paper
with at most 15 pages; this page limit excludes the title page, the
references section, and a possible appendix. The title page should
contain the title of the paper and the abstract, but no author
information. The first section of the paper should start on the next
page, and the appendix, if any, should also start on the next page
after the bibliography.
In preparation of submissions, the usage of the LIPIcs style file is
mandatory; no changes to font size, page geometry, etc. are permitted.
Please refer to LIPIcs author instructions. Submissions submitted
after the deadline will not be considered, and submissions not
adhering to the expected format risk rejection without consideration
of the content.
Submissions should be made to appropriate tracks. The PCs reserve the
right to reassign a paper to a different track, if deemed necessary.
The extended abstract should contain a succinct statement of the
considered issues and of their motivation, a summary of the main
results, and a brief explanation of their significance, accessible to
non-specialist readers. This should be followed by a rigorous
derivation of the claimed results. Proofs omitted due to space
constraints should be put into an appendix, to be read by the program
committee members at their discretion. It is allowed and encouraged to
provide the full version of the paper as the appendix.
Simultaneous submission to other conferences with published
proceedings or to journals is not allowed. PC members are allowed to
submit their works as well, except for PC chairs.

-> Double-blind reviewing

As in the previous years, STACS 2025 will employ a lightweight
double-blind reviewing process: submissions should not reveal the
identity of the authors in any way. The purpose of the double-blind
reviewing is to help PC members and external reviewers come to an
initial judgment about the paper without bias, not to make it
impossible for them to discover the authors if they were to try.
Nothing should be done in the name of anonymity that weakens the
submission or makes the job of reviewing the paper more difficult. In
particular, important references should not be omitted or anonymised.
In addition, authors should feel free to disseminate their ideas or
draft versions of their paper as they normally would. For example,
authors may post drafts of their papers on the web, submit them to
arXiv, and give talks on their research ideas.

-> Conflicts of interest

Authors will be invited to give a list of persons with a Conflict of
Interest (COI). A Conflict of Interest is limited to the following
categories:

Family member or close friend.
Ph.D. advisor or advisee (no time limit), or postdoctoral or
undergraduate mentor or mentee within the past five years.
Person with the same affiliation.
Involved in an alleged incident of harassment. (It is not required
that the incident be reported.)
Reviewer owes the author a favor (e.g., recently requested a reference letter).
Frequent or recent collaborator (within last 3 years) who cannot
objectively review your work.

If you are unsure about a conflict in which a reviewer may have
positive bias towards your paper, we recommend erring on the side of
not declaring it since PC members and sub-reviewers will be also asked
if they feel that they can fairly evaluate your paper. If an author
believes that they have a valid reason for a Conflict of Interest not
listed above, then they can contact PC chairs. Falsely declared
conflicts (i.e., do not satisfy one of the listed reasons) risk
rejection without consideration of merit. Authors will be asked to
declare conflicts with PC members during submission, but an author can
contact PC chairs directly if they have a conflict with an individual
who is likely to be asked to serve as a subreviewer for the paper.

== Rebuttal ==

There will be a rebuttal period for authors. Authors will receive the
reviews of their submissions and have a few days to prepare and submit
rebuttals. These rebuttals become part of the PC discussions, but
entail no specific responses. Rebuttals will be handled through
EasyChair.

== Conference ==

At least one author of each accepted paper is expected to register at
the conference. For authors who cannot present their paper in person,
a possibility for remote presentation will be offered.

== Proceedings ==

Accepted papers will be published in the proceedings of the symposium.
As usual, these proceedings will appear in the Leibniz International
Proceedings in Informatics (LIPIcs) series, based at Schloss Dagstuhl.
This guarantees perennial, free and easy electronic access, while the
authors retain the rights over their work. With their submission,
authors consent to sign a license authorizing the program committee
chairs to organize the electronic publication of their paper, provided
the paper is accepted.
The final camera-ready of each accepted paper should be formatted in
accordance with the LIPIcs guidelines and taking reviewer comments
into account. General instructions regarding the preparation of the
camera-ready version and the style can be found at LIPIcs author
instructions. Notice that there is a limit of 15 pages for the main
body of the final camera-ready, excluding the bibliography, the front
page(s) (authors, affiliation, keywords, abstract, ...) and a brief
appendix (of up to 5 pages) from this page limit. Any appendices to
the initial submission were officially not under review and thus
should not be included in the proceedings. In general, major new
content can be added only if suggested by the reviewers. You are
however more than welcome to have the proceedings paper link to the
full version published elsewhere (e.g., on arXiv). The precise link to
the full version may even be provided later, during author approval
period (expected in February).
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Upcoming PhD Position on Parameterized Complexity in AI

The Algorithms and Complexity Group at TU Wien will be hiring a PhD
student interested in Parameterized Complexity and its applications in
Artificial Intelligence research. The student will be supervised by
Robert Ganian.

The position is part of the Cluster of Excellence titled "Bilateral
Artificial Intelligence" (https://www.bilateral-ai.net/), which is a
project spanning multiple Austrian universities. The successful
applicant for this particular position will have the opportunity to
pursue a research career focusing on the broad applications of
parameterized complexity in a variety of areas including causal
discovery, neural network training, data completion as well as
classical graph algorithms. We offer flexible selection of research
topics, ample travel funding, a competitive salary (as per
https://www.fwf.ac.at/en/funding/steps-to-your-fwf-project/further-information/personnel-costs),
and the option of collaborating with other members of the Cluster of
Excellence and the Algorithms and Complexity Group
(https://www.ac.tuwien.ac.at/). There are no teaching obligations
associated with the position. Applicants with a strong background in
mathematics or algorithmics are particularly encouraged to apply.

The call for applications will officially launch on *1 September*;
however, interested candidates are welcome to send an informal
declaration of interest to rganian@ac.tuwien.ac.at (or
rganian@gmail.com). Potential enquiries about the position may be sent
to these same email addresses as well.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] IEEE LATINCOM 2024 - Call for Papers - Extended Deadline: July 22, 2024

**************************************************************
CALL FOR PAPERS – IEEE LATINCOM 2024

16th IEEE Latin-American Conference on Communications

November 6 - 8, 2024
Medellín, Colombia

https://latincom2024.ieee-latincom.org/
********************************************************************

Paper submission deadline: 22 July 2024
Notification of acceptance: 6 September 2024
Camera-ready papers: 7 October 2024
Authors registration deadline: 29 September 2024

The IEEE Latin-American Conference on Communications, LATINCOM, will be
held in
Medellin, Colombia, from November 6th to 8th 2024, organized by
Universidad de Antioquia.

The IEEE LATINCOM is an international conference organized by the IEEE
Communications Society (ComSoc) Latin America Region. IEEE LATINCOM is the
most
important conference on communications in Latin America; it is held
annually and
attracts submissions and participants from all around the world.

LATINCOM 2024 will include original full-paper presentations and tutorial
sessions. It will also include Keynote Speeches presented by top
researchers,
industry panel sessions and complementary activities that will be of high
interest to the attendees.

Accepted and presented papers will be published in the IEEE LATINCOM 2024
Conference Proceedings and submitted to IEEE Xplore as well as other
Abstracting and Indexing (A&I) databases.

Topics of interest include, but are not limited to:

Mobile and Wireless Networking

* Cellular systems, 4G/5G/B5G/6G
* Cognitive radio networks
* Device-to-device/machine-to-machine communications
* Green wireless networks
* Large-scale LEO satellite networking
* Opportunistic wireless networks
* Pervasive and wearable computing and networking
* Reconfigurable wireless networks
* Software-defined wireless networks
* Underwater wireless networks
* Vehicular networks
* UAV
* Wireless network virtualization
* Wireless multimedia networks
* WLAN, WPAN, and other home/personal networking technologies
* Wireless networking techniques based on AI

Communication Services, Software and Multimedia Applications

* Cooperative networking for streaming media content
* E-health, E-governance, E-agriculture, etc.
* High quality service provisioning for multimedia applications
* Location-based services
* ML techniques for video delivery and service
* ML techniques for multimedia content analysis
* Multimedia cloud, streaming, multicast and broadcast services
* Multimedia fog/edge computing and communication
* QoE and QoS
* Quality-oriented routing algorithms
* Real time communication services
* Service orchestration and management
* Service security and privacy
* Triple and quadruple play services

Communication QoS, Reliability and Performance Modeling

* Networks and communication systems modeling and performance evaluation
* Reliability of systems and networks
* Traffic measurement, modeling, visualization, and engineering
* Security and trust in network design
* Integration aspects in IoT and Big Data systems
* Design of cloud, edge and other distributed computing networks
* QoS and network efficiency

Optical Networks

* AI, ML and data analytics for optical systems and networks
* Elastic, flexible rate and flexi-grid optical networks
* Free-space optical networks
* Optical network control and management
* Optical network survivability and availability
* Optical and wireless convergence
* Routing and spectrum assignment for optical networks
* Software defined optical networks
* Ultraviolet communications and networks
* Underwater optical communications
* Virtualization and slicing in optical networks
* Visible light communications

Communications Theory & Signal Processing

* Communication theory of ad-hoc and sensor networks
* Communication theory of distributed and edge computing
* Communication theory of networks and cross-layer design
* Multi-antenna, multi-user and multi-node systems
* Radio communications
* Satellite & space communications
* Signal processing for all aspects of communications and networking
* Theoretical aspects of blockchain and ML in networks

Next-generation Networking and Internet

* 5G/B5G/6G architecture
* Blockchain in next generation communications and networks
* Content-centric networking
* Centralized-RAN and Cloud-RAN architectures
* Future Internet and next-generation networking architectures
* High speed architectures for next generation routers/switches
* Management of service-oriented control plane in 5G/B5G
* Network functions virtualization
* Next-generation access networks
* Next-generation IP multimedia subsystem
* Next-generation network management and control
* Parallel architectures for next generation routers/switches
* Software-defined networking

AI, Big Data and ML for Networking

* AI and ML for network slicing, virtualization, and network management
* Big data for all aspects of communications and networking
* Cloud and network data analytics, modeling and visualization
* Cooperative learning for software-defined and virtualized networks
* Data analytics for QoS and traffic classification
* Data analytics for faults and root-cause analysis
* Data-driven network management
* ML based distributed training and learning over-the-air
* Operational analytics and intelligence
* Predictive analytics and real-time analytics

Selected Areas in Communications

* Blockchain in communications and networks
* Cloud, fog and edge computing
* Internet-of-Things and Internet-of-everything
* New Space applications
* Smart cities and urban computing
* Smart grid communications
* Social networks, crowdsourcing, and crowdsensing
* Tactile Internet
* Carbon-aware networking

Paper Submission
Authors are invited to submit present original, unpublished research or
experiences. Papers under review elsewhere must not be submitted to the
conference. Maximum 6 pages are allowed for each paper, including all
illustrations and references.

Paper must be written in English, unpublished and not being considered in
other conferences or journals. Full papers must be formatted as the standard
IEEE double-column conference template and submitted in PDF via JEMS
submission
system (https://jems3.sbc.org.br/latincom2024).

Manuscript templates are available at:
https://www.ieee.org/conferences/publishing/templates.html

Technical Program Co-Chairs
George Rouskas (North Carolina State University, USA)
Juan Felipe Botero Vega (Universidad de Antioquia, Colombia)

General Co-Chairs
Natalia Gaviria Gómez (Universidad de Antioquia, Colombia)
Sergio Armando Gutiérrez (Universidad de Antioquia, Colombia)

Steering Committee
Stefano Bregni, Politecnico di Milano, Italy
Nelson Fonseca, Universidade de Campinas, Brazil
Carlos Lozano Garzon, Universidad de los Andes, Colombia
Jose-David Cely, Universidad Distrital Francisco José de Caldas, Colombia
Lisandro Zambenedetti Granville, Universidade Federal do Rio Grande do
Sul, Brazil
Carlos A. Gutierrez, Universidad Autónoma de San Luis Potosí, Mexico
Marco To De Leon, Universidad Galileo, Guatemala
Miguel Elias Campista, Universidade Federal do Rio de Janeiro, Brazil

********************************************************************

--
===========================================
Sergio Armando Gutiérrez, Ph.D.
Professor
Colombia Chapter Chair - IEEE ComSoc
Dept. of Electronics and Telecommunications Engineering
Universidad de Antioquia
Calle 67 # 53 – 108, Oficina 19-455A, Medellín - Colombia
Tel: +57 - 3002700310
Web Page: https://sites.google.com/a/unal.edu.co/sergiogutierrez/

--

"La información aquí contenida es para uso exclusivo de la persona o
entidad de destino. Está estrictamente prohibida su utilización, copia,
descarga, distribución, modificación y/o reproducción total o parcial, sin
el permiso expreso de Universidad de Antioquia, pues su contenido puede ser
de carácter confidencial y/o contener material privilegiado. Si usted
recibió esta información por error, por favor contacte en forma inmediata a
quien la envió y borre este material de su computador. Universidad de
Antioquia no es responsable por la información contenida en esta
comunicación, el directo responsable es quien la firma o el autor de la
misma."

--
UdeA

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Data Analytics in Biomedicine

CALL FOR PAPERS

First Workshop on "Data Analytics in Biomedicine"
(held in conjunction with IEEE DDP2024)
Fourth International Conference on Digital Data Processing
Yeshiva University.
New York, US
30 September – 01 October 2024
https://socio.org.uk/ddp/workshop/

CALL FOR PAPERS

The exponential growth of data generated from various textual sources presents both a challenge and a huge opportunity. A key challenge lies in effectively managing and extracting valuable insights from this vast amount of unstructured and heterogeneous data. To address this issue, advanced data analytics techniques, ranging from data and text mining to semantic network analysis and recent advancements in large language models (LLMs), have become indispensable tools for researchers and practitioners.

This is particularly relevant in the realm of biomedicine, where text mining has shown the ability to enable researchers to uncover hidden patterns, trends, and associations that would otherwise remain buried in the vast amount of health-related textual data, for instance, research articles, clinical reports, and electronic health records (EHRs).

On the other hand, semantic network analysis, which focuses on understanding the structure and dynamics of networks formed by entities and their interconnections derived from text mining processes, can facilitate a deeper understanding of the complex interrelationships within biomedical data. By analyzing properties like centrality, modularity, and community structures, researchers can identify key nodes and critical pathways in biological networks, predict disease associations, and explore the functional organization of biological systems.

The integration of text mining, semantic network analysis, and large language models offers a powerful approach to enhancing the ability to generate new hypotheses and insights and supporting the development of more effective diagnostics, treatments, and interventions.

The workshop represents an opportunity to explore the latest advancements in data analytics and text mining in biomedicine. Attendees will gain insights into developing more interpretable models, handling large-scale biomedical datasets, and implementing scalable solutions for real-world healthcare applications.

Moreover, the workshop is highly relevant because it has the potential to significantly improve the safety, effectiveness, and efficiency of biomedical interventions through advanced data analytics.

TOPIC OF INTEREST

We invite submissions on a wide range of topics, including but not limited to:

Novel techniques and measures for assessing textual data quality and handling data integration.
Advanced text mining techniques for biomedical data
Construction and analysis of semantic networks in biomedicine
Case studies on integrated text mining and semantic network analysis
Applications of LLMs in biomedicine
Data analytics in precision medicine
Text-driven approaches to drug discovery
Interpretable or scalable data analytics approaches
Application of Data Analytics and network science in Narrative Medicine
Computational methods for disease modeling and prediction
Ethical considerations in biomedical data analytics
Multimodal biomedical data analytics
Future trends and challenges in biomedical data analytics

PROGRAM

The workshop will take place on (To Be Announced). The program has yet to be made available. The Venue is Yeshiva University, New York.

PAPER SUBMISSION, REGISTRATION AND PUBLICATION

The submissions should follow the IEEE template.
Please refer to socio.org.uk/ddp/paper-submission/

IMPORTANT DATES

Submission of Papers: July 31, 2024
Notification of Acceptance/Rejection: August 25, 2024
Camera-ready: September 25, 2024
Registration: September 25, 2024
Conference Dates: September 30- October 01, 2024
Post-Conference Proceedings Release: November 15, 2024

WORKSHOP ORGANIZERS

Chiara Zucco, University Magna Graecia of Catanzaro, Italy
Mario Cannataro, University Magna Graecia of Catanzaro, Italy
Marianna Milano, University Magna Graecia of Catanzaro, Italy

PROGRAM COMMITTEE (TO BE CONFIRMED)

Marzia Settino, University of Calabria, Italy
Mario Cannataro, University Magna Graecia of Catanzaro, Italy
Maria Chiara Martinis, University Magna Graecia of Catanzaro, Italy
Giuseppe Agapito, University Magna Graecia of Catanzaro, Italy
Pietro Cinaglia, University Magna Graecia of Catanzaro, Italy
Ilaria Lazzaro, University Magna Graecia of Catanzaro, Italy
-----------
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] ADMIN: Holiday-Break 19.07. - 11.08.2024

Dear all,

because of the upcoming holidays DMANET will have a break from

19.07.2024 to 11.08.2024

If you have anything urgent please post it till 18.07.


Have a great summer

Martin

--
Dipl.-Inform. Martin Olschewski University of Cologne
Sibille-Hartmann-Straße 2-8
Tel: ++49/221/470-6018 D-50969 Köln
WWW: https://cs.uni-koeln.de/ls-sohler/team/martin-olschewski
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************