Theory Announcements

Wednesday, October 2, 2024

[DMANET] [PhD Opening at Utrecht University] PhD in Visual Analytics for Explainable Visual Rehabilitation

Dear colleagues,

We are hiring a fully funded PhD Student at Utrecht University, NL!

Do you want to develop a Visual Analytics solution to help therapists monitor the rehabilitation of visually impaired patients? This PhD project is for you!

In this PhD project, several teams (clinical centers, serious game developers, and academic institutions) combine their multidisciplinary skills to create and deploy a solution for rehabilitating patients having visual impairments by offering them training scenarios using a virtual reality (VR) setup.

As PhD candidate in this project, you will conduct independent, high-quality research resulting in a doctoral dissertation. Your research will focus on designing a Visual Analytics solution to analyse data from rehabilitating patients with hemianopsia (partial blindness). With the support of explainable AI models, you will develop Visual Analytics dashboards for exploring complex data recorded from the training patients including eye tracking, task progress, and success rates. By quantifying model uncertainty, these dashboards will enable therapists to monitor and improve patients' visual rehabilitation progress. You will collaborate with a diverse project team of academics, clinicians, and software developers to realize the goals of the project.

Do you want to know more and apply? Follow the link below:

https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-in-visual-analytics-for-explainable-visual-rehabilitation

The application deadline is 15 November 2024.

For more information, please contact Dr. Chatzimparmpas at a.chatzimparmpas@uu.nl<mailto:a.chatzimparmpas@uu.nl>.

With best regards,

Angelos Chatzimparmpas and Alex Telea

———————

Visualization and Graphics Research Group

Department of Information and Computing Sciences

Utrecht University

The Netherlands
**********************************************************
*
* 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] call for second-year master internships

Dear colleagues,

If you look for a master student, please consider submitting an
internship proposal to the Computer Science master program of ENS Lyon,
at this URL:
https://perso.ens-lyon.fr/edouard.bonnet/submit-proposalsM2.htm, for the
benefit of our students.
You do not necessarily need a funding for the internship, as some of the
students already have a scholarship.
Internships start in February and last for about 5 months.
For more information, see
https://perso.ens-lyon.fr/edouard.bonnet/internshipsM2.htm.

There is no sharp deadline, but the students are expected to find an
internship by the end of November.
Once you have a description of your proposal (in any form) accessible
online, the submission process takes a few seconds to complete.
A proposal description can range from a specific objective to a few
sentences locating the general topic of the internship.
Simply knowing that you are willing to advise a master 2 student is a
valuable information.

Thanks in advance for your collaboration,

Édouard Bonnet
**********************************************************
*
* 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/
*
**********************************************************

Tuesday, October 1, 2024

[DMANET] PhD Position in Algorithmic Game Theory, University of Bath

title: PhD Position in Algorithmic Game Theory, University of Bath

The Department of Computer Science at the University of Bath invites
applications for a fully funded PhD position, awarded based on academic
excellence. Candidates must begin their research program before March 31,
2025. The studentship provides funding for 3.5 years to UK Home Students.

Successful applicants will work under the supervision of Dr. Jie Zhang,
specializing in algorithmic game theory and multi-agent systems. For
inquiries or to submit your CV, please contact Dr. Zhang at
jz2558@bath.ac.uk.

There is no specific application deadline. The position will remain open
until filled. Applicants should hold a degree equivalent to a UK
first-class honours in Computer Science, Mathematics, or a related field.

--
Best regards,
Jie

**********************************************************
*
* 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 Discrete and Computational Geometry at UPC, Barcelona

The research group on Discrete, Combinatorial and Computational Geometry (
https://dccg.upc.edu) from Universitat Politècnica de Catalunya (UPC) is
offering a 4-year PhD Scholarship within the project "Geometric and
Abstract Graphs: Theory and Applications", funded by the Spanish State
Research Agency (AEI).

The PhD student will carry out research on geometric graph algorithms,
studying problems motivated from robot reconfiguration, graph drawing, and
geographic information analysis, under the supervision of Irene Parada and
Rodrigo Silveira.

The scholarship is a 4-year grant including an employment contract with the
university (implying medical insurance and social security). The working
location is the Campus Nord of UPC in Barcelona, main campus of UPC. The
expected starting date is the beginning of 2025.

Application method: interested candidates should send an email to Irene
Parada (irene.parada@upc.edu) and Rodrigo Silveira (rodrigo.silveira@upc.edu)
including:

* A brief CV, including publications, if any.
* Academic transcript (of all subjects studied and marks obtained).
* A copy of the master's thesis, if already available.
* Contact details of at least two referees, mentioning their connection to
the applicant.

Interested candidates are encouraged to contact us as soon as possible.
Informal inquiries are welcome. Applications received by October 31 will
receive full consideration. Late submissions will be considered as well,
until the position is filled.

[DMANET] IPDPS 2025 - Call for Papers

IPDPS 2025 CALL FOR PAPERS
10 October Deadline
------------------------------------
IEEE IPDPS 2025
39th IEEE International Parallel &
Distributed Processing Symposium
June 3-7, 2025
Milan, Italy
------------------------------------

IPDPS 2025 CALL FOR PAPERS

Important Dates:
* Thursday, October 3, 2024- Abstracts due
* Thursday, October 10, 2024 - Papers due

To see the full Call for Papers, visit ipdps.org.

IPDPS 2025 NOW OPEN FOR SUBMISSIONS
Authors are invited to submit manuscripts that present novel and impactful research in high performance computing (HPC) in parallel and distributed processing. Works focusing on emerging technologies, interdisciplinary work spanning multiple IPDPS focus areas, and novel open-source artifacts are welcome. Topics of interest include but are not limited to the following areas:

Algorithms:
This track focuses on algorithms for computational and data science in parallel and distributed computing environments (including cloud, edge, fog, distributed memory, and accelerator-based computing).
Applications:
This track focuses on real-world applications (combinatorial, scientific, engineering, data analysis, and visualization) that use parallel and distributed computing concepts.
Architecture:
This track focuses on existing and emerging architectures for high performance computing,
Machine Learning and Artificial Intelligence (ML/AI):
This track focuses on all areas of ML/AI that are relevant to parallel and distributed computing.
Measurements, Modeling, and Experiments:
This track focuses on experiments and performance-oriented studies in the practice of parallel and distributed computing.
Programming Models, Compilers, and Runtime Systems:
This track covers topics ranging from the design of parallel programming models and paradigms to languages and compilers supporting these models and paradigms to runtime and middleware solutions.
System Software:
This track focuses on software that is close to the bare high performance computing (HPC) hardware.

The conference will recognize exceptional contributions with a Best Paper Award and a Best Open-Source Contribution Award.

Visit the website at ipdps.org to see the full Call for Papers including details of
WHAT/WHERE TO SUBMIT,
a description of REVIEW OF MANUSCRIPTS,
the IMPORTANT DATES, and
a listing of the PROGRAM COMMITTEE.

2025 PROGRAM CHAIRS
Michela Becchi, North Carolina State University
Karen Devine, Sandia National Laboratories, ret.

2025 PROGRAM AREA CO-CHAIRS

Algorithms
Maxim Naumov (Meta)
Albert-Jan Yzelman (Huawei Technologies)

Applications
Sanjukta Bhowmick (University of North Texas)
Kara Peterson (Sandia National Laboratories)

Architectures
Amro Awad (University of Oxford)
Antonino Tumeo (Pacific Northwest National Laboratory)

Machine Learning and Artificial Intelligence
Prasanna Balaprakash (Oak Ridge National Laboratory)
Dong Li (University of California, Merced)

Measurement, Performance and Experiments
Alexandru Iosup (Vruje Universiteit Amsterdam)
Tanzima Islam (Texas State University)

Programming Models, Compilers, and Runtime Systems
Franck Cappello (Argonne National Laboratory)
Xipeng Shen (North Carolina State University)

System Software
Patrick Bridges (University of New Mexico)
Sarah Neuwirth (Johannes Gutenberg University Mainz)

IPDPS 2025 Venue: Politecnico di Milano
Politecnico di Milano is the largest technical university in Italy, offering undergraduate, graduate, and higher education courses in engineering, architecture, and design. Founded in 1863, it is one of the oldest universities in Milan.

IPDPS 2025 Location: Milan, Italy
Milan, a metropolis in Italy's northern Lombardy region, is a global capital of fashion and design. Home to the national stock exchange, it's a financial hub also known for its high-end restaurants and shops. The Gothic Duomo di Milano cathedral and the Santa Maria delle Grazie convent, housing Leonardo da Vinci's mural "The Last Supper," testify to centuries of art and culture.

2025 GENERAL CO-CHAIRS
Marco D. Santambrogio, Politecnico di Milano, Italy
Ananth Kalyanaraman, Washington State University, USA
----------------------------------------------------------------------------
-----------------------------------------------------------------------------
...Follow us on Facebook at https://www.facebook.com/IPDPS
...Follow us on X-Twitter at https://twitter.com/IPDPS
-----------------------------------------------------------------------------
Sponsored by IEEE Computer Society Technical Community on Parallel Processing
In cooperation with
ACM SIGARCH,
IEEE Computer Society Technical Committee on Computer Architecture and
IEEE Computer Society Technical Committee on Distributed Processing
-----------------------------------------------------------------------------
-----------------------------------------------------------------------------

[DMANET] Deadline Extension - 20 October - 2nd GCC International Conference on IEOM

*** CALL FOR PAPERS - DEADLINE EXTENSION ***
----------------------------------------------------------------------------------------------------
2nd GCC International Conference on Industrial Engineering and Operations
Management *
https://ieomsociety.org/oman2024

Muscat, Oman

December 1-3, 2024

Paper Submission Deadline (EXTENDED***): 20 October 2024
Submission Deadline for Competitions: 1 November 2024 (Online participation
available)

----------------------------------------------------------------------------------------------------------

We are excited to invite you to participate in the 2nd GCC International
Conference on Industrial Engineering and Operations Management, which will
be organized by Sultan Qaboos University and the IEOM Society in Muscat,
Oman on 1-3 December 2024. The conference promises to be an exceptional
event, bringing together researchers, academics, and professionals from
around the world to share their latest research findings and innovations in
the field of Industrial Engineering and Operations Management.

Muscat, one of the most secure cities globally, offers a wealth of natural
and historical beauty. Visitors can explore stunning beaches, majestic
mountains, and rich cultural heritage sites. Additionally, December is an
ideal time to visit Muscat, as the weather is exceptionally pleasant,
providing a perfect backdrop for both the conference and sightseeing.

COMPETITIONS

We will be hosting several competitions as part of the conference, with
options for online participation available.

Undergraduate Student Paper Competition
Graduate Student Paper Competition
Master Thesis Competition
Doctoral Dissertation Competition
Final Year Project (FYP)/Senior Capstone Design Project Competition
Undergraduate Research Competition

*Journal of Engineering Research "TJER" (Scopus indexed with Q4
ranking: https://journals.squ.edu.om/index.php/tjer/index
) will publish a special issue for the conference.*

PANEL: INDUSTRIAL ENGINEERING & OMAN'S VISION 2040

- Salim Ali Al-Harthi, General Manager, Oman Airports Management Company
- Azhar Al Kindi, Chief Operating Officer (COO) at EDO
- Mustafa Al-Balushi, Vice President of Corporate Continuous
Improvement, Planning and Performance at OQ

SOCIAL PROGRAM (Included in registration fee):
* Half-Day City Tour (National Museum, Al Alam Palace, Matrah Souq, 3
December 2:00-7:00 pm)
* Gala Dinner and Awards Ceremony (Hormuz Grand Hotel, 3 December 7:00 pm)

IMPORTANT DATES

* Submission Deadline: October 20, 2024
* Competition Submission Deadline: November 1, 2024
* Review Feedback: November 1, 2024
* Registration: November 1, 2024
* Camera-ready final paper due: November 20, 2024
* Conference: December 1-3, 2024

For detailed information about the conference, including paper templates,
registration, agenda, speakers, and session topics, please visit our
conference webpage:
*https://ieomsociety.org/oman2024/ . *

-------------------------------------------------------------------------------------------------------

*Conference Email: ieom-conf@squ.edu.om*
*IEOM Society Email: info@ieomsociety.org*

We look forward to your participation and hope to see you at the 2nd GCC
IEOM Conference.

Best regards,

Hakan Gultekin
Associate Professor
Department of Mechanical & Industrial Engineering
Sultan Qaboos University, Muscat, Oman

[DMANET] Special Session in Computational Intelligence applied to Sustainability at EvoStar 2025 (Trieste, Italy, April 23-25 2025)

Dear Colleagues

We are happy to invite you to the EvoApps 2025 Special Session in
Computational Intelligence applied to Sustainability.

The application of nature-inspired techniques to sustainability is a
fast-growing field, yielding innovative solutions in areas like wind farm
optimization, land use, water distribution, smart grids, and AI-driven
decision support in healthcare.

This special session seeks to bring together researchers and practitioners
to explore the latest advancements in applying Computational Intelligence
to sustainability, with a focus on methodologies that directly or
indirectly address one or more SDGs (https://sdgs.un.org/goals).

Topics of interest include, but are not limited to:

Renewable Energy Systems: Optimization of energy generation,
distribution, and storage.
-

Smart Cities: Design and management of resilient, sustainable urban
environments.
-

Agriculture and Food Security: Sustainable farming practices, precision
agriculture, and food supply chain optimization.
-

Environmental Monitoring and Management: Applications in pollution
control, conservation, and natural resource management.
-

Healthcare and Well-being: AI-driven diagnostics, telemedicine, and
optimization of healthcare systems.
-

Water Resources Management: Efficient distribution, usage, and
conservation of water resources.
-

Sustainable Manufacturing and Industry 4.0: Green manufacturing
processes, waste reduction, and lifecycle assessment.
-

Risk Reduction and Management: Early warning systems for natural
disasters, climate change risk assessment, response optimization, and
resilience building.
-

Circular Economy: Strategies for waste minimization, recycling, and
sustainable product design.

We welcome original research, review articles, and case studies that
demonstrate the potential of Computational Intelligence to create
sustainable solutions and drive progress toward the SDGs. Contributions
that highlight interdisciplinary approaches and real-world implementations
are particularly encouraged.

More Information: https://www.evostar.org/2025/evoapps/cis/

Submission Details

Page limit: 14 pages, Springer LNCS format.
-

Submission link and details: https://www.evostar.org/2025/submit-paper/

Important Dates

Submission deadline: November 1, 2024 (AoE)
-

EvoStar: April 23-25, 2025
-

Trieste, Italy
-

Held as part of EvoStar https://www.evostar.org/2025/

Organisers

Valentino Santucci
-

University for Foreigners of Perugia, Italy
-

valentino.santucci(at)unistrapg.it
-

Fabio Caraffini
-

Swansea University, UK
-

Fabio.caraffini(at)swansea.ac.uk
-

Jamal Toutouh
-

University of Malaga, Spain
-

jamal(at)uma.es

—————————
Jamal Toutouh, PhD - Associate Professor
- University of Malaga (jamal@uma.es <jamal@lcc.uma.es>)
- Massachusetts Institute of Technology (toutouh@mit.edu)

website: jamal.es
twitter: @jamtou
—————————

Monday, September 30, 2024

[DMANET] metaheuristcs for optimization

Dear Colleague,

On behalf of the Organizing Committee, we invite you to participate in the
special session (workshop) on
"APPLICATIONS OF METAHEURISTICS TO LARGE-SCALE PROBLEMS" at the 15th
International Conference on
Large Scale Scientific Computation - LSSC'25, June 16 - 20, 2025, Sozopol,
Bulgaria,
with arrival: June 15 and departure: noon June 20.

The session is organized by:
Prof. Stefka Fidanova (stefka.fidanova@gmail.com)
from the Institute of Information and Communication Technologies, Bulgarian
Academy of Sciences and
Gabriel Luque (gabriel@lcc.uma.es) from University of Malaga, Spain.

Topics

The list of topics includes, but is not limited to:

combinatorial optimization
global optimization
multiobjective optimization
optimization in dynamic and/or noisy environments
large scale optimization
parallel and distributed approaches in optimization
random search algorithms,
simulated annealing,
tabu search
other derivative free optimization methods
nature inspired optimization methods (evolutionary algorithms,
ant colony optimization, particle swarm optimization, immune artificial
systems etc)
hybrid optimization algorithms involving natural computing techniques
and
other global and local optimization methods
optimization methods for learning processes and data mining
computational optimization methods in statistics, econometrics, finance,
physics, medicine, biology, engineering etc

Proceedings
We plan to continue publishing the proceedings of only refereed and
presented papers as a
special volume of Springer Lecture Notes in Computer Science (LNCS).

Important deadlines
Deadline for submission of abstracts
January 15, 2025
Notification of acceptance of the talks on the basis of the submitted
abstract
January 31, 2025
Deadline for registration
March 01, 2025
Deadline for submission of full papers
March 01, 2025
Notification of acceptance of full papers
April 15, 2025

Abstracts and contributed papers
The abstracts (up to 1 page stating clearly the originality of the results)
are to be written in standard LaTeX.
The length of the contributed papers is limited to 8 pages. It is assumed
that ONE participant
will present not more than ONE talk.

Send the abstracts and papers to special session organizers and conference
organizers,
indicating the name of the special session.
After sending the abstract go to the conference web page and fill in the
registration form (personal data of the participants, minimum one per
paper, and the name of the special session).

Information about abstract and paper preparation, accommodation,
transportation,
registration form and conference location you can find at the conference
web page http://parallel.bas.bg/Conferences/SciCom25/

Special session organizers
Prof. Stefka Fidanova
Prof. Gabriel Luque

--
Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642

[DMANET] [CFP] 5th workshop on Human-Centered Computational Sensing (HCCS’25)

Dear Colleagues,

We are pleased to invite you to participate in the Fifth Workshop on
Human-Centered Computational Sensing (HCCS'25)
<https://sites.google.com/view/hccs25/home>, which will be co-located with
the 23rd IEEE International Conference on Pervasive Computing and
Communications (PerCom'25) <https://www.percom.org/>in Washington DC, USA,
from March 17-21, 2025.

The fifth edition of the Human-Centered Computational Sensing (HCCS'25)
workshop aims to advance and promote research on how unobtrusive
observations of human cognitive, behavioral, physiological, and contextual
data are increasingly enabling innovative computing experiences. The
workshop will also foster discussions about the societal implications of
computational sensing. Traditionally, sensors have been understood narrowly
as devices that capture physiological measurements, often through
wearables. This workshop adopts a broader, human-centric perspective,
envisioning sensing as time-evolving measurable data directly linked to
individuals and their communities. With this approach, sensing encompasses
human reactions and interactions observed through spoken, written, or
signed language, eye gaze, facial and bodily expressions, social networks,
geospatial patterns, and other forms of human-generated data. Advances in
multimodal human data acquisition and fusion have the potential to
significantly impact all areas of human life, including productivity,
health and well-being, training and education, human-computer interaction,
accessibility, safety and security, as well as gaming, sports, and
entertainment.

Relevant topics include but are not limited to:

- Context-Aware Sensing for Adaptive Learning Environments
- Emotion Recognition through Physiological and Behavioral Signals
- Personalized Well-being Applications using Continuous Sensing
- Smart Workplaces through Behavioral Sensing
- Human Activity Recognition in Unstructured Environments
- Emotion-Adaptive Interfaces for Human-Computer Interaction
- Geospatial Behavior Analysis for Urban Planning
- Fusion of multifaceted, heterogeneous, and/or incommensurable human
sensing data
- Localization and proximity-detection systems
- AI-empowered mobile sensing systems
- Generative AI for synthetic sensor data generation and evaluation
- User acceptance, quality of experience, and social impact studies
- Accessibility of human sensing technologies
- New interventions acting on human-centered computational sensing
- Experimental analysis with human sensing data from real-world
applications
- Human-centered sensing for healthcare, industry, social goods and all
possible application domains
- Experiences and lessons learned from research projects focused on
human-centered computational sensing
- Privacy and ethical considerations for human-centered computational
sensing, including gender equality.

*Organizers will consider the possibility of inviting authors of selected
papers accepted to HCCS'25 to submit an extended work to a Special Issue of
an international journal.*

*Submission and Registration*:
Authors are invited to submit technical or theoretical papers for
presentation at the workshop, describing original, previously unpublished
work, which is not currently under review by another workshop, conference,
or journal. Papers may be no more than 6 pages in length. Authors can
purchase one additional page for the camera-ready version. Papers in excess
of the page limits will not be considered for review or publication. All
papers must be typeset in double-column IEEE format using 10pt fonts on US
letter paper, with all fonts embedded. The IEEE LaTeX and Microsoft Word
templates, as well as related information, can be found at the IEEE website.

Submission instructions will be available soon on the workshop and
conference websites.

It is a requirement that all the authors listed in the submitted paper are
also listed in the submission system. Each accepted workshop paper requires
a full PerCom registration (no registration is available for workshops
only). Papers that are not presented in presence at the workshop will not
be published in the proceedings.

*Important Dates*:

- Paper submission deadline: November 17th 2024
- Paper notification: January 8th, 2025
- Camera Ready Deadline: February 2nd, 2025

For more information, including the workshop's scope, submission
guidelines, and topics of interest, please visit the workshop website
<https://sites.google.com/view/hccs25/home> or find the attached Call for
Papers (CFP).

We look forward to your contributions and participation in HCCS'25. If you
have any questions, please do not hesitate to contact us.

Best regards,
Rajesh Titung
Rochester Institute of Technology
Email: rt7331@rit.edu

Content-Type: text/plain; charset="UTF-8"; name="Call for paper.txt"
Content-Disposition: attachment; filename="Call for paper.txt"
Content-Transfer-Encoding: base64
Content-ID: <f_m1p9t5hy0>
X-Attachment-Id: f_m1p9t5hy0

Q2FsbCBmb3IgUGFwZXJzDQoNCg0KRmlmdGggV29ya3Nob3Agb24gSHVtYW4tQ2VudGVyZWQgQ29t
cHV0YXRpb25hbCBTZW5zaW5nIChIQ0NT4oCZMjUpIA0KY28tbG9jYXRlZCB3aXRoIHRoZSBJRUVF
IFBlckNvbSAyMDI1LCBNYXJjaCAxNy0yMSwgMjAyNSAtIA0KV2FzaGluZ3RvbiBEQywgVVNBLg0K
aHR0cHM6Ly9zaXRlcy5nb29nbGUuY29tL3ZpZXcvaGNjczI1L2hvbWUNCg0KDQpUaGUgZmlmdGgg
ZWRpdGlvbiBvZiB0aGUgSHVtYW4tQ2VudGVyZWQgQ29tcHV0YXRpb25hbCBTZW5zaW5nIChIQ0NT
4oCZMjUpIHdvcmtzaG9wIGFpbXMgdG8gYWR2YW5jZSBhbmQgcHJvbW90ZSByZXNlYXJjaCBvbiBo
b3cgdW5vYnRydXNpdmUgb2JzZXJ2YXRpb25zIG9mIGh1bWFuIGNvZ25pdGl2ZSwgYmVoYXZpb3Jh
bCwgcGh5c2lvbG9naWNhbCwgYW5kIGNvbnRleHR1YWwgZGF0YSBhcmUgaW5jcmVhc2luZ2x5IGVu
YWJsaW5nIGlubm92YXRpdmUgY29tcHV0aW5nIGV4cGVyaWVuY2VzLiBUaGUgd29ya3Nob3Agd2ls
bCBhbHNvIGZvc3RlciBkaXNjdXNzaW9ucyBhYm91dCB0aGUgc29jaWV0YWwgaW1wbGljYXRpb25z
IG9mIGNvbXB1dGF0aW9uYWwgc2Vuc2luZy4gVHJhZGl0aW9uYWxseSwgc2Vuc29ycyBoYXZlIGJl
ZW4gdW5kZXJzdG9vZCBuYXJyb3dseSBhcyBkZXZpY2VzIHRoYXQgY2FwdHVyZSBwaHlzaW9sb2dp
Y2FsIG1lYXN1cmVtZW50cywgb2Z0ZW4gdGhyb3VnaCB3ZWFyYWJsZXMuIFRoaXMgd29ya3Nob3Ag
YWRvcHRzIGEgYnJvYWRlciwgaHVtYW4tY2VudHJpYyBwZXJzcGVjdGl2ZSwgZW52aXNpb25pbmcg
c2Vuc2luZyBhcyB0aW1lLWV2b2x2aW5nIG1lYXN1cmFibGUgZGF0YSBkaXJlY3RseSBsaW5rZWQg
dG8gaW5kaXZpZHVhbHMgYW5kIHRoZWlyIGNvbW11bml0aWVzLiBXaXRoIHRoaXMgYXBwcm9hY2gs
IHNlbnNpbmcgZW5jb21wYXNzZXMgaHVtYW4gcmVhY3Rpb25zIGFuZCBpbnRlcmFjdGlvbnMgb2Jz
ZXJ2ZWQgdGhyb3VnaCBzcG9rZW4sIHdyaXR0ZW4sIG9yIHNpZ25lZCBsYW5ndWFnZSwgZXllIGdh
emUsIGZhY2lhbCBhbmQgYm9kaWx5IGV4cHJlc3Npb25zLCBzb2NpYWwgbmV0d29ya3MsIGdlb3Nw
YXRpYWwgcGF0dGVybnMsIGFuZCBvdGhlciBmb3JtcyBvZiBodW1hbi1nZW5lcmF0ZWQgZGF0YS4g
QWR2YW5jZXMgaW4gbXVsdGltb2RhbCBodW1hbiBkYXRhIGFjcXVpc2l0aW9uIGFuZCBmdXNpb24g
aGF2ZSB0aGUgcG90ZW50aWFsIHRvIHNpZ25pZmljYW50bHkgaW1wYWN0IGFsbCBhcmVhcyBvZiBo
dW1hbiBsaWZlLCBpbmNsdWRpbmcgcHJvZHVjdGl2aXR5LCBoZWFsdGggYW5kIHdlbGwtYmVpbmcs
IHRyYWluaW5nIGFuZCBlZHVjYXRpb24sIGh1bWFuLWNvbXB1dGVyIGludGVyYWN0aW9uLCBhY2Nl
c3NpYmlsaXR5LCBzYWZldHkgYW5kIHNlY3VyaXR5LCBhcyB3ZWxsIGFzIGdhbWluZywgc3BvcnRz
LCBhbmQgZW50ZXJ0YWlubWVudC4NCg0KDQpSZWxldmFudCB0b3BpY3MgaW5jbHVkZSBidXQgYXJl
IG5vdCBsaW1pdGVkIHRvOg0KKiBDb250ZXh0LUF3YXJlIFNlbnNpbmcgZm9yIEFkYXB0aXZlIExl
YXJuaW5nIEVudmlyb25tZW50cw0KKiBFbW90aW9uIFJlY29nbml0aW9uIHRocm91Z2ggUGh5c2lv
bG9naWNhbCBhbmQgQmVoYXZpb3JhbCBTaWduYWxzDQoqIFBlcnNvbmFsaXplZCBXZWxsLWJlaW5n
IEFwcGxpY2F0aW9ucyB1c2luZyBDb250aW51b3VzIFNlbnNpbmcNCiogU21hcnQgV29ya3BsYWNl
cyB0aHJvdWdoIEJlaGF2aW9yYWwgU2Vuc2luZw0KKiBIdW1hbiBBY3Rpdml0eSBSZWNvZ25pdGlv
biBpbiBVbnN0cnVjdHVyZWQgRW52aXJvbm1lbnRzDQoqIEVtb3Rpb24tQWRhcHRpdmUgSW50ZXJm
YWNlcyBmb3IgSHVtYW4tQ29tcHV0ZXIgSW50ZXJhY3Rpb24NCiogR2Vvc3BhdGlhbCBCZWhhdmlv
ciBBbmFseXNpcyBmb3IgVXJiYW4gUGxhbm5pbmcNCiogRnVzaW9uIG9mIG11bHRpZmFjZXRlZCwg
aGV0ZXJvZ2VuZW91cywgYW5kL29yIGluY29tbWVuc3VyYWJsZSBodW1hbiBzZW5zaW5nIGRhdGEg
DQoqIExvY2FsaXphdGlvbiBhbmQgcHJveGltaXR5LWRldGVjdGlvbiBzeXN0ZW1zIA0KKiBBSS1l
bXBvd2VyZWQgbW9iaWxlIHNlbnNpbmcgc3lzdGVtcw0KKiBHZW5lcmF0aXZlIEFJIGZvciBzeW50
aGV0aWMgc2Vuc29yIGRhdGEgZ2VuZXJhdGlvbiBhbmQgZXZhbHVhdGlvbg0KKiBVc2VyIGFjY2Vw
dGFuY2UsIHF1YWxpdHkgb2YgZXhwZXJpZW5jZSwgYW5kIHNvY2lhbCBpbXBhY3Qgc3R1ZGllcw0K
KiBBY2Nlc3NpYmlsaXR5IG9mIGh1bWFuIHNlbnNpbmcgdGVjaG5vbG9naWVzDQoqIE5ldyBpbnRl
cnZlbnRpb25zIGFjdGluZyBvbiBodW1hbi1jZW50ZXJlZCBjb21wdXRhdGlvbmFsIHNlbnNpbmcN
CiogRXhwZXJpbWVudGFsIGFuYWx5c2lzIHdpdGggaHVtYW4gc2Vuc2luZyBkYXRhIGZyb20gcmVh
bC13b3JsZCBhcHBsaWNhdGlvbnMNCiogSHVtYW4tY2VudGVyZWQgc2Vuc2luZyBmb3IgaGVhbHRo
Y2FyZSwgaW5kdXN0cnksIHNvY2lhbCBnb29kcyBhbmQgYWxsIHBvc3NpYmxlIGFwcGxpY2F0aW9u
IGRvbWFpbnMNCiogRXhwZXJpZW5jZXMgYW5kIGxlc3NvbnMgbGVhcm5lZCBmcm9tIHJlc2VhcmNo
IHByb2plY3RzIGZvY3VzZWQgb24gaHVtYW4tY2VudGVyZWQgY29tcHV0YXRpb25hbCBzZW5zaW5n
DQoqIFByaXZhY3kgYW5kIGV0aGljYWwgY29uc2lkZXJhdGlvbnMgZm9yIGh1bWFuLWNlbnRlcmVk
IGNvbXB1dGF0aW9uYWwgc2Vuc2luZywgaW5jbHVkaW5nIGdlbmRlciBlcXVhbGl0eS4NCg0KDQpP
cmdhbml6ZXJzIHdpbGwgY29uc2lkZXIgdGhlIHBvc3NpYmlsaXR5IG9mIGludml0aW5nIGF1dGhv
cnMgb2Ygc2VsZWN0ZWQgcGFwZXJzIGFjY2VwdGVkIHRvIEhDQ1PigJkyNSB0byBzdWJtaXQgYW4g
ZXh0ZW5kZWQgd29yayB0byBhIFNwZWNpYWwgSXNzdWUgb2YgYW4gaW50ZXJuYXRpb25hbCBqb3Vy
bmFsLiAKDQpTdWJtaXNzaW9uIGFuZCBSZWdpc3RyYXRpb246DQpBdXRob3JzIGFyZSBpbnZpdGVk
IHRvIHN1Ym1pdCB0ZWNobmljYWwgb3IgdGhlb3JldGljYWwgcGFwZXJzIGZvciBwcmVzZW50YXRp
b24gYXQgdGhlIHdvcmtzaG9wLCBkZXNjcmliaW5nIG9yaWdpbmFsLCBwcmV2aW91c2x5IHVucHVi
bGlzaGVkIHdvcmssIHdoaWNoIGlzIG5vdCBjdXJyZW50bHkgdW5kZXIgcmV2aWV3IGJ5IGFub3Ro
ZXIgd29ya3Nob3AsIGNvbmZlcmVuY2UsIG9yIGpvdXJuYWwuIFBhcGVycyBzaG91bGQgcHJlc2Vu
dCBub3ZlbCBwZXJzcGVjdGl2ZXMgd2l0aGluIHRoZSBnZW5lcmFsIHNjb3BlIG9mIHRoZSB3b3Jr
c2hvcC4NCkFjY2VwdGVkIHdvcmtzaG9wIHBhcGVycyB3aWxsIGJlIGluY2x1ZGVkIGFuZCBpbmRl
eGVkIGluIHRoZSBJRUVFIGRpZ2l0YWwgbGlicmFyaWVzIChYcGxvcmUpLg0KUGFwZXJzIG1heSBi
ZSBubyBtb3JlIHRoYW4gNiBwYWdlcyBpbiBsZW5ndGguIEF1dGhvcnMgY2FuIHB1cmNoYXNlIG9u
ZSBhZGRpdGlvbmFsIHBhZ2UgZm9yIHRoZSBjYW1lcmEtcmVhZHkgdmVyc2lvbi4gUGFwZXJzIGlu
IGV4Y2VzcyBvZiB0aGUgcGFnZSBsaW1pdHMgd2lsbCBub3QgYmUgY29uc2lkZXJlZCBmb3IgcmV2
aWV3IG9yIHB1YmxpY2F0aW9uLiBBbGwgcGFwZXJzIG11c3QgYmUgdHlwZXNldCBpbiBkb3VibGUt
Y29sdW1uIElFRUUgZm9ybWF0IHVzaW5nIDEwcHQgZm9udHMgb24gVVMgbGV0dGVyIHBhcGVyLCB3
aXRoIGFsbCBmb250cyBlbWJlZGRlZC4gVGhlIElFRUUgTGFUZVggYW5kIE1pY3Jvc29mdCBXb3Jk
IHRlbXBsYXRlcywgYXMgd2VsbCBhcyByZWxhdGVkIGluZm9ybWF0aW9uLCBjYW4gYmUgZm91bmQg
YXQgdGhlIElFRUUgd2Vic2l0ZS4KDQpTdWJtaXNzaW9uIGluc3RydWN0aW9ucyB3aWxsIGJlIGF2
YWlsYWJsZSBzb29uIG9uIHRoZSB3b3Jrc2hvcCBhbmQgY29uZmVyZW5jZSB3ZWJzaXRlcy4KDQpJ
dCBpcyBhIHJlcXVpcmVtZW50IHRoYXQgYWxsIHRoZSBhdXRob3JzIGxpc3RlZCBpbiB0aGUgc3Vi
bWl0dGVkIHBhcGVyIGFyZSBhbHNvIGxpc3RlZCBpbiB0aGUgc3VibWlzc2lvbiBzeXN0ZW0uIEVh
Y2ggYWNjZXB0ZWQgd29ya3Nob3AgcGFwZXIgcmVxdWlyZXMgYSBmdWxsIFBlckNvbSByZWdpc3Ry
YXRpb24gKG5vIHJlZ2lzdHJhdGlvbiBpcyBhdmFpbGFibGUgZm9yIHdvcmtzaG9wcyBvbmx5KS4g
UGFwZXJzIHRoYXQgYXJlIG5vdCBwcmVzZW50ZWQgaW4gcHJlc2VuY2UgYXQgdGhlIHdvcmtzaG9w
IHdpbGwgbm90IGJlIHB1Ymxpc2hlZCBpbiB0aGUgcHJvY2VlZGluZ3MuCg0KSW1wb3J0YW50IERh
dGVzOg0KKiBQYXBlciBzdWJtaXNzaW9uIGRlYWRsaW5lOiBOb3ZlbWJlciAxN3RoIDIwMjQNCiog
UGFwZXIgbm90aWZpY2F0aW9uOiBKYW51YXJ5IDh0aCwgMjAyNQ0KKiBDYW1lcmEgUmVhZHkgRGVh
ZGxpbmU6IEZlYnJ1YXJ5IDJuZCwgMjAyNQoNCk9yZ2FuaXplcnM6Cg0KV29ya3Nob3AgY28tY2hh
aXJzDQoqIEZyYW5jYSBEZWxtYXN0cm8gKElJVC1DTlIpDQoqIE1pY2hlbGUgR2lyb2xhbWkgKElT
VEktQ05SKQ0KKiBNYXJjbyBMZXZvcmF0byAoRG9uYWxkIEJyZW4gU2Nob29sIG9mIEluZm9ybWF0
aW9uIGFuZCBDb21wdXRlciBTY2llbmNlcykNCg0KDQpQdWJsaWNpdHkgY28tY2hhaXJzDQoqIEZs
YXZpbyBEaSBNYXJ0aW5vIChJSVQtQ05SKQ0KKiBSYWplc2ggVGl0dW5nIChSb2NoZXN0ZXIgSW5z
dGl0dXRlIG9mIFRlY2hub2xvZ3kpDQoqIFZpZXQgRHVuZyBOZ3V5ZW4gKFJvY2hlc3RlciBJbnN0
aXR1dGUgb2YgVGVjaG5vbG9neSkNCg0KDQpTdGVlcmluZyBDb21taXR0ZWUNCiogQ2VjaWxpYSBP
LiBBbG0gKFJvY2hlc3RlciBJbnN0aXR1dGUgb2YgVGVjaG5vbG9neSkNCiogUmV5bm9sZCBCYWls
ZXkgKFJvY2hlc3RlciBJbnN0aXR1dGUgb2YgVGVjaG5vbG9neSkKCkZvciBhbnkgZnVydGhlciBp
bmZvcm1hdGlvbiBwbGVhc2UgY29udGFjdDogaGNjczIwMjVAaWl0LmNuci5pdAoK
**********************************************************
*
* 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/
*
**********************************************************

Friday, September 27, 2024

[DMANET] Announcement: Innovations in Graph Theory (first papers published)

Dear colleagues,

Just over a year ago, we announced the launch of Innovations in Graph
Theory (IGT), a mathematical journal publishing high-quality research in
graph theory and its interactions with other areas. IGT is diamond open
access, meaning there are no charges for authors and no charges for readers.

The first batch of papers is now published!

https://igt.centre-mersenne.org/volume/IGT_2024__1_/

IGT website: https://igt.centre-mersenne.org/
IGT submission page: https://igt.centre-mersenne.org/page/submit_en/

IGT maintains a transparent single-blind refereeing protocol, which is
coordinated by the managing editors to ensure consistent and high
standards. Submissions are expected to contain novel and significant
contributions of genuine interest to the graph theory community, as
assessed by the editorial board:

Marthe Bonamy (CNRS, Université de Bordeaux, France)
Johannes Carmesin (TU Freiberg, Germany)
Maria Chudnovsky (Princeton University, USA)
Louis Esperet (CNRS, Université Grenoble Alpes, France)
Fedor Fomin (University of Bergen, Norway)
Frédéric Havet (CNRS, Université Côte d'Azur, France)
Ross Kang (University of Amsterdam, The Netherlands), managing editor
Gwenaël Joret (Université Libre de Bruxelles, Belgium)
Tomáš Kaiser (University of West Bohemia, Czech Republic)
Peter Keevash (University of Oxford, UK)
Daniel Král' (Masaryk University, Czech Republic)
Kenta Ozeki (Yokohama National University, Japan)
Alex Scott (University of Oxford, UK)
Jean-Sébastien Sereni (CNRS, Université de Strasbourg, France), managing
editor
Sophie Spirkl (University of Waterloo, Canada), managing editor
Maya Stein (Universidad de Chile, Chile), managing editor

The establishment of IGT has been supported by NWO, grant reference
OCENW.M20.009. IGT is controlled by the non-profit society, "Stichting
Innovations in Graph Theory". IGT operates within the diamond open access
platform, Centre Mersenne, a cooperation of CNRS and Université Grenoble
Alpes.

Poster: https://staff.fnwi.uva.nl/j.r.kang/posterIGT.pdf

For general inquiries about IGT, please contact one of the managing editors.

Kind regards,

Ross Kang (on behalf of the editorial board)

[DMANET] LICS 2025 Call for Papers and Call for Workshops

CALL FOR PAPERS and CALL FOR WORKSHOP PROPOSALS.

Here is both a call for papers (deadline 16/23 Jan) and a call for workshop proposals (30 Nov) for LICS 2025 (June 2025).

Fortieth Annual ACM/IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS)
Singapore, June 2025
https://lics.siglog.org/lics25
https://lics.siglog.org/lics25/cfp.php
https://lics.siglog.org/lics25/cfw.php
Conference: 23-26 June 2025.
Workshops: 27 and 28 June 2025.

SCOPE

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, foundations of probabilistic, real-time and hybrid systems, games and logic, higher-order logic, knowledge representation and reasoning, lambda and combinatory calculi, linear logic, logic programming, logical aspects of AI, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, process calculi, programming language semantics, proof theory, reasoning about security and privacy, rewriting, type systems, type theory, and verification.

LICS CALL FOR PAPERS

IMPORTANT DATES FOR PAPERS

Authors are required to submit a paper title and a short abstract of about 100 words in advance of submitting the full paper. The exact deadline time on these dates is anywhere on earth (AoE).

Titles and Short Abstracts Due: 16 January 2025 AoE
Full Papers Due: 23 January 2025 AoE
Author Feedback/Rebuttal Period: 17-20 March 2025
Author Notification: 8 April 2025
Conference: 23-26 June 2025.
Workshops: 27 and 28 June 2025.

Submission deadlines are firm; late submissions will not be considered. All submissions will be electronic via easychair.

PAPER SUBMISSION INSTRUCTIONS

Submissions should use IEEE Proceedings 2-column 10pt format and may be at most 12 pages, excluding references. Formatting instructions, latex style files and further submission information is at https://lics.siglog.org/lics25/cfp.php.

LICS 2025 will use a lightweight double-blind reviewing process. Please see the website for further details and requirements from the double-blind process.

The official publication date may differ from the first day of the conference. The official publication date may affect the deadline for any patent filings related to published work. We will clarify the official publication date in due course.

Programme chairs: Lars Birkedal and Barbara König.

LICS CALL FOR WORKSHOPS

IMPORTANT DATES FOR WORKSHOPS:

Submission of workshop proposals: November 30, 2024
Notification of the accepted workshops: December, 2024
Program of the workshops ready: May 26, 2025
LICS conference: June 23-26, 2025
Workshops: June 27-28, 2025

We invite proposals for workshops on topics of interest to the LICS conference. Typically, LICS workshops feature a number of invited speakers and a number of contributed presentations. LICS workshops do not usually produce formal proceedings. However, in the past there have been special issues of journals based in part on certain LICS workshops. The conference will provide a room, internet connection and help with some local organization. The workshops selection committee consists of the LICS Workshops Chair (Valentin Blot), the LICS General Chair, the LICS PC Chairs and the LICS Conference Chairs.

Proposals must be limited to three pages, should be submitted to lics25-workshops at valentinblot.org and should include:

- Workshop's name and URL if already available or from previous years
- A short scientific summary and justification of the proposed topic; this should include a discussion of the particular benefits of the topic to the LICS community
- A list of workshop organizers with contact information
- Potential invited speakers (how many you would expect and, if possible, tentative names)
- Procedures for selecting presentations (if you plan a call for contributed talks or papers followed by a selection procedure, the submission date should be scheduled after the conference's notification date - Apr 8, 2025 - and the notification should take place before the early registration deadline - late April / early May)
- Plans for dissemination, if any (e.g. proceeding, journal special issue, etc.)
- Proposed format and agenda (e.g. paper presentations, tutorials, demo sessions)
- The proposed duration (e.g. 1/2, 1, 2 day(s))
- Expected number of participants, providing some data on previous years, if the workshop has already been organised in the past.

[DMANET] Call for participation: The Concordia Contest on the cooperative intelligence of language model agents

In collaboration with colleagues from Cooperative AI, Google DeepMind, MIT,
UC Berkeley, and UCL, we are excited to announce that the NeurIPS 2024
Concordia
Contest <https://www.cooperativeai.com/contests/concordia-2024> is now open!

Deadline: October 31st.
Prizes: $10,000 and more.

For further details please see:
https://www.cooperativeai.com/contests/concordia-2024

---------
Key Dates
---------

September 18: Development phase begins

October 5: Compute credits application deadline

October 31: Development phase ends

November 1: Evaluation and review phase begins

November 20: Finalists notified

December 3: Deadline for submission of entry details

December 9-15: NeurIPS conference and winners announced

Thursday, September 26, 2024

[DMANET] Platform for Advanced Scientific Computing (PASC) 25 Call for Proposals

Dear Colleagues,

we are happy to announce that the call for proposals for Platform for Advanced Scientific Computing (PASC) 25 is live.

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

CALL FOR PAPERS

Platform for Advanced Scientific Computing

PASC25

FHNW Campus Brugg-Windisch
Windisch, Switzerland

16-18 Jun 2025

https://pasc25.pasc-conference.org<https://pasc25.pasc-conference.org/>

Deadline: 06 Dec 2024 (no extensions)

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

The Platform for Advanced Scientific Computing (PASC) invites research paper submissions for PASC25, co-sponsored by the Association for Computing Machinery (ACM) and the Swiss National Supercomputing Centre (CSCS). PASC25 will be held from June 16 to 18, 2025, at FHNW Campus Brugg-Windisch, Switzerland. The guidelines for submissions are published at https://pasc25.pasc-conference.org/submission/guidelines-for-papers/.

The PASC Conference series is an international and interdisciplinary platform for the exchange of knowledge in scientific computing and computational science with a strong focus on methods, tools, algorithms, workflows, application challenges, and novel techniques in the context of scientific usage of high performance computing.

The technical program of PASC25 is organized around the following scientific domains:

* Chemistry and Materials (incl. ceramics, metals, and polymers)
* Climate, Weather, and Earth Sciences (incl. solid earth dynamics)
* Applied Social Sciences and Humanities (incl. behavioral, economic, legal, political and business sciences, philosophy, languages, the arts, ethics in computing including climate impact of HPC, biases in machine learning, etc.)
* Engineering (incl. CFD, computational mechanics, computational engineering and materials, turbulent flow)
* Life Sciences (incl. biophysics, genomics, bioinformatics, systems biology, neuroscience, and computational biology)
* Physics (incl. astrophysics, cosmology, plasma modelling, and quantum information sciences)
* Computational Methods and Applied Mathematics

PASC25 solicits high-quality contributions of original research related to scientific computing in all of these domains. Proposals that emphasize the theme of PASC25 - "Supercomputing for Sustainable Development" - are particularly welcome.

Topics of interest include, but are not limited to:

* Extreme scalable methods in computational science and engineering, such as algorithms and software for scalable multi-scale, multi-physics, and high-fidelity computational science and engineering problems.
* Numerical methods, algorithms, or large-scale simulations in computational fluid dynamics, computational mechanics, computational engineering materials, turbulent flow, and computational cosmology.
* Effective use of advanced computing systems for large-scale scientific applications, including modern multi- and many-core CPUs and accelerators with deep memory hierarchies, and energy-efficient architectures.
* Best practices and tools for productive and sustainable scientific and engineering software development.
* The integration of large-scale experimental and observational scientific data and high-performance data analytics and computing.
* Reproducibility for computational science and engineering.
* Verification, validation, and uncertainty quantification.
* Domain specific languages; toolchains for source-to-source translation/adaption.
* Runtime systems and middleware, such as task- and data-driven computation on heterogeneous architectures.
* Algorithms and strategies for effective use of machine learning, deep learning or AI to accelerate computational science.
* Machine learning / AI in the context of large parallel HPC applications, data sets or workflows.
* Unstructured vs. structured meshes for computational science applications at exascale
* Numerical algorithm development for post-exascale computing, including, but not limited to, communication avoiding algorithms, use of reduced or mixed precision, and integration of scalable numerical libraries in application software.
* Computational approaches for social sciences such as finance, urban planning, mobility or disaster response.

Papers accepted for PASC25 will be presented as talks, and published in the Proceedings of the PASC Conference, accessible via the ACM Digital Library. A selection of the highest quality papers may be given the opportunity of a plenary presentation. In selecting papers for plenary presentation, the Papers Committee will place particular weight on impact, interdisciplinarity and interest to a broad audience.

The goal of the PASC Conference Papers Program is to advance the quality of scientific communication between the various disciplines of computational science and engineering in the context of HPC. The program was built from an observation that the computer science community traditionally publishes in the proceedings of major international conferences, while domain science communities publish primarily in disciplinary journals - and neither of which is read regularly by the other. The PASC Conference provides a unique venue that enables interdisciplinary exchange in a manner that bridges the two scientific publishing cultures.

The Proceedings of the PASC Conference (PASC25) are published in the Association for Computing Machinery's (ACM's) Digital Library. In recognition of the high quality of the PASC Conference papers track, the ACM continues to provide the proceedings as an Open Table of Contents (OpenTOC). This means that the definitive versions of PASC Conference papers are available to everyone at no charge to the author and without any pay-wall constraints for readers.

SUBMISSION AND REVIEW

The PASC25 Papers Program Committee is responsible for the paper evaluation process. The committee is chaired by Sally Ellingson (University of Kentucky, US), and (Xiaoye) Sherry Li (Lawrence Berkeley National Laboratory, US), and comprises of domain co-chairs and committee members who are specialists in their scientific fields. Papers will be evaluated by reviewers in the PASC25 papers committee on their significance, technical soundness, originality, and quality of communication.

We employ a rigorous academic peer-review process: most notably, we allow the possibility for provisional acceptance (revision and author rebuttal). Committee reviewers are solicited for each submission, with additional external reviewers where needed. The paper selection process thus combines the strengths of conference and journal publication schemes to provide an effective, high-impact publication venue in large-scale computational science.

Contributions must be submitted through the PASC Conference online submission portal (https://submissions.pasc-conference.org<https://submissions.pasc-conference.org/>). Submissions should include the following:

* Title: Maximum 20 words.
* Scientific Domain: Select a primary and optionally secondary scientific domain(s).
* Author details: Full names and contact details of author(s).
* Short Abstract: Maximum 250 words.
* Paper:
- First Stage: Maximum 10 pages including figures, tables, and appendices; but excl. references.
- Second Stage: In the revision phase, an extra page will be granted for the final paper to accommodate review requests.

Papers must be submitted in the current ACM Article Template (sigconf proceedings) format [1].

The PASC Conference highly encourages authors to follow reproducible science principles(https://opensciencemooc.eu/modules/reproducible-research-and-data-analysis/) for their submissions, to counter the reproducibility crisis in scientific publishing and increase the community value of computational research papers. Paper authors are highly encouraged to link data & software artifacts as a reference (supplementary materials archive), e.g., using open and freely available services such as, but not limited to, Zenodo.org<https://zenodo.org/> (https://zenodo.org/), Figshare.com<https://figshare.com/> (https://figshare.com/), DRYAD (https://datadryad.org/), institutional data archival platforms, or publicly accessible GitHub/GitLab instances. As guidance, data artifacts may include, as appropriate, the used/modified source code, run & analysis scripts, input files, and/or data (raw/processed as size allows); an artifact description ("README") including used standards/schema where used, a respective data archive license, and persistent link (ie., DOI).

Paper authors should plan to present their content in-person.

SUBMISSION DEADLINES

The deadline for submissions for Papers is December 06, 2024 at 11:59 pm anywhere on earth ('AoE' or 'UTC-12').

* 06 Dec 2024: Deadline for paper submissions (no extensions!)
* 04 Feb 2025: Review notifications
* 16 March 2025: Deadline for paper revisions
* 15 Apr 2025: Acceptance notifications

CONFERENCE PARTICIPATION TERMS

Authors of papers that are accepted for PASC25 will be given 20-30 minute presentation slots at the conference, grouped in topically-focused parallel sessions. A selection of the highest quality papers may be given the opportunity of a plenary presentation. Papers that are presented at PASC25 will be published in the Proceedings of the PASC Conference, accessible via the ACM Digital Library. Please note that speakers must register for the conference and are subject to the corresponding registration fee.

PAPERS PROGRAM COMMITTEE CHAIRS

General Chairs
* Sally Ellingson (University of Kentucky, US)
* Xiaoye Sherry Li (Lawrence Berkeley National Laboratory, US)

Domain Chairs
* Mark Adams (Lawrence Berkeley National Laboratory, US)
* Hannah Cohoon (Lawrence Berkeley National Laboratory, US)
* Sally Ellingson (University of Kentucky, US)
* Marta Garcia Gasulla (Barcelona Supercomputing Center, Spain)
* Katharina Kormann (Ruhr University Bochum, Germany)
* Thomas D. Kühne (Universität Paderborn and CASUS, Germany)
* Thorsten Kurth (NVIDIA, Switzerland)
* Andreas Lintermann (Forschungszentrum Jülich, Germany)
* Duc Nguyen (The University of Tennessee, Knoxville, US)
* Kara Peterson (Sandia National Laboratories, US)
* Simone Pezzuto (University of Trento, Italy)
* Birgit Strodel (Forschungszentrum Jülich, Germany)
* Rio Yokota (Tokyo Institute of Technology, Japan)

If you have any questions regarding the submission or reviewing process please email info@pasc-conference.org<https://mailto:info@pasc-conference.org/>.

Notes:

[1]: www.acm.org/publications/article-templates/proceedings-template.html<https://www.acm.org/publications/article-templates/proceedings-template.html>; see section "LaTex Authors" for the link to download the template

Dr. Thorsten Kurth,
Co-Chair for the Climate, Weather and Earth Sciences Domain @ PASC25
NVIDIA, Switzerland

Follow PASC25 on X @PASC_Conference https://twitter.com/PASC_Conference
Follow PASC25 on LinkedIn https://www.linkedin.com/company/26995788/
Follow PASC25 on Instagram @PASC_Conference https://www.instagram.com/pasc_conference/
**********************************************************
*
* 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] Dutch Day on Optimization, November 7

Dear colleagues,

On Thursday November 7, 2024, the third edition of the Dutch Day of Optimization will take place at the University of Twente. This is a one-day event, organized by Ruben Hoeksma, Bodo Manthey, Alexander Skopalik, Marc Uetz and Matthias Walter. The plenary speakers are:

* Willem-Jan van Hoeve (Carnegie Mellon University)
* Ulrike Schmidt-Kraeplin (TU Eindhoven)
* Laura Vargas Koch (University of Bonn)
* Wouter Koolen (CWI Amsterdam & University of Twente)

In addition to these plenary talks there are slots for 5min lightning talks. These are open to everyone, and can be announced when registering.

Lunch/refreshments/drinks will be provided. The website for the event, including abstracts, registration information and so on, can be found here:

https://www.utwente.nl/en/eemcs/dmmp/events/DDO/

The deadline for registration is October 25, but registering asap is very much appreciated as it helps us optimizing the catering for the day.

We hope to see many of you on the 7th of November!

Alex, Bodo, Marc, Matthias, Ruben

[DMANET] Call for nominations: 2024 Victor Lesser Distinguished Dissertation Award

Dear all,

IFAAMAS <http://www.ifaamas.org/>, the International Foundation for
Autonomous Agents and Multiagent Systems, is pleased to announce the call
for the 2024 Victor Lesser Distinguished Dissertation Award
<https://www.ifaamas.org/award-victorlesser.html>. It is awarded for
dissertations written as part of a PhD, defended in the specified period,
and nominated by the supervisor (with supporting references), which show
originality, significance, and impact, and are supported by high quality
publications.

Nominations are invited for the award, which will be presented at AAMAS-2025
<https://aamas2025.org/>. The award includes a certificate and a 1500 EUR
payment.

Eligibility: Eligible doctoral dissertations are those defended between
October 1, 2023 and September 30, 2024 (both endpoints included) in the
area of Autonomous Agents or Multiagent Systems.

Submission link: https://forms.gle/wc2YJBpSvSG2iLN87

Submission deadline: October 31, 2024 (anywhere on earth)

A nomination from the dissertation supervisor requires a link to the
dissertation PDF, a PDF with a list of publications, the supervisor's
recommendation, and a PDF with information of at least one and at most
three referees. This nomination (via the Google Form above) along with all
the reference letters must be received by the deadline listed above. For
detailed information (including word limits), please refer to the full call
for nominations on the AAMAS 2025 website
<https://aamas2025.org/index.php/conference/calls/call-for-nominations-2024-victor-lesser-distinguished-dissertation-award/>
.

For questions, please contact the chair of the selection committee: Nisarg
Shah, nisarg@cs.toronto.edu

Wednesday, September 25, 2024

[DMANET] [Submission deadline approaching - Oct 1] [iSCI-2024] The 12th IEEE International Conference on Smart City and Informatization

Dear Professors/Scholars/Researchers,

Please accept our apologies if you receive multiple copies of this iSCI
2024 Call for Papers (CFPs) with Deadline (October 1, 2024).

*The 12th IEEE International Conference on Smart*

*City and Informatization (iSCI-2024)*

*Sanya, Hainan, China, 17-21 December 2024*

*http://ieee-aiplus.org/2024/isci/*

*INTRODUCTION*

The smart city is a modern urban sustainable development concept and
practice based on digital, networked and intelligent information and
communication technology facilities, with social, environmental and
management as the core elements, and ubiquitous, green and beneficial to
the people as the main features. It is a strategic cognition of the
scientific development of modern cities and a specific method to respond
wisely, another innovative top-level design for the future scientific
development of cities, and an integration and sublimation of previous urban
development concepts.

Smart cities are both intrinsically linked to and have their own
characteristics in relation to city informatisation, digital cities,
knowledge cities and creative cities. In contrast to city informatisation,
the smart city does not only stay at the level of information technology,
but also integrates technology into urbanisation, focusing on citizen
participation, social management, natural resource utilisation and quality
of life improvement in the process of urbanisation, and developing the
information systems formed in informatisation into an omnipresent and
interactive sensory network.

The 12th IEEE International Conference on Smart City and Informatization
(iSCI-2024) aims to provide a unique platform for multi-disciplinary
researchers and teams, industry solution vendors, and government agencies
to exchange innovative ideas, challenges, research results and solutions,
as well as project experience reports and successful stories.

Prospective authors are invited to submit their papers to iSCI-2024. Accepted
papers will be submitted for possible inclusion into IEEE Xplore subject to
meeting IEEE Xplore's scope and quality requirements. The authors of
selected best papers will be invited post conference to extend their
contributions for special issues of prestigious journals to be planned in
conjunction with the conference.

*SCOPE AND TOPICS*

Topics of interest include, but are not limited to:

*Track 1: Internet of Things (IoT) and Smart Sensing*

Security Model and Architecture

Smart Sensing in IoT

Trustworthy Data Collection in IoT

Information Security in IoT

Ubiquitous Safety in IoT

*Track 2: Urban Computing and Big Data*

Data Collection and Data Mining for Smart City

Expression and Visualization of Urban Data

Urban Monitoring and Optimization

Intelligent Transport Systems

Urban Traffic Flow Prediction

*Track 3: Sustainable Industry 4.0*

Enterprise Manufacturing and Management Informatization

Green Industry and Sustainable Manufacturing

Resource Allocation Efficiency Promotion Technologies

Integration of Information and Industrialization

Energy Informatics

*Track 4: Smart Society Informatization Technologies*

E-Government for Smart City

E-Health for Smart City

E-Education for Smart City

E-Social Services for Smart City

Social Mobility Analysis and Social Life Informatization

*Track 5: Cloud/Edge/Fog Computing for Smart City*

Cloud Computing for Smart City

Collaborative Cloud and Fog Computing for Smart City

Future Computing with Multiple Clouds

Security and Privacy across Clouds

*Track 6: Applications for Smart City Informatization*

Structural Health Monitoring in Smart City

Smart Grids and Energy

Smart Water and Food Systems

Applications for Smart Community and Smart Pension

Applications for Smart Environment and Smart Economy

*IMPORTANT DATES*

*Submission Deadline: 1 **October **2024*

Authors Notification: 15 October 2024

Final Manuscript Due: 10 November 2024

Registration Due: 10 November 2024

*PAPER SUBMISSION GUIDELINE*

All papers need to be submitted electronically through the conference
submission website (https://edas.info/N32632) with PDF format. The
materials presented in the papers should not be published or under
submission elsewhere. Each paper is limited to 8 pages (or 12 pages with
over length charge) including figures and references using IEEE Computer
Society Proceedings Manuscripts style (two columns, single-spaced, 10
fonts). Manuscript Templates for Conference Proceedings can be found at:

https://www.ieee.org/conferences_events/conferences/publishing/templates.html

Once accepted, at least one of the authors of any accepted paper is
requested to register the paper at the conference. One of the authors of
the accept paper should present the paper in the conference. Otherwise, the
paper will be withdrawn from the conference proceedings.

Publicity Chair

Rui Zhang, Hangzhou Institute of Technology, Xidian University, China

Best regards!

[DMANET] PhD positions at the University of Warwick, UK

We are seeking PhD candidates in the topic of Multiagent Systems and related areas, with particular emphasis on one or more of: computational social choice, algorithmic game theory, multiagent learning, and social and economic networks. The multiagent systems researchers at University of Warwick include Markus Brill<https://www.markus-brill.de/>, Debmalya Mandal<https://debmandal.github.io/>, Ramanujan Sridharan<https://msramanujan.weebly.com/>, Long Tran-Thanh<https://warwick.ac.uk/fac/sci/dcs/people/long_tran-thanh/>, and Paolo Turrini<https://www.dcs.warwick.ac.uk/~pturrini/>.

The University of Warwick<https://warwick.ac.uk/> has one of the leading Computer Science departments<https://warwick.ac.uk/fac/sci/dcs/> in the UK (ranked 4th UK computer science department in the 2021 research excellence framework<https://warwick.ac.uk/fac/sci/dcs/research/ref/>). The department, particularly well-known for its research in theoretical computer science, consistently produces top quality research and has strong links with research in complex systems and mathematics for real-world applications<https://warwick.ac.uk/research/mathematics-applications/>. The successful applicant(s) will have the opportunity to work in a vibrant multiagent systems group with a strong record of publications at top-tier venues.

The expected starting date is October 2025 or as soon as possible thereafter.

Informal enquiries to any of the involved researchers are strongly encouraged:

* Markus Brill<https://www.markus-brill.de/>
* Debmalya Mandal<https://debmandal.github.io/>
* Ramanujan Sridharan<https://msramanujan.weebly.com/>
* Long Tran-Thanh<https://warwick.ac.uk/fac/sci/dcs/people/long_tran-thanh/>
* Paolo Turrini<https://www.dcs.warwick.ac.uk/~pturrini/>

The deadline for our internal application round is 1 November 2024. To apply, please fill out the application form<https://forms.gle/9Yin5TmCSD61KCQc8> (which will ask you to upload a CV and a letter of motivation).

We aim to have interviews between November 11th and 22nd, 2024. Top-ranked candidates will be put forward for a fully funded position through the Computer Science Centre for Doctoral Training and Research (CDT) by January 15th 2025.

For more information on the official application process, including stipends and fees, see https://warwick.ac.uk/study/postgraduate/courses/compsciencephd/

[DMANET] Professorship in Quantum Computing at Bochum

The Faculty of Computer Science at Ruhr University Bochum has an opening
for a Professorship in Quantum Computing (open rank). The deadline is
November 10, 2024. For more information, please see here:

https://jobs.ruhr-uni-bochum.de/jobposting/c940730c4daab992995dd4c9f66bb248622449010

--
Prof. Dr. Michael Walter, Faculty of Computer Science, Ruhr University
Bochum
+49 (0)234 32-28555, michael.walter@rub.de, qi.rub.de

[DMANET] Final Call for Papers: 13th GameNets 2025

*** FINAL CALL FOR PAPERS ***

Dear colleagues,

the 13th EAI International Conference on Game Theory for Networks (GameNets)
will be held at Magdalene College, Cambridge, United Kingdom, March 17-18, 2025.

Foundational work is solicited on topics including but not limited to:

– Game theory for networks, including wireless and vehicular networks
– Congestion analysis and network design
– Traffic networks and equilibria
– Mechanism Design for Networks
– Game theory for social and biological networks
– Network pricing and resource allocation
– Game theory as applied to e-commerce and economic networks
– Game theory for emerging technologies
– Multi-Agent Reinforcement Learning
– Fairness in Resource Allocation
– Cooperative and Coalition games
– Collusion detection approaches
– Game theory for network security/resilience
– Approaches for Multi-agent games (e.g., Diplomacy)

SUBMISSION SERVER AND DEADLINE

Paper submissions will be handled through EasyChair. Please use the following link to submit your paper:

https://easychair.org/conferences/?conf=gamenets2025

Full Paper Submission deadline: 15th October, 2024.
Notification deadline: 15th December, 2024
Camera-ready deadline: 15th January, 2025.

Authors of selected papers will be invited to submit an extended version to:
1. ACM Transactions on Economics and Computation: https://dl.acm.org/journal/teac
2. ACM Journal on Autonomous Transportation Systems: https://dl.acm.org/journal/jats

Further details on the call for papers, including the program committee members and invited speakers can be found on the website at https://gamenets.eai-conferences.org/2025/submission/.

If you have any questions, please feel free to contact us: gamenets2025@easychair.org <mailto:gamenets2025@easychair.org>

Best regards,
Vaneet Aggarwal, Tobias Harks and Sanjiv Kapoor
GAMENETS 2025 PC Co-Chairs and General Chair
**********************************************************
*
* 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] IFIP SEC 2025 CFP

Greetings,

We would like to let you know about the call for papers for our upcoming IFIP SEC 2025 conference. Information bellow.

Call for Papers

40th IFIP TC-11 SEC 2025 International Information Security and Privacy Conference
May 21 – 23, 2025
Hotel City, Maribor, Slovenia

The IFIP SEC conference is the flagship event of the International Federation for Information Processing (IFIP) Technical Committee 11 on Security and Privacy Protection in Information Processing Systems (TC-11, www.ifiptc11.org). We seek submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of security and privacy protection in ICT Systems. Practitioners and industry representatives are encouraged to submit papers.

Topics
We welcome contributions within, but not limited to, the following areas:
Access control and authentication
Applied cryptography
Audit and risk analysis
Big data security and privacy
Cloud security and privacy
Critical infrastructure protection
Cyber-physical systems security
Data and applications security
Digital forensics
Human aspects of security and privacy
Identity management
Industry networks security
Information security education
Information security management
Information technology misuse and the law
IoT security
Managing information security functions
Mobile security
Multilateral security
Network & distributed systems security
Pervasive systems security
Privacy protection and Privacy-by-design
Privacy-enhancing technologies
Quantum computations and post-quantum cryptography
Side-channel attacks
Surveillance and counter-surveillance
Trust management

Submission of full papers deadline December 20, 2024, AoE

Committees
General chair
Tatjana Welzer, University of Maribor, Faculty of Electrical Engineering and Computer Science, Maribor, Slovenia

Programme committee co-chairs
Kai Rannenberg, Goethe-University, Frankfurt am Main, Germany
Lili Nemec Zlatolas, University of Maribor, Faculty of Electrical Engineering and Computer Science, Maribor, Slovenia

Organizing chair
Marko Hölbl, University of Maribor, Faculty of Electrical Engineering and Computer Science, Maribor, Slovenia

Further information and submission: http://sec2025.um.si/

We hope to hear from you soon. Thank you in advance.
Best regards,

University of Maribor
Faculty of Electrical Engineering and Computer Science
Koroška cesta 46, 2000 Maribor, Slovenia

[DMANET] October 14, 16.30-17.30 CET, @ the newly created EURO OSS on Operational Research and Machine Learning

Dear colleagues,

EURO – The Association of European Operational Research Societies has a new instrument, the EURO Online Seminar Series (EURO OSS), and we are pleased that on October 14, 16.30-17.30 CET, Prof Anita Schöbel (President of EURO) will open the EURO OSS on Operational Research and Machine Learning, https://euroorml.euro-online.org/, followed by the talk of Prof Bart Baesens on "Using AI for Fraud Detection: Recent Research Insights and Emerging Opportunities".

To receive the link to participate online, please join the mailinglist https://forms.gle/YWLb6EPKRQnQert68.

The EURO OSS on Operational Research and Machine Learning is an online seminar series with the goal to brand the role of Operational Research in Artificial Intelligence. The format is a weekly session that takes place every Monday, 16.30-17.30 (CET). It is 100% online-access, and it will have leading speakers from Operational Research, as well as neighbouring areas, that will cover important topics such as explainability, fairness, fraud, privacy, etc. We also have the YOUNG EURO OSS on Operational Research and Machine Learning. In each YOUNG session, three junior academics will show their latest results in this burgeoning area. The Online Seminar Series is free thanks to the support given by EURO, as well as Universidad de Sevilla (US) and Copenhagen Business School (CBS). This is gratefully acknowledged.

To follow us
Website: https://euroorml.euro-online.org/
Link to register mailinglist: https://forms.gle/YWLb6EPKRQnQert68
LinkedIn: https://www.linkedin.com/company/euroorml/
X (formerly Twitter): @euroorml

Kind regards,
The organizers of the EURO OSS on Operational Research and Machine Learning
Emilio Carrizosa, IMUS-Instituto de Matemáticas de la Universidad de Sevilla
Nuria Gómez-Vargas, IMUS-Instituto de Matemáticas de la Universidad de Sevilla
Thomas Halskov, Copenhagen Business School
Dolores Romero Morales, Copenhagen Business School

**********************************************************
*
* 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/
*
**********************************************************

Tuesday, September 24, 2024

[DMANET] PhD position in Neurosymbolic Algorithmics at TU Wien, Vienna, Austria

Dear Colleagues,

Within the new Cluster of Excellence "Bilateral AI" (https://www.bilateral-ai.net/), we seek to fill a 4-year PhD position.

The successful candidate will work on integrating symbolic computational reasoning techniques (such as SAT, MaxSAT, #SAT, QBF, and CP) with cutting-edge machine learning approaches, including generative methods like transformer models and predictive techniques like reinforcement learning. The goal is to develop algorithms that surpass traditional methods in efficiency. The ideal candidate has a strong background in both areas (symbolic and subsymbolic techniques). However, we will also consider candidates with a strong background in one area who are willing to gain expertise in the other. Excellent programming skills in languages such as Python and the ability to design efficient algorithms are required.

Detailed information on the position and on how to apply can be found here:
https://www.vcla.at/2024/08/open-positions-cluster-of-excellence/#szeider

Informal inquiries about the position are welcome and should be sent directly to Stefan Szeider.

Best regards,
Stefan Szeider

-----
Stefan Szeider, Professor
TU Wien, Vienna, Austria
Algorithms and Complexity Group
https://www.ac.tuwien.ac.at/people/szeider/

[DMANET] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024): 2-8 November, 2024; Hanoi, Vietnam: Call for Participation - Early Bird Registration Extended to 4 October

21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)-Call for Participation

21st International Conference on

Principles of Knowledge Representation and Reasoning, KR 2024

November 2 - November 8, 2024, Hanoi, Vietnam

Conference web site: www.kr.org/KR2024

--Call For Participation--

Early Registration: Deadline GMT+7 (i.e. Vietnam time) Friday 20 September, 2024

--Conference Format and Registration--

KR 2024 will be organized as in-person and welcomes all researchers interested in KR to participate! Information about how to register for the main conference and associated events can be found at: www.kr.org/KR2024/registration.php.

The list of papers accepted at the main conference and special tracks can be found on the conference webpage.

--NSF Student Grants--

If you are a student based in the US, there is an opportunity to receive funding for attending the conference. Please fill out this form here (www.docs.google.com/forms/d/e/1FAIpQLSeTH5Ucw2UzERPh-Cjh8XtS-JHX1AswJWJ8CGlGEoPUIjpGKw/viewform) no later than September 17.

--Keynote Speakers--

- Meghyn Bienvenu (LaBRI - CNRS and University of Bordeaux, France)
- Subbarao Kambhampati (Arizona State University, USA)
- Sheila McIlraith (University of Toronto, Canada) and Murray Shanahan (Imperial College London, UK)
- Nina Narodytska (VMware Research by Broadcom, USA)

--Special Tracks--

- KR in the Wild
- Reasoning, Learning and Decision-Making
- Recently Published Research
- Video Track

--Special Sessions--

- Demonstration Session
- Diversity and Inclusion
- Doctoral Consortium

--Workshops--

- 5th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024)
- 1st International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2024)
- International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning (LAMAS and SR 2024)
- 1st Workshop on Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technology (SYNERGY)
- Joint Workshop on Knowledge Diversity and Cognitive Aspects of KR (KoDis/CAKR 2024)

--Tutorials--

- An introduction to approximation fixpoint theory
- Argumentation and Machine Learning
- Fundamental Problems in Statistical Relational AI
- Formal Aspects of Strategic Reasoning in Multi-Agent Systems
- Iterated Belief Change
- Large Language Models are Human-like Annotators
- Probing Machine Learning Models in Angluin's Style

--Co-Located Events--

NMR 2024 (23rd International Workshop on Non-Monotonic Reasoning)

--Conference Chairs--

- General Chair: Pierre Marquis (University Artois, CNRS, CRIL - Institut Universitaire de France, France)
- Program Chairs: Magdalena Ortiz (TU Wien, Austria) and Maurice Pagnucco (The University of New South Wales (UNSW), Australia)
- Demonstration Session Chair: Mario Alviano (University of Calabria, Italy)
- Diversity and Inclusion Session Chairs: Shqiponja Ahmetaj (TU Wien, Austria), Daxin Liu (The University of Edinburgh, UK), Renata Wassermann (Universidade de São Paulo, Brasil)
- Doctoral Consortium Chairs: Camille Bourgaux (CNRS, ENS, Paris, France), Johannes P. Wallner (TU Graz, Austria)
- Funding and Scholarship Chairs: Gianluca Cima (Sapienza University of Rome, Italy), Zeynep Saribatur (TU Wien, Austria)
- KR in the Wild Track Chairs: Matti Järvisalo (University of Helsinki, Finland), Birte Glimm (University of Ulm, Germany)
- Local Arrangement Chairs: Long Tran-Thanh (University of Warwick, UK), Thanh Van Dinh (East Asia University of Technology, Vietnam), Van Dao Hong (East Asia University of Technology, Vietnam), Tran Cao Son (New Mexico State University, USA), Phi Le Nguyen (Hanoi University of Science and Technology, Vietnam)
- Publicity Chairs: Yazmin Angelica Ibañez-Garcia (Cardiff University, UK), Stavros Vassos (Helvia.ai)
- Reasoning, Learning and Decision-Making Track Chairs: Jean Christoph Jung (Dortmund University, Germany), Sebastijan Dumančić (Delft University, The Netherlands), Masoumeh Mansouri (University of Birmingham, UK)
- Recently Published Research Track Chairs: Yongmei Liu (Sun Yat-sen University, China), Mantas Šimkus (TU Wien, Austria)
- Tutorial and Workshop Chairs: Elena Botoeva (University of Kent, UK),

KR Inc., not for profit Scientific Foundation, , Massachusetts, USA , ,

Manage preferences (https://hs-5228907.s.hubspotstarter.net/preferences/en/manage?data=W2nXS-N30h-GdW2HSKzg2YnbB_W3y-Kd13jcTszW4hsZfx2xN9z6W47xjjK2Rmy8yW3BXCxX1X2czvW3JVnkn3SR47RW2CX4cT4fGx4vW1S2H4b49tx-4W45wFC11XpShgW32yXWy2KYYlnW3GJd4B3XYJ0BW43DFss3ZVBLyW2KXdV53XXTk2W2RjC4w3N_9KDW367tGx2CJSYxW1Xt8G936p-jFW1X1Qxf3SJPjCW49lvpd1QDfb0W2qRjws3VLjM8W32yyVz2FST_sW43nR2f1LkV2lW3JJqCs2p8M8GW45S8K92Csx7jW21jC6r3QV8slW2RRYgw2Wpyt1W3Hf4yb49vrfTW1Bq2W24rGNy0W3_X6ly2xJ0XBW3Y2Z4F2Myy4pW3Zx1xk3jrTK_W308wqK30p0LHW2-bRbv1NgM27W2FM2V12TzZ-pW2WH7ps3LY2zfW2nYcG43XZXh3W2RjDL_1_r4rTW3VWtlc1-Y0DZW4fRl3x4rw4mSW1ZtST92MwVF9W1LCsQ31_7M1vW2nN7H_2KDvPYW3SJ1vS2KwzlpW3gd4vp2F-YZJW49TmXq36dRvcW49LKCF3bq3QHf4cKGwB04&_hsenc=p2ANqtz-9pASH55Ehm-km_OIemuUXdJCOaxuCqe17_x0C802GiWKnYiOXBu5vV9xEJ1YFzhqkSl9jR2yy106nh-zpBio3Ce3ZRfw&_hsmi=326002479 )

Theory Announcements

Wednesday, October 2, 2024

[DMANET] [PhD Opening at Utrecht University] PhD in Visual Analytics for Explainable Visual Rehabilitation

[DMANET] call for second-year master internships

Tuesday, October 1, 2024

[DMANET] PhD Position in Algorithmic Game Theory, University of Bath

[DMANET] PhD position in Discrete and Computational Geometry at UPC, Barcelona

[DMANET] IPDPS 2025 - Call for Papers

[DMANET] Deadline Extension - 20 October - 2nd GCC International Conference on IEOM

[DMANET] Special Session in Computational Intelligence applied to Sustainability at EvoStar 2025 (Trieste, Italy, April 23-25 2025)

Monday, September 30, 2024

[DMANET] metaheuristcs for optimization

[DMANET] [CFP] 5th workshop on Human-Centered Computational Sensing (HCCS’25)

Friday, September 27, 2024

[DMANET] Announcement: Innovations in Graph Theory (first papers published)

[DMANET] LICS 2025 Call for Papers and Call for Workshops

[DMANET] Call for participation: The Concordia Contest on the cooperative intelligence of language model agents

Thursday, September 26, 2024

[DMANET] Platform for Advanced Scientific Computing (PASC) 25 Call for Proposals

[DMANET] Dutch Day on Optimization, November 7

[DMANET] Call for nominations: 2024 Victor Lesser Distinguished Dissertation Award

Wednesday, September 25, 2024

[DMANET] [Submission deadline approaching - Oct 1] [iSCI-2024] The 12th IEEE International Conference on Smart City and Informatization

[DMANET] PhD positions at the University of Warwick, UK

[DMANET] Professorship in Quantum Computing at Bochum

[DMANET] Final Call for Papers: 13th GameNets 2025

[DMANET] IFIP SEC 2025 CFP

[DMANET] October 14, 16.30-17.30 CET, @ the newly created EURO OSS on Operational Research and Machine Learning

Tuesday, September 24, 2024

[DMANET] PhD position in Neurosymbolic Algorithmics at TU Wien, Vienna, Austria

[DMANET] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024): 2-8 November, 2024; Hanoi, Vietnam: Call for Participation - Early Bird Registration Extended to 4 October

Mailing Lists

Search This Blog

Blog Archive

Theory Announcements

Wednesday, October 2, 2024

Tuesday, October 1, 2024

Monday, September 30, 2024

Friday, September 27, 2024

Thursday, September 26, 2024

Wednesday, September 25, 2024

Tuesday, September 24, 2024

Mailing Lists

Subscribe To

Search This Blog

Blog Archive