Theory Announcements

Thursday, April 18, 2024

[DMANET] VCLA International Student Awards - Call for Nominations

The Vienna Center for Logic and Algorithms of TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories:

- Outstanding Master Thesis Award*
- Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process)*

*The degree must have been awarded between January 1st, 2023 and December 31st, 2023 (inclusive).

----------------------------------
The main areas of interest are:
----------------------------------
- Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics).
- Algorithms and Computational Complexity, including design and analysis of discrete algorithms, complexity analysis, algorithmic lower bounds, parameterized and exact algorithms, decomposition methods, approximation algorithms, randomized algorithms, algorithm engineering, as well as algorithmic game theory, computational social choice, parallel algorithms, graph drawing algorithms, and distributed algorithms.
- Databases and Artificial Intelligence, concerned with logical methods for modeling, storing, and drawing inferences from data and knowledge. This includes subjects like query languages based on logical concepts (Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema mappings, information extraction and integration), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, inconsistency handling, argumentation, planning).
- Verification, concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. This ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems.

----------------------------------
Awards
----------------------------------
- The Outstanding Master Thesis Award: 1200 EUR.
- The Outstanding Undergraduate Thesis Award: 800 EUR.
- The winners will be invited to present their work at an award ceremony in Vienna, if the situation allows.

----------------------------------
Eligibility
----------------------------------
- The degree must have been awarded between January 1st, 2023 and December 31st, 2023 (inclusive).
- Students who obtained their degree at TU Wien are not eligible.

----------------------------------
Nomination Requirements
----------------------------------
Nominations must include:
- A cover page that contains the name and contact details of the nominated person, the title of the work for which the person is being nominated, award category, the date on which the degree was awarded, and the name of the university.
- An English summary of the thesis of maximum 3 pages, excluding references (A4 or letter page size, 11pt font min). The summary must clearly state the main contribution of the work, its novelty, and its relevance to some of the aforementioned areas of interest.
- The CV of the nominated person, including publication list (if applicable).
- An endorsement letter from a supervisor or another proposing person. The letter must clearly state the independent and novel contribution of the student, and why the proposer believes the student deserves the award. The endorsement letter may be provided after the submission deadline, and emailed directly to award (AT) logic-cs.at.
- The full thesis.

All documents should be in English, with the exception of the thesis. In case the thesis is in a different language, it must be accompanied by a research report in English of at least 10 pages that should be sufficient for the committee to evaluate the merit and quality of the submitted work.

----------------------------------
Instructions for submitting self-nominations
----------------------------------
- Nominations should be submitted electronically by the applicants using the following link to EasyChair: https://easychair.org/conferences/?conf=vclaawards2024.
- Submissions consist of two pdf files. The first is a single pdf file containing all documents for the nomination except the full thesis; the documents should appear in the order they are listed above. The second pdf file is the full thesis.
- The endorsement letter may optionally be sent by email by the endorser and omitted from the Easychair submission. In this case, please email the letter as a pdf file, including the name of the nominated person in the subject, to award (AT) logic-cs DOT at.
- The submission must be accompanied by a plain text electronic abstract of the thesis of at most 400 words, and three keywords.
- The nominated student must be listed as the only author in the submission form.

----------------------------------
Important dates
----------------------------------
- Submission deadline: May 31st, 2024 (anywhere on Earth)
- Notification of decision: After August 31st, 2024

----------------------------------
Contact
----------------------------------
Please send all inquiries to award@logic-cs.at<mailto:award@logic-cs.at>.

----------------------------------
VCLA Award Committee 2024
----------------------------------
Shqiponja Ahmetaj and Anela Lolic will be co-chairing this year's edition of the VCLA International Student Awards. The remaining members of the committee will be announced in due time.

----------------------------------
Website with information on the award and the previous awardees
----------------------------------

https://www.vcla.at/2024/04/call-for-nominations-vcla-international-student-awards-2024/

Andrea Hackl, MA
Project Manager
Vienna Center for Logic and Algorithms

Technische Universität Wien
Favoritenstraße 9-11, Stiege 3, 3. Stock, 1040 Wien
andrea.hackl@tuwien.ac.at<mailto:andrea.hackl@tuwien.ac.at>
www.vcla.at<http://www.vcla.at/>

**********************************************************
*
* 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] WG 2024: Call for Participation

==============================
WG 2024 CALL FOR PARTICIPATION
==============================
WG 2024
Špik, Alpine Resort, Gozd Martuljek, Slovenia
June 19-21, 2024
https://wg2024.famnit.upr.si/

WG 2024 is the 50th International Workshop on Graph-Theoretic Concepts
in Computer Science that aims to connect theory and applications by
demonstrating how graph-theoretic concepts can be applied in various
areas of computer science.

PLENARY SPEAKERS
=================
Hans L. Bodlaender (Utrecht University) (WG 2024 Test of Time Award,
joint with John R. Gilbert, Ton Kloks, and Hjálmtyr Hafsteinsson)
Shiri Chechik (Tel-Aviv University)
Michał Pilipczuk (University of Warsaw)

CONTRIBUTED TALKS
==================
WG 2024 features 31 high quality contributions, on topics from a wide
range of aspects of graph theory related to computer science.
For the list of accepted papers, see:
https://wg2024.famnit.upr.si/page/264-accepted-papers

ORGANIZED BY
=================
- The Mathematics Departments of the Faculty of Mathematics, Natural
Sciences and Information Technologies and Andrej Marušič Institute,
University of Primorska,
- Slovenian Discrete and Applied Mathematics Society, and
- Institute of Mathematics, Physics and Mechanics, Ljubljana.

For questions please contact the organizers at wg2024@famnit.upr.si.

REGISTRATION
=================
Registration is now open (see
https://wg2024.famnit.upr.si/page/259-registration)
Early registration deadline: May 10, 2024
Deadline for registration: May 31, 2024

ACCOMMODATION
=================
Participants are encouraged to book a room in Špik, Alpine Resort, which
is also the conference venue.
Discounted rates are available for conference participants. For more
information, see
https://wg2024.famnit.upr.si/page/261-accommodation

SPONSORS
=================
The conference has received support from the European Mathematical
Society and Springer.

Wednesday, April 17, 2024

[DMANET] Highlights of Parallel Computing (HOPC) Call for Papers (Nantes, France)

Dear colleagues,

We have extended the deadline for HOPC to April 25th (to be after the PODC
notification). If you are planning to attend SPAA/PODC this year, please
consider submitting your recent published work as an abstract to HOPC!

Best,
Laxman and Yihan

Call for Papers: HOPC'24

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

Highlights of Parallel Computing

Nantes, France. June 17-21, 2024

to be held in conjunction with ACM Symposium on Parallelism in Algorithms
and Architectures (SPAA'24) <https://spaa.acm.org/>

also co-located with ACM Symposium on Principles of Distributed Computing
(PODC'24) <https://www.podc.org/>

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

The Highlights of Parallel Computing (HOPC) is a workshop that will be
co-located with SPAA'24 (also co-located with PODC). In HOPC, participants
will present talks on recent papers on parallel computing (both theory and
practice) that did not appear at SPAA to the SPAA community. This will be
an opportunity for the SPAA community to interact with researchers
interested in parallelism who (perhaps) do not usually submit their work to
SPAA, and vice versa.

Although SPAA is a conference focusing on theory, historically it has also
placed a strong emphasis on research which combines theory and practice.
This workshop aims to provide a unique platform for both theoreticians and
practitioners to discuss how to implement practically-efficient parallel
algorithms based on theoretical results, as well as to understand what
theory is needed in practical large-scale applications.

The scope of HOPC consists of any work on parallel computing that was
accepted to a publication venue up to 3 years before the date of this
conference (i.e., June 2021 onward). For more information, please see the
Call For Papers page at https://ucrparlay.github.io/hopc24/cfp/

Submission Guidelines

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

Papers must be submitted in the form of a 2-page (maximum) abstract,
including bibliography. The review process is single-blind. The authors
need to specify their names, affiliations, as well as the original
conference version of this paper on the first page.

We recommend the authors use the ACM template in "sigconf" format (i.e.,
the same as the SPAA conference papers). This is a single-spaced
double-column format for US-letter paper, with a 9-point font size.
Submissions must be in PDF format.

An accepted paper will be invited to a poster presentation at the reception
of the SPAA conference. Selected papers will give oral presentations before
or during SPAA.

Important Deadlines (AOE ) and Dates

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

Submission Deadline: *April 25*

Author Notification: May 18

Camera-ready: June 1st

Poster Presentation: June 17 (SPAA Reception)

Oral Presentation: TBD

Submission Link

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

Please visit this link: https://easychair.org/my/conference?conf=hopc24 to
make paper submissions.

Contact

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

If you have any questions, please feel free to contact the HOPC 2023
Program Committee Co-Chairs: Laxman Dhulipala
<https://www.cs.umd.edu/~laxman/> (laxman@umd.edu, University of Maryland,
College Park) and Yihan Sun <https://www.cs.ucr.edu/~yihans/> (
yihans@cs.ucr.edu, University of California, Riverside).

[DMANET] [CP 2024] - Call for Doctoral Program Submissions

Call for Doctoral Program Submissions

The Doctoral Program (DP) of the CP conference is seeking submissions
from research students (new and past participants) conducting research
in constraint programming and related areas. The DP aims to provide an
informal environment for students to discuss ongoing work and to network
with experienced researchers. The DP is a full-day event that includes
short presentations of student papers, discussions with senior
researchers, poster presentations, networking activities and a social
dinner. Participation requires a paper submission to the DP, reviewing
of other submissions at the DP and attendance in person.

Paper Submission

Papers must be primarily the work of the student and can be work in
progress, completed work or recently published work. Students whose work
has been accepted in the main conference can submit a two-page extended
abstract summarising the key findings. Otherwise, students must submit
an original paper of up to 8 pages describing completed or ongoing
research or a summary of their research/PhD topic. Submissions can
include up to one additional page of references.

The submission form must clearly specify the student as the first author
and list all advisors and co-authors. Papers must follow the LIPIcs
guidelines <https://submission.dagstuhl.de/series/details/5#author> of
the main conference, be in PDF format and not include author information
in the text or metadata. As the DP aims to develop academic maturity of
young CP researchers, all reasonable submissions will be accepted.

Accepted papers will be made available online but not published in
formal printed proceedings. This allows the submitted work to be reused
and/or extended for submission to other conferences and journals.

Accommodation

A limited number of rooms at the Monastery of Saint Daniel Guesthouse
<https://www.santdaniel.com/ca/hostatgeria/> have been put aside for
students. Any student attending the DP or the main conference can
reserve a room regardless of paper acceptance. These rooms are not paid
by us and students will need to pay themselves.

We can accommodate 26 people in 10 double/twin rooms and 6 individual
rooms from 1st to 6th September. These rooms cost €52 per night per
person, including breakfast. Contact the DP chair to make a reservation.
Girona is expected to have a large number of visitors during the peak
summer period, so please organise your accommodation as soon as possible.

Financial Support

Our sponsors have kindly contributed financial support to cover
conference registration, accommodation and dinner costs for a limited
number of students. Financial support is granted on a case-by-case basis
depending on the needs of the young researcher

To apply, provide a summary of the request (max 0.5 page) and a letter
of recommendation from the student's main advisor (max 1 page). Submit
these by email to the DP Chair. Please also indicate whether the student
has benefitted from similar financial support in the past.

Schedule

The following activities will take place at the DP.

Peer Review Training

Every participant is required to review 1-2 DP papers. The aim is to
develop an ability to draw on an individual's expertise to critique
scientific work.

Peer Review Case Study

After paper acceptance, students may volunteer their paper and reviews
for a case study in a workshop format. The group will discuss the
criticisms of the paper and write a succinct rebuttal in an informal
environment.

Mentoring

A mentoring session is under planning. During the Doctoral Program, each
participant may be paired with a mentor from the community, who is
either a professor or a post-doctoral researcher. The mentor will attend
the student's presentation and view their poster, providing constructive
feedback. This activity is intended to provide individualised advice to
students from someone outside their immediate institution.

Presentations and Poster Session

Every student is expected to deliver a short presentation of their work,
followed by a question and answer session. In the case where a student's
paper has been accepted in the conference, they will deliver a brief
lightning talk aimed at motivating the audience to attend their full
presentation.

All students should also aim to bring a poster in A0 format, which will
be presented during the coffee breaks of the conference. The primary
objective of the poster session is to encourage discussion and
international collaboration with unfamiliar researchers.

Invited Talks

Recent and past graduates of the CP community will reflect on their time
in academia and industry. These talks aim to motivate students in
diverse areas of constraint programming and to provide an opportunity to
seek guidance about different career pathways.

Social Dinner

A free dinner is organised in the evening of the DP at La Taverna del
Foment. The dinner will be open to all students and invited speakers of
the DP.

Diversity and Inclusion

The participants of the DP are encouraged to participate in the
diversity and inclusion surveys organised by the conference.

Important Dates (Subject to Change)

* Submissions open: 20/06
* Deadline for submissions and financial support requests: 30/06
* Deadline for student reviews: 12/07
* Outcome notification: 15/07
* Camera ready paper: 16/08
* DP event: 02/09

DP Chair

Edward Lam.
ed-lam.com <http://www.ed-lam.com>
edward.lam@monash.edu

*Check for updates at: *https://cp2024.a4cp.org

[DMANET] [CP 2024] - Call for Tutorial Proposals

*Call for Tutorial Proposals*

30th International Conference on Principles and Practice of Constraint
Programming (CP2024), September 2-6, 2024, Girona, Spain.

The CP conference is the premier annual international conference on
constraint programming. It is concerned with all aspects of computing
with constraints, including but not limited to algorithms, environments,
languages, models, systems, theory, and applications such as decision
making, resource allocation, configuration, planning, and scheduling,
vehicle routing, data-science.

We invite proposals for tutorials to be held at CP2024. Tutorials will
be scheduled during the conference, which will take place from September
2 to 6, 2024.

The Tutorial Program is intended to disseminate information to
conference attendees on recently emerging topics and trends, provide
surveys of complementary techniques to those commonly studied at CP, and
inform industrial practitioners on the state-of-the-art within the
field. Tutorials will be given by experts in the subject matter.

Tutorial proposals should be emailed to the tutorial chair Pierre
Schaus. Notifications will be provided within 2 weeks. A tutorial
proposal, which should not exceed two pages overall, should include:

* Title
* Presenter/organizer name(s) and affiliations
* Abstract (less than 300 words)
* Motivation (suitability for the CP audience)
* Presenter/organizer biography (or link to webpage) and connection to
the tutorial topic.

*Proposals deadline:* 01/07

For further inquiries or to submit your proposal please contact the
tutorial chair : Pierre Schaus pierre.schaus@uclouvain.be

[DMANET] 1-year postdoctoral position on algorithm, computational complexity, and combinatorics in low-dimensional topology/quantum topology - INRIA, France

Dear colleagues,

we are opening a 1-year postdoctoral position at INRIA on algorithms,
computational complexity, and combinatorics in low-dimensional topology
and/or quantum topology.

Please, consult:

https://recrutement.inria.fr/public/classic/fr/offres/2024-07483

for details on the offer and a platform to apply.

Applications will be assessed on a rolling basis until the position is
filled, beginning April 29th, 2024.

The starting date is flexible, but not later than October 1st, 2024.

Please forward this to any potential candidate. If there is any
question, feel free to contact me (clement.maria@inria.fr).

Best regards,
Clément Maria
www-sop.inria.fr/members/Clement.Maria/

[DMANET] DIMACS Workshop on Modeling Randomness in Neural Network Training: Mathematical, Statistical, and Numerical Guarantees

***************************************************************
DIMACS Workshop on Modeling Randomness in Neural Network Training: Mathematical, Statistical, and Numerical Guarantees

June 5 - 7, 2024
DIMACS Center, Busch Campus, Rutgers University
Organizers:
Tony Chiang, University of Washington & Pacific Northwest National Lab
Ioana Dumitriu, University of California, San Diego
Anand Sarwate, Rutgers University

*********************************************************************
Workshop Announcement:

Neural networks (NNs) are at the heart of modern machine learning and artificial intelligence (ML/AI) systems. The rapid development of these technologies has led to adoption across a variety of domains, particularly in speech processing, computer vision, and natural language processing. At the same time, the theoretical underpinnings of these statistical models are not yet fully understood. The question of how and why neural networks "work" can be approached from a variety of mathematical perspectives. One of the most promising mathematical tools for analysis of neural networks is random matrix theory, a field whose relevance and applicability to modeling, understanding, and characterizing a vast array of science and technology problems is growing every day. From principle component analysis and random growth processes to particle interactions and community detection in large networks, random matrices are now used to investigate and explain high-dimensional phenomena like concentration (the so-called "blessing of dimensionality" as opposed to the "curse of dimensionality"). Recent results in universality allow for use of more complex, non-Gaussian models, sometimes even allowing for limited dependencies. This begs the question: what can random matrix theory tell us about neural networks, modern machine learning, and AI?

The overarching goal of the workshop is to create bridges between different mathematical and computational communities by bringing together researchers with a diverse set of perspectives on neural networks. Topics of interest include:

* understanding matrix-valued random processes that arise during NN training,
* modeling/measuring uncertainty and designing estimators for training processes,
* applications to these designs within optimization algorithms.

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

Call for Participation:

The workshop will feature a poster session and there may be limited funds available to support travel by those whose attendance is contingent on support. To register to attend the workshop or for information on applying for support and submitting a poster, please visit the workshop's webpage.

*********************************************************************
Workshop web site (including registration, lodging and parking):
http://dimacs.rutgers.edu/events/details?eID=2772

[DMANET] IWOCA 2024: Call for Participation

*********************************
Call for Participation

IWOCA 2024: 35th International Workshop on Combinatorial Algorithms

1-3 July, 2024 - Ischia, Italy
http://iwoca2024.di.unisa.it/

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

IWOCA 2024 will take place on the beautiful island of Ischia, Italy,
http://iwoca2024.di.unisa.it/venue.html

from July 1st to July 3d, 2024.

* Registration *

Detailed information about registration can be found at
http://iwoca2024.di.unisa.it/registration.html

Deadlines:

- Early registration: May 3d, 2024.

- Late registration: June 17th, 2024.

* Accommodation *
Detailed information about the accommodation can be found at
http://iwoca2024.di.unisa.it/accomodation.html

* Keynote Speakers *

- Ralf Klasing
CNRS and University of Bordeaux, France

- Lucia Moura
University of Ottawa, Canada

- Nadia Pisanti
University of Pisa, Italy

See http://iwoca2024.di.unisa.it/invited.html for further details.

* Accepted Papers *

See http://iwoca2024.di.unisa.it/accepted.html for details.

*Organizers*

Roberto Bruno, University of Salerno, Italy
Gennaro Cordasco, University of Campania "L. Vanvitelli", Italy
Luisa Gargano, University of Salerno, Italy
Adele Rescigno, University of Salerno, Italy
Ugo Vaccaro, University of Salerno, Italy

[DMANET] LMW@LICS and ICALP '24 - Call for participation and scholarship applications

LOGIC MENTORING WORKSHOP
Tallinn, Estonia
Sunday 9 July 2024

https://logic-mentoring-workshop.github.io/lics24/

Colocated with LICS and ICALP 2024

CALL FOR PARTICIPATION AND SCHOLARSHIP APPLICATIONS

The 11th Logic Mentoring Workshop (LMW) invites participation from
students (undergraduate, master's and PhD), in all areas of logic for
scholarships to attend the Logic in Computer Science (LICS) conference
and the International Colloquium on Automata, Languages and Programming
(ICALP) this year. Attending a conference such as ICALP and LICS can be
a transformative experience. It exposes participants to cutting-edge
research and can open up new research avenues and collaboration
opportunities. Some scholarships will be generously funded by our
sponsors (see below) and cover registration to ICALP or LICS, as well as
the workshop, and possibly travel and accommodation. Due to the generous
funding of the NSF, we will be able to fund several US students
completely. Women and members of minority groups are especially
encouraged to apply.

The LMW will focus on the technical and practical aspects of a career in
logic research, including talks and a panel session from leaders in the
subject. LMW'24 builds on a long tradition of LMW workshops held at LICS
and CSL every year.

SCHOLARSHIP APPLICATIONS

Applications should be made via the online form:

https://lipn.univ-paris13.fr/limesurvey/index.php/886399?lang=en

The deadline for applications is *7 May 2024* AoE (anywhere on earth).
Notification will be made before May 10th. This deadline is to allow
students to register within the limit of early-bird registration which
ends on 17 May.

WORKSHOP REGISTRATION

Registration will be done via the main conference site. See the
ICALP/LICS/FSCD page : https://compose.ioc.ee/icalp2024/#registration

SPEAKERS : TBA

Following the tradition, the Logic Mentoring Workshop will invite senior
and junior researchers to teach about soft skills and career management
after a PhD in Logic, as well as to give scientific talks.

ORGANISING COMMITTEE

Davide Catta (Università di Napoli)
Marie Kerjean (CNRS)
Nadia Labai (Amazon)
Niels Voorneveld (Cybernetica)

SPONSORS
National Science Foundation (NSF)
Jane Street
ACM Special Interest Group on Logic and Computation (SIGLOG)

[DMANET] PhD and postdoc positions at Ben-Gurion University, Israel

Dear colleagues,

There is an open call for PhD and postdoc positions in Theoretical Computer
Science (Computational Complexity, Proof Complexity, Error Correcting
Codes, Communication complexity, and Information Theory) at Ben-Gurion
University, Israel. More details are here
https://www.cs.bgu.ac.il/~klim/Links/Call.html

The (soft) application deadline is May 10, 2024. You are welcome to ask me
any questions.

I would appreciate it if you share this information with someone interested.

Best regards,
Dmitry.

<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>
Никаких
вирусов.www.avast.com
<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>
<#m_5932823768071019350_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

[DMANET] GandALF 2024: Last Call for Papers

[apologies for cross-postings]

Please distribute.

Paper submission deadline: 10 April 2024 19 April 2024

Application for student accommodation: 15 May 2024

Application for ASL student funding: 19 March 2024 (expired)

Website: https://scool24.github.io/GandALF/

The Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 24) will be held in Reykjavik (Iceland) on June 19-21, 2024. This year, GandALF is part of the Reykjavik Summer of Cool Logic 2024 (SCooL 2024) and is co-located with the Twelfth Scandinavian Logic Symposium (SLSS 2024) and the Fifth Nordic Logic Summer School (NLS 2024).

The aim of GandALF 2024 is to bring together researchers from academia and industry who are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. The topics covered by the conference include, but are not limited to, the following:

Automata Theory

Automated Deduction

Computational aspects of Game Theory

Concurrency and Distributed computation

Decision Procedures

Deductive, Compositional, and Abstraction Techniques for Verification

Finite Model Theory

First-order and Higher-order Logics

Formal Languages

Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems

Game Semantics

Games and Automata for Verification

Logical aspects of Computational Complexity

Logics of Programs

Modal and Temporal Logics

Model Checking

Models of Reactive and Real-Time Systems

Probabilistic Models (Markov Decision processes)

Program Analysis and Software Verification

Reinforcement Learning

Run-time Verification and Testing

Specification and Verification of Finite and Infinite-state Systems

Synthesis

Important Dates

Paper submission deadline (extended): 19 April 2024 (this Friday!)

Acceptance notification: 10 May 2024

Camera-ready deadline: 10 June 2024

Conference dates: 19-21 June 2024

⚠ all deadlines are AoE

Publication

The proceedings will be published by Electronic Proceedings in Theoretical Computer Science (https://cgi.cse.unsw.edu.au/~eptcs/). Authors of selected papers will be invited to submit a revised version of their work to a special issue of the high-quality, open-access journal Logical Methods in Computer Science.

The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016, 2017, 2018, 2019, and 2020), Acta Informatica (GandALF 2015) and Logical Methods in Computer Science (GandALF 2021, 2022, and 2023).

Submission

Submitted papers should not exceed 14 pages (excluding references and clearly marked appendices) typeset using EPTCS format (please use the LaTeX style provided at https://style.eptcs.org/), be unpublished, and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF format and will be handled via easychair at the following address:

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

ASL sponsorship

GandALF 2024, as part of SCooL 2024, is sponsored by the Association for Symbolic Logic (https://aslonline.org/), which means that tudents that are ASL members may apply for ASL travel support for any or all events in the context of SCooL 2024. Applications and recommendations for any of the events must be received before the 19th of March. No late applications will be accepted. Decisions will be communicated before the 19th of April.

Student Accommodation

Students attending SCooL 2024 can apply for shared accommodation close to Reykjavik University. However, please note that accommodation availability is limited, and priority will be granted to those attending multiple events. The application deadline is May 15, 2024, but interested students are encouraged to apply as soon as possible.

To apply for a spot and for more information, please visit https://scool24.github.io/student_accommodation/

Invited Speakers

GandALF 2024 will feature four invited talks, which will be delivered by

* Bernd Finkbeiner (CISPA Helmholtz Center for Information Security)

* Kim G. Larsen (Aalborg University)

* Brigitte Pientka (McGill University)

* Azalea Raad (Imperial College London)

Program Committee

Co-chairs

Antonis Achilleos (Reykjavik University)

Andrian Francalanza (University of Malta)

Members

Parosh Aziz Abdulla (Uppsala University)

Valentina Castiglioni (Eindhoven University of Technology)

Aggeliki Chalki (Reykjavik University)

Laure Daviaud (University of East Anglia)

Dario Della Monica (Università degli Studi di Udine)

Giorgio Delzanno (Università degli Studi di Genova)

Léo Exibard (Université Gustave Eiffel)

Nicola Gigante (Free University of Bozen-Bolzano)

Julian Gutierrez (Monash University)

Jonas Kastberg Hinrichsen (Aarhus University)

Ryan Kavanagh (Université du Québec à Montréal)

Orna Kupferman (Hebrew University)

Martin Leucker (University of Luebeck)

Jakub Michaliszyn (University of Wroclaw)

Laura Nenzi (University of Trieste)

Paweł Parys (University of Warsaw)

Guillermo Perez (University of Antwerp)

Jakob Piribauer (TU Dresden)

Ocan Sankur (Univ Rennes, CNRS)

Felix Stutz (University of Luxembourg)

Patrick Totzke (University of Liverpool)

Tomoyuk Yamakami (University of Fukui)

Matteo Zavatteri (University of Padova)

Martin Zimmermann (Aalborg University)

Steering Committee

Luca Aceto – Reykjavik University (Iceland) and Gran Sasso Science Institute (Italy)

Javier Esparza – University of Munich (Germany)

Salvatore La Torre – University of Salerno (Italy)

Angelo Montanari – University of Udine (Italy)

Mimmo Parente – University of Salerno (Italy)

Jean-François Raskin – Université libre de Bruxelles (Belgium)

Martin Zimmermann – Aalborg University (Denmark)

Website

https://scool24.github.io/GandALF/
**********************************************************
*
* 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] CIAA 2024 - Call for Papers (submission deadline extended to May 3)

Call for Papers
---------------

The 28th International Conference on Implementation and Application of Automata (CIAA 2024) will be held in Akita, Japan, between September 3 – 6, 2024.

CIAA 2024 website:
http://www.math.akita-u.ac.jp/ciaa2024/

The International Conference on Implementation and Application of Automata (CIAA) is an annual conference in the field of theoretical computer science. The website of the conference series:
http://www.informatik.uni-giessen.de/ciaa/ciaa_welcome.html

The purpose of CIAA is to bring together members of the academic, research, and industrial community who have an interest in the theory, implementation, and application of automata and related structures. The conference concerns research on all aspects of implementation and application of automata and related structures, including theoretical aspects.
The first edition was held under the name Workshop on Implementing Automata (WIA'96) in London, Ontario, Canada, in 1996. In 2000, the workshop WIA became the conference CIAA. The last 10 editions of the conference took place in:
• CIAA 2023 Famagusta, Northern Cyprus
• CIAA 2022 Rouen, France
• CIAA 2021 Bremen, Germany
• CIAA 2020 (cancelled), Loughborough, United Kingdom
• CIAA 2019, Kosice, Slovakia
• CIAA 2018, Charlottetown, PEI, Canada
• CIAA 2017, Marne-la-Vallée (Paris), France
• CIAA 2016, Seoul, South Korea
• CIAA 2015, Umeå, Sweden
• CIAA 2014, Giessen, Germany

A "Best Paper Award" will be presented to the author(s) of the paper judged to be the best on the basis of the referee reports. From 2014, these "Best Paper Awards" are named "Sheng Yu Awards" in honor of our late colleague, Sheng YU.

Submission Guidelines
---------------------
Submissions must be written in LaTeX using the LNCS LaTeX2e style and must not exceed 12 pages, bibliography included. If the authors believe that more details are essential to substantiate the main claims, they may include a clearly marked appendix that will be read at the discretion of the program committee. Simultaneous submissions of papers to journals or any other conference with published proceedings, or submitting previously published papers is not allowed. Only electronic submission of PDF documents is possible.
The proceedings will be published in the Springer LNCS series and will be available at the conference.

Authors should submit their contributions through Easychair:
https://easychair.org/conferences/?conf=ciaa2024

List of Topics
--------------
We solicit papers on all aspects of implementation and application of automata and related structures, including theoretical aspects, including but not limited to:
• Algorithms on automata
• Automata and logic
• Bioinformatics
• Complexity of automata operations
• Compilers
• Computer-aided verification
• Concurrency
• Data structure design for automata
• Data and image compression
• Design and architecture of automata software
• Digital libraries
• DNA/molecular/membrane computing
• Document engineering
• Editors, environments
• Experimental studies and practical experiences
• Industrial applications
• Natural language processing
• Networking
• New algorithms for manipulating automata
• Object-oriented modeling
• Pattern-matching
• Quantum computing
• Speech and speaker recognition
• Structured and semi-structured documents
• Symbolic manipulation environments for automata
• Teaching
• Text processing
• Techniques for graphical display of automata
• VLSI
• Viruses, related phenomena
• World-wide web

Important Dates
---------------
• Submission deadline: extended to May 3, 2024
• Notification to authors: June 7, 2024
• Camera-ready version: June 21, 2024

Invited Speakers
----------------
• Sang-Ki Ko, University of Seoul, Republic of Korea,
• Orna Kupferman, Hebrew University of Jerusalem, Israel
• Carl-Fredrik Nyberg Brodda, Korea Institute For Advanced Study, South Korea
• Hiroyuki Seki, Nagoya University, Japan

Program Committee
-----------------
• Marie-Pierre Béal, Université Paris-Est Marne-la-Vallée, France
• Cezar Câmpeanu, University of Prince Edward Island, Canada
• Pascal Caron, University of Rouen Normandy, France
• Giuseppa Castiglione, University of Palermo, Italy
• Erzsébet Csuhaj-Varjú, Eötvös Loránd University, Hungary
• Frank Drewes, Umeå University, Sweden
• Ömer Egecioglu, University of California Santa Barbara, US
• Attila Egri-Nagy, Akita International University, Japan
• Szilárd Zsolt Fazekas, Akita University, Japan (chair)
• Yo-Sub Han, Yonsei University, South Korea
• Markus Holzer, University of Giessen, Germany
• Jarkko Kari, University of Turku, Finland
• Manfred Kufleitner, University of Stuttgart, Germany
• Martin Kutrib, University of Giessen, Germany
• Galina Jirásková, Slovak Academy of Sciences, Slovakia
• Markus Lohrey, University of Siegen, Germany
• Sylvain Lombardy, LaBRI — CNRS — Institut Polytechnique de Bordeaux, France
• Andreas Maletti, University of Leipzig, Germany
• Andreas Malcher, University of Giessen, Germany
• Florin Manea, University of Göttingen, Germany
• Sebastian Maneth, University of Bremen, Germany
• Ian McQuillan, University of Saskatchewan, Canada
• Brink van der Merwe, Stellenbosch University, South Africa
• Roland Meyer, Technical University of Braunschweig, Germany
• Victor Mitrana, Polytechnic University of Madrid, Spain
• Nelma Moreira, University of Porto, Portugal
• František Mráz, Charles University, Czech Republic
• Benedek Nagy, Eastern Mediterranean University, Northern Cyprus
• Friedrich Otto, University of Kassel, Germany
• Giovanni Pighizzini, University of Milan, Italy
• Luca Prigioniero, Loughborough University, UK
• Rogério Reis, University of Porto, Portugal
• Michel Rigo, University of Liège, Belgium
• Kai Salomaa, Queen's University, Canada
• Shinnosuke Seki, University of Electro-Communications, Japan
• Ryoma Shinya, Akita University, Japan
• Nicholas Tran, Santa Clara University, US
• György Vaszil, University of Debrecen, Hungary
• Mikhail Volkov, Ural Federal University, Russia
• Hsu-Chun Yen, National Taiwan University, Taiwan

Organizing Committee
--------------------
• Szilárd Zsolt Fazekas (Akita University)
• Shinnosuke Seki (University of Electro-Communications)
• Ryoma Shinya (Akita University)
• Akihiro Yamamura (Akita University)

Publication
-----------
CIAA 2024 proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS). Extended versions of selected papers from the conference will be invited for consideration in a special issue of a journal to be announced.

Venue
-----
The conference will be held in the Atorion building in Akita, Japan.

Contact
-------
All questions should be addressed to Szilard Fazekas by email to ciaa2024@math.akita-u.ac.jp
**********************************************************
*
* 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] Fwd: 2-year Postdoc Quantum Error Correction and Quantum Graph Theory at TU Eindhoven

SHORT DESCRIPTION
Research on quantum technologies is set to revolutionize several aspects of
our life, including how we process information. In the Department of
Mathematics and Computer Science at Eindhoven University of Technology
(TU/e), the Netherlands, there is a vacancy for a 2 year postdoctoral
position on the topics of quantum error correction, quantum graph theory,
and quantum information theory. The vacancy will remain open until the
position is filled.

JOB DESCRIPTION
This postdoc position is jointly supervised by Alberto Ravagnani (
https://a.ravagnani.win.tue.nl) and Aida Abiad (https://aidaabiad.win.tue.nl)
and it is funded by the Eindhoven Hendrik Casimir Institute for quantum
technologies. The position is hosted by the Mathematical Communication
Theory group (https://mct.win.tue.nl). You will have the opportunity to
contribute to and shape research directions at the crossroad of quantum
information theory, quantum graph theory, and quantum error correction. You
will bridge the Algebraic Combinatorics (
https://www.tue.nl/en/research/research-groups/algebraic-combinatorics) and
the Mathematical Communication Theory groups (
https://www.tue.nl/en/research/research-groups/mathematics/discrete-mathematics/mathematical-communication-theory),
establishing and leading new interdisciplinary collaborations. You will
bridge the Mathematical Communication Theory group and the Eindhoven
Hendrik Casimir Institute.

JOB REQUIREMENTS
• You have a PhD in Mathematics or related disciplines.
• Familiarity with coding theory and graph theory. Ideally, familiarity
with quantum information theory and/or quantum graph theory.
• Ability to conduct high quality academic research, reflected in
demonstratable outputs.
• A team player who enjoys coaching Master's students and working in a
dynamic, interdisciplinary team.
• Ability to take the lead and take initiative in research
collaborations.
• A proven ability to manage complex projects to completion on schedule.
• Excellent (written and verbal) proficiency in English, good
communication skills.

CONDITIONS OF EMPLOYMENT
A meaningful job in a dynamic and ambitious university, in an
interdisciplinary setting and within an international network. You will
work on a green campus within walking distance from the central train
station. In addition, we offer you:
• Full-time employment for 2 years.
• Salary in accordance with the Collective Labour Agreement for Dutch
Universities.
• A year-end bonus of 8.3% and annual vacation pay of 8%.
• High-quality training programs on general skills, didactics and
topics related to research and valorization.
• An excellent technical infrastructure, on-campus children's day care
and sports facilities.
• Partially paid parental leave and an allowance for commuting, working
from home and internet costs.
• A TU/e Postdoc Association that helps you to build a stronger and
broader academic and personal network, and offers tailored support,
training and workshops.
• A Staff Immigration Team is available for international candidates,
as are a tax compensation scheme (the 30% facility) and a compensation for
moving expenses.

ABOUT US
Eindhoven University of Technology is an internationally top-ranking
university in the Netherlands that combines scientific curiosity with a
hands-on attitude. Our spirit of collaboration translates into an open
culture and a top-five position in collaborating with advanced industries.
Fundamental knowledge enables us to design solutions for the highly complex
problems of today and tomorrow.

INFORMATION
Do you recognize yourself in this profile and would you like to know more?
Please contact Alberto Ravagnani (a.ravagnani@tue.nl) and Aida Abiad (
a.abiad.monge@tue.nl).

APPLICATION
We invite you to submit a complete application via the link:
https://jobs.tue.nl/en/vacancy/postdoc-quantum-error-correction-and-quantum-graph-theory-1068770.html

The application should include a:
• Cover letter in which you describe your motivation and qualifications
for the position.
• Curriculum vitae, including a list of your publications and the
contact information of at least three references.
• List of five self-selected 'best publications'.

We look forward to receiving your application and will screen it as soon as
possible. The vacancy will remain open until the position is filled.

[DMANET] ORAHS 50 in Turin, 14 - 20 July 2024: deadline for submissions extended

*** We apologise for multiple receipt of this announcement ***

Dear HCMS, we are extending the deadline for the submissions (abstract,
poster and for the doctoral colloquium) to Tuesday April 30th. The notification of
acceptance to May 5th.

New deadlines are:
- Extended deadline for submissions: April 30th, 2024
- Notification of acceptance: May 5th, 2024
- Deadline for early and speaker registration: May 15th, 2024

A few reminders:

(1) we announced the two plenaries by Stefan Nickel and Carl May; details here
https://orahs2024.di.unito.it/2024/04/10/plenaries/

(2) we published the social program for the accompanying persons:
https://orahs2024.di.unito.it/2024/04/15/program-for-accompanying-persons/

(3) full details on the conference theme, venue, social program and other satellite events
(PhD Colloquium, GO Health!) can be found on the website
https://orahs2024.di.unito.it.

(4) we would also like to remind you that in this special year we have added an extra day to
the programme. On this extra day, we have a small surprise for you to celebrate the 50th
anniversary of our conference. We hope you enjoy the experience, even if it is optional.
https://orahs2024.di.unito.it/social-program-mont-blanc/

Below is the complete CFP!

On behalf of the organising team, Roberto Aringhieri
https://orahs2024.di.unito.it/organising-committee/

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

ORAHS 2024

50th Annual Meeting of the EURO Working Group on Operational Research Applied to Health Services
Turin, Italy, July 14 - 20, 2024
https://orahs2024.di.unito.it/

CFP: http://orahs2024.di.unito.it/wp-content/uploads/2024/02/CFP-ORAHS20204.pdf

We are pleased to announce that the online submission and registration for the 50th Annual Meeting of
the EURO Working Group on Operational Research Applied to Health Services Conference in Turin, Italy,
on July 14 - 20, 2024, are now open.

The conference will be held at the Complesso Aldo Moro, one of the new buildings of the University of
Turin. Such a new building is located in the really city centre close to the Mole Antonelliana.
https://orahs2024.di.unito.it/map-of-the-venue/

The main theme of the conference is "Making an impact. Reflecting on 50 years of healthcare operational
research". Read more here: https://orahs2024.di.unito.it/ORAHS50-in-a-nutshell/

The ORAHS 2024 conference will be an excellent opportunity for researchers, academics and students working
in OR for health services to get together, present their research, exchange ideas and build networks.

Please use the following link for registrations and fees: https://orahs2024.di.unito.it/registration/

------

Researchers, academics, and students in any branch of operations research, management science,
analytics, or any other area of quantitative analysis are invited to submit abstracts for
presentations, posters or discussion sessions on work related to providing, improving or
supporting health services.

Each participant is only allowed to present one abstract/poster/discussion session at the
conference, but it is allowed to have multiple submissions as non-presenter.

Abstraction submission system and submission guidelines are available online at:
https://orahs2024.di.unito.it/submissions/

Doctoral students working on their theses in the field of Operations Research applied to Health
Services are invited to submit a research proposal paper for the doctoral colloquium hosted
within the 2024 ORAHS conference. More information here:
https://orahs2024.di.unito.it/dc-info/

------

The ORAHS conference is well-known for its valuable social program.

Two major events are currently scheduled:
(1) Boat trip on Lake Maggiore: https://orahs2024.di.unito.it/social-program-boat-trip/
(2) Mont Blanc from Punta Helbronner: https://orahs2024.di.unito.it/social-program-mont-blanc/

The social program for the accompanying persons is also available:
https://orahs2024.di.unito.it/2024/04/15/program-for-accompanying-persons/

More information here: https://orahs2024.di.unito.it/social-program/

------

IMPORTANT DATES:
- Opening submission / registration: February 7th, 2024
- Extended deadline for submissions: April 30th, 2024
- Notification of acceptance: May 5th, 2024
- Deadline for early and speaker registration: May 15th, 2024

------

We look forward to seeing you in Turin in July!

On behalf of the organising team, Roberto Aringhieri
https://orahs2024.di.unito.it/organising-committee/

--
Prof. Roberto Aringhieri, Ph.D.
Dipartimento di Informatica, Università degli Studi di Torino
Corso Svizzera 185, I-10149 Torino, Italy
Office: +39 011 6706755 - http://di.unito.it/aringhieri

My message may reach you outside of the working day. Please feel
free to respond (if necessary) during your normal working hours
**********************************************************
*
* 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 at Eindhoven University of Technology, The Netherlands

Dear colleagues,

We would appreciate it if you could share the PhD position advertisement below with any master's student or potential candidate you may know who could be interested.

Thanks a lot in advance!
Alex

_________________________

In the Combinatorial Optimization group at Eindhoven University of Technology (The Netherlands), there is a vacancy for a 4 year PhD-position. This PhD position is supervised by Alexandra Lassota (https://www.tue.nl/en/research/researchers/alexandra-lassota) and Frits Spieksma (https://www.tue.nl/en/research/researchers/frits-spieksma).

The vacancy can be found at:

https://jobs.tue.nl/nl/vacature/phd-on-structural-mixed-integer-programming-in-combinatorial-optimization-1071234.html

The vacancy closing date will be May 19, 2024, or until the position is filled. The preferred starting date is September 2024.

PROJECT DESCRIPTION

This projects seeks to investigate special instances of (mixed) integer programs ((M)IPs) with the intention of understanding their complexity. Although traditionally known to be NP-hard, certain structured forms of (M)IPs exhibit properties that allow for efficiently finding solutions. Examples include block-structured (M)IPs, (M)IPs with a limited number of rows or columns, and (M)IPs whose constraint matrix is totally unimodular. Despite many recent advances in this field, numerous unresolved questions persist within this domain, and this project aims to solve some of them.

By solving such (M)IPs more efficiently, we further aim to design new algorithms for a broad spectrum of problems from combinatorial optimization. The relevance of (M)IPs spans across various applications where optimization plays a pivotal role. From supply chain management to resource allocation, encompassing fair division and voting rules among others, the ability to efficiently solve (M)IPs holds significant implications for operational efficiency, cost reduction, and decision-making processes. Moreover, recent developments in the field of machine learning have established a strong connection between these structures and neural networks, which we seek to fortify by developing robust algorithms tailored to these specific MIP classes.

The successful candidate for this Ph.D. position will work under the supervision of Alexandra Lassota in the group Combinatorial Optimization (https://www.tue.nl/en/research/research-groups/mathematics/statistics-probability-and-operations-research/combinatorial-optimization-1) of the department of Mathematics and Computer Science of TU/e. Your responsibilities include to perform scientific research on the topic of the above-mentioned project and to publish your results at international conferences and in international journals. For a small percentage of your time, you will be asked to assist with educational tasks (course support and supervision of students).

JOB REQUIREMENTS

• You have a bachelor and master degree in Mathematics, Computer Science or an equivalent field.

• You are creative, ambitious, self-motivated, and have good communication skills.

• You have a good command of the English language (knowledge of Dutch is not required).

CONDITIONS OF EMPLOYMENT

A meaningful job in a dynamic and ambitious university, in an interdisciplinary setting and within an international network. You will work on a beautiful, green campus within walking distance of the central train station. In addition, we offer you:

• Full-time employment for four years, with an intermediate evaluation (go/no-go) after nine months. You will spend 10% of your employment on teaching tasks.

• Salary and benefits (such as a pension scheme, paid pregnancy and maternity leave, partially paid parental leave) in accordance with the Collective Labour Agreement for Dutch .

• A year-end bonus of 8.3% and annual vacation pay of 8%.

• High-quality training programs and other support to grow into a self-aware, autonomous scientific researcher. At TU/e we challenge you to take charge of your own learning process.

• An excellent technical infrastructure, on-campus children's day care and sports facilities.

• An allowance for commuting, working from home and internet costs.

• A Staff Immigration Team for international candidates.

FURTHER INFORMATION

For more information about the project or about the working conditions, please contact Alexandra Lassota (a.a.lassota@tue.nl<mailto:a.a.lassota@tue.nl>) or Frits Spieksma (f.c.r.spieksma@tue.nl<mailto:f.c.r.spieksma@tue.nl>)

HOW TO APPLY

Applications should be done through the following website:

https://jobs.tue.nl/nl/vacature/phd-on-structural-mixed-integer-programming-in-combinatorial-optimization-1071234.html

Besides personal and contact information, you should upload the following documents as PDFs:

• A cover letter in which you describe your motivation, research experience, interests, and qualifications for the position.

• A curriculum vitae including two academic references. We do not need reference letters at this stage.

• B.Sc. and M.Sc. transcripts

Do not upload any other documents

We look forward to receiving your application and will screen it as soon as possible. The vacancy closing date will be Mai 19, 2024, or until the position is filled.
**********************************************************
*
* 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, April 16, 2024

[DMANET] Call for Paper - IEEE Cybermatics Congress 2024 (Includes IEEE Blockchain 2024, IEEE iThings 2024, IEEE CPSCom 2024, IEEE GreenCom 2024 and IEEE SmartData 2024) Copenhagen, Denmark, August 19-22, 2024

───────────────────────────────

Call for Paper - IEEE Cybermatics Congress 2024 (Includes IEEE Blockchain
2024, IEEE iThings 2024, IEEE CPSCom 2024, IEEE GreenCom 2024 and IEEE
SmartData 2024)

Copenhagen, Denmark, August 19-22, 2024

Website: https://ieee-cybermatics.org/2024

───────────────────────────────

- * Overview * -

The 2024 IEEE Cybermatics Congress is held in Copenhagen, Denmark, August
19-22, 2024. Advances in computers, information and networks is bringing a
digital cyber world to our daily lives. Numerous digital things or cyber
entities are generated and will reside in the cyber components, to have a
cyber existence in cyber world. Cyberization is an emerging trend forming
the new cyber world and reforming conventional worlds towards cyber-enabled
hyper worlds. Cybermatics is to build systematic knowledge about new
phenomena, behaviors, properties and practices in cyberspace, cyberization
and cyber-enabled hyper-worlds. Cybermatics is characterized by not only
catching up with the human intelligence (e.g., Intelligent sensing, making
decision and control, etc), but also learn from the nature-inspired
attributes (e.g., dynamics, self-adaptability, energy-saving).

The IEEE Cybermatics Congress originated from the 2013 World Cybermatics
Congress (Beijing, China). Cybermatics 2024 is the continuation after the
success of Cybermatics 2023 in Ocean Flower Island, Cybermatics 2022 in
Finland, Cybermatics 2021 in Australia, Cybermatics 2020 in Greece,
Cybermatics 2019 in Atlanta, Cybermatics 2018 in Halifax, Cybermatics 2017
in Exeter, Cybermatics 2016 in Chengdu, Cyermatics 2015 in Sydney, and
Cybermatics 2014 in Taipei. IEEE Cybermatics 2024 aims to provide to
high-profile platform for researchers and engineers to exchange and explore
state-of-art innovations in cyber technology and their applications in
physical, social and mental worlds.

- * Important Dates * -

* Paper Submission Deadline: May 1, 2024 (Firm)

* Author Notification: May 20, 2024

* Camera-ready and Registration: June 15, 2024

* Conference Date: August 19-22, 2024

- * Scope and Interests * -

The technological trends in HPC system evolution indicates an increasing
burden placed on application developers due to the management of the
unprecedented complexity levels of hardware and its associated performance
characteristics. Many existing scientific applications codes are unlikely
to perform well on future systems without major modifications or even
complete rewrites. In the future, it will be necessary to utilize, in
concert, many characteristics such as multiple levels of parallelism, many
lightweight cores, complex memory hierarchies, novel I/O technology, power
capping, system-wide temporal/spatial performance heterogeneity and
reliability concerns. The parallel and distributed computing (PDC)
community has developed new programming models, algorithms, libraries and
tools to meet these challenges in order to accommodate productive code
development and effective system use. However, the scientific application
community still needs to identify the benefit through practical evaluations.

Thus, the focus of this workshop is on methodologies and experiences used
in scientific and engineering applications and algorithms to achieve
sustainable code development for better productivity, application
performance and reliability. In particular, we will focus on the following
topics in parallel and distributed scientific and engineering applications,
and not limited to:

* Big Scientific Data

* Performance modeling and simulation for the execution of scalable
scientific applications on new heterogeneous architectures.

* Graph analytics with their (scientific) applications

* Code modernization methodologies and experiences for adapting the changes
in future computing systems.

* Languages for scientific computing on hybrid systems. (e.g., Python,
MPI+X where X is OpenMP, OpenCL, CUDA etc.)

* Tools and techniques for improving the performance, reliability and
resilience if scientific applications.

* Use cases of enterprise distributed computing technology (Such as
MapReduce, Data Analytics and Machine-learning tools) in scientific and
engineering applications.

* Scalable parallel and distributed algorithms supporting science and
engineering applications.

* Performance portability across heterogeneous architecture.

- * Paper Submission Guidelines * -

All papers must be submitted electronically and in PDF format. The material
presented should be original and not published or under submission
elsewhere. Authors should submit eitherfull papers of up to 10 pages, or
short papers fo up to 4 pages, following strictly the IEEE Computer Society
Proceedings Manuscript style, using two-column, single-space format, with
10-point font size. Figures and references must be included in the page
limit. Oversized papers will be automatically rejected by the PC chairs. At
least one of the authors of each accepted paper must register early to
attend the conference, in order for the paper to appear in the conference
proceedings.

- * Five Conferences under the Congress * -

The 7th IEEE International Conference on Blockchain (Blockchain 2024)

The 10th IEEE International Conference on Smart Data (SmartData 2024)

The 17th IEEE International Conference on Cyber, Physical and Social
Computing (CPSCom 2024)

The 17th IEEE International Conference on Internet of Things (iThings 2024)

The 20th IEEE International Conference on Green Computing and
Communications (GreenCom 2024)

- * Organising Committee * -

General Chairs:

Weizhi Meng, Technical University of Denmark, Denmark

Chonggang Wang, InterDigital Inc., USA

Hironori Washizaki, Waseda University, Japan

Schahram Dustdar, TU Wien, Austria

Program Chairs:

Vincenzo Piuri, Universita' degli Studi di Milano, Italy

Mianxiong Dong, Muroran Institute of Technology, Japan

Man Lin, St. Francis Xavier University, Canada

[DMANET] PhD in Machine Learning, Decision-making and Stochastic Control at the University of Hertfordshire, UK

[Apologies for multiple posts; please distribute to interested people!]

We are looking for applicants for a fully funded PhD (£19,632 per annum
bursary plus the payment of the student fees) in the areas of Machine
Learning, Decision-making and Stochastic Control at the Computer Science
Department of the University of Hertfordshire, United Kingdom.

**PhD Project**

Recent advancements in Artificial Intelligence (AI) have resolved
challenges once deemed insurmountable just a decade ago. The integration of
machine learning, decision-making, and stochastic control is central to
this breakthrough. This project will push the boundaries of *Continual
Reinforcement Learning* by investigating how agents can continuously learn
and adapt over time, how they can autonomously develop and flexibly apply
an ever-expanding repertoire of skills across various tasks, and what
representations allow them to do this efficiently. Addressing these
questions is crucial for creating AI systems that, despite limited
computational resources, can sustain autonomous learning and adaptation in
ever-changing environments.The selected candidate will have the opportunity
to master and contribute to the cutting-edge techniques in deep
reinforcement learning, incorporating principles from probabilistic machine
learning, such as information theory, intrinsic motivation, and open-ended
learning frameworks. The project will employ computer games as benchmarking
tools and/or apply its findings to robotic systems (in simulations or on
real-world platforms), including manipulators, intelligent autonomous
vehicles, and humanoid robots. This PhD project offers a unique chance to
explore some of the most profound and fascinating questions in AI today,
providing the opportunity to make a significant contribution to a field at
the forefront of AI research.

**Requirements**

We are looking for a student with genuine interest in Artificial
Intelligence. A background in computer science, engineering or mathematics,
together with solid programming skills, are essential requirements.
Experience in reinforcement learning, deep learning or robotics are not
mandatory but desirable, and will be considered a plus during the selection
process. The applicant will be expected to disseminate their work
publishing scientific articles and/or participating at international
conferences. To be fluent in English is mandatory.

**Where**

The PhD will take place in the Adaptive System research group of the
Computer Science department of the University of Hertfordshire, United
Kingdom. The group is specialised in probabilistic approaches to Artificial
Intelligence, used for a wide range of applications such as robotics,
video-games and cognitive modelling.

According to the Research Excellence Framework 2021, the University of
Hertfordshire is ranked in the top 25% of all UK universities for research
impact and research in Computer Science has been recognised as excellent,
with 90% of the research submitted and all of the research impact rated as
internationally excellent or world leading. The University of Hertfordshire
has ranked second in the UK 2023 Postgraduate Taught Experience survey,
providing a very stimulating environment, offering a large number of
specialised and interdisciplinary seminars as well as general training and
researcher development opportunities. The University is situated in
Hatfield, in the green belt just 25 minutes by train to London.

**How to Apply**

The application must be done following the procedure indicated in this
website:

https://www.herts.ac.uk/study/schools-of-study/physics-engineering-and-computer-science/engineering-and-computer-science/research-in-engineering-and-computer-science/the-phd-programme-in-computer-science

Interested applicants may want to contact Dr. Nicola Catenacci Volpi (
n.catenacci-volpi@herts.ac.uk) to discuss the project, the PhD program at
the University of Hertfordshire and details about the application process.

**Deadline**

1/5/2024

*-----------------------------------*

Dr. Nicola Catenacci Volpi, PhD

Research Fellow in Information Theory for AI & Robotics

Adaptive Systems Research Group

The University of Hertfordshire

Department of Computer Science

College Lane

Hatfield, Hertfordshire AL10 9AB

United Kingdom

E-mail: n.catenacci-volpi@herts.ac.uk

[DMANET] Call For Papers: ICT-DM, Setif, Algeria, Deadline: 30 April

Dear Colleagues,

We are pleased to announce that the *2024 International Conference on
Information and Communication Technologies for Disaster Management (ICT-DM
2024)* in its 9th edition will be held in the beautiful city of* Setif,
Algeria*, in November, 2024.

Conference website: https://ict-dm2024.univ-setif.dz/index.html

Keynote speakers:

-* Prof. Erol Gelenbe,* Polish Academy of Sciences, Poland
- *Prof. Zonghua Zhang*, CRSC R&D Institute Group Co. Ltd, China
- *Prof. Saadi Boudjit*, University Sorbonne Paris Nord, France
- *Prof. Ioannis Pitas*, the Aristotle University of Thessaloniki, Greece
- *Prof. Bruno Tuffin*, INRIA Rennes, France

Important dates:

Paper submission deadline: *30 April 2024*
Acceptance notification: *30 June 2024*
Camera-ready submission:* 21 July 2024*
Authors registration deadline: *21 July 2024*
Conference date:* 19-21 November 2024*

We look forward to receiving your submission.

Best regards,
Shen Wang

[DMANET] Postdoc at Penn State (Fair Division, Matching Theory, Mechanism Design)

Dear Colleagues,

The DS/AI group at Penn State is accepting applications for a postdoctoral
position starting Summer/Fall 2024. Research in this position primarily
focuses on *fairness in resource allocation, matching markets, mechanism
design*, and in general *computational social choice*. We accept
applications from all candidates with a PhD (before the start date) in
computer science, economics, operations research, mathematics, or other
related fields.

*About the position:*

The successful candidate will become a postdoctoral fellow at the College
of Information Sciences and Technology (IST) of the Pennsylvania State
University and will be affiliated with the Center for Artificial
Intelligence Foundations and Engineered Systems (Café) and the FAIR lab led
by Prof. Hadi Hosseini <https://faculty.ist.psu.edu/hadi/index.html>.

The position is for one year, with the possibility of renewal. The start
time and the duration of the position are *flexible*.

The successful candidate will have the opportunity to work with highly
motivated graduate students and receive strong support for career
development through training on teaching, grant proposal writing, and other
collaborative work.

*To apply:*

- Please send your CV, research statement, and any other relevant material
(in one PDF file) to: hadi@psu.edu

- Deadline (soft deadline): *May 1, 2024*.

- Applications will still be accepted after this deadline, but the
priority will be given to those applications received by the deadline.

Individuals from underrepresented groups or women are particularly
encouraged to apply.

Please do contact me if you have any questions about this position or its
deadline.

Best,

Hadi
--
Hadi Hosseini, Ph.D.
Associate Director, Center for Artificial Intelligence Foundations and
Engineered Systems (CAFE)
Assistant Professor, College of Information Sciences and Technology

Pennsylvania State University

University Park, PA

https://faculty.ist.psu.edu/hadi/

[DMANET] “AIROYoung Dissertation Award” 2024 – Call for Applications for a Ph.D. thesis award

*Call for Applications for the Ph.D. Thesis*
* "AIROYOUNG DISSERTATION AWARD" 2024*

*AIROYoung* (AY) announces the *"AIROYoung Dissertation Award 2024"*, for
the best doctoral thesis discussed in Operations Research at an Italian
university, during the period July 1, 2023 – June 30, 2024.

*PROCESS OF SELECTION, EVALUATION, AND PRESENTATION OF THE FINALIST THESES*

To evaluate the applications that will be received, AY will identify jurors
external to its board (current and previous), chosen among (former) members
and/or collaborators of AY.

In particular, the selection process will be divided into the following
three phases.

1. *A first committee of reviewers* will carry out a *preliminary
evaluation* of the doctoral theses. For each thesis, two reviewers will
each create a report justifying a score of up to 100 points, according to
the criteria indicated below:

- Pertinence of the thesis topic(s) (maximum 15 points)
- Scientific contribution (maximum 35 points)
- Impact and interdisciplinarity (maximum 25 points)
- Quality of the publications taken from the thesis (maximum 15 points)
- Writing quality (maximum 10 points)

2. Based on the same criteria, a *second committee* will receive all the
reports of all the reviewers to *compare all the theses overall*, thus
obtaining a* definitive evaluation* and a *ranking*. At most, the first
four theses in the ranking will be named finalists and will access the
special session to be held during the International Conference on
Optimization and Decision Science – ODS2024
<https://www.airoconference.it/ods2024/>.

3. During the special session at ODS 2024, a *third committee* will
evaluate the *presentation *of each finalist thesis, awarding *3 bonus
points* to the best presentation.

*ANNOUNCEMENT OF THE WINNING THESIS*

The winning thesis will be the one with the highest overall score and will
be announced during ODS 2024.
In case of a tie, the one with the highest score net of the bonus will win.
In case of a further tie (i.e., if the first two theses in the ranking do
not obtain the presentation bonus), there will be an ex aequo, and the
prize will be divided.

*PARTICIPATION REQUIREMENTS*

To be able to participate, you must:

- Have discussed a doctoral thesis in Operations Research between
01/07/2023 and 30/06/2024 at an Italian university;
- Be an AIRO member for the calendar year 2024 or 2025. Having
participated in ODS 2023 or being registered to ODS 2024 grants automatic
AIRO membership.

Not being registered for ODS 2024 does not represent an exclusion criterion
from the call. Even if a finalist does *not *participate at ODS 2024,
presenting during the conference will still be mandatory. In the event of
an impossibility to attend in person, a remote presentation will be
possible. To effectively organise the session, the finalists not already
registered for ODS 2024 will be directly contacted by the AIROYoung board.

*HOW TO APPLY*

The application form must be submitted by filling in the following Google
Form
<https://docs.google.com/forms/d/e/1FAIpQLSe8am1aIo5DM1yZ1Azj7Jj914Nb4EsZAy56RKMVDIGsfUhzRw/viewform>

*Deadline to participate: May 31, 2024.*

Specifically, in addition to personal data and a contact address, anyone
wishing to apply must attach the following documents (all in PDF format):

- a copy of the* doctoral thesis*;
- a *summary *of the thesis (in English; font-size: 11pt; maximum
length: 5 pages, bibliographical references excluded);
- a copy of their *curriculum vitae* (in English; also indicate the date
of the defence of the thesis, taken place or expected by June 30, 2024);
- if any, a copy of each publication taken from the thesis;
- a *proof of the AIRO membership* for the calendar year 2024 or 2025,
such as:

1. the certificate of participation in the ODS 2023 conference (the
registration fee for the conference included the AIRO membership fee for
2024);
2. the registration receipt for the ODS 2024 conference (the
registration fee for the conference includes the AIRO membership fee for
2025);
3. the receipt of the payment made to AIRO to become a member in 2024 or
2025.

*AWARD*

Each finalist will receive a certificate. The winning person will also
receive a cash prize of €250. In case of an ex aequo, the prize will be
divided.

For more information, contact the AY board:
aydissertationaward2024@gmail.com

--
*AIROYoung*
Website https://www.airoyoung.org/
Twitter @Airoyoung
Facebook /AIROYoungResearchersChapter
Instagram @airoyoung

[DMANET] ICT-DM 2024 - Submission deadline 30 April - Call for Papers

Dear Colleagues,

Conference website:https:: //ict-dm2024.univ-setif.dz/index.html

Keynote speakers:

Important dates:

Paper submission deadline: *30 April 2024*
Acceptance notification: *30 **June 2024*
Camera ready submission:* 21 **July 2024*
Authors registration deadline: *21 **July 2024*
Conference date:* 19-21 **November 2024*

We look forward to receiving your submission.

Best regards

Theory Announcements

Thursday, April 18, 2024

[DMANET] VCLA International Student Awards - Call for Nominations

[DMANET] WG 2024: Call for Participation

Wednesday, April 17, 2024

[DMANET] Highlights of Parallel Computing (HOPC) Call for Papers (Nantes, France)

[DMANET] [CP 2024] - Call for Doctoral Program Submissions

[DMANET] [CP 2024] - Call for Tutorial Proposals

[DMANET] 1-year postdoctoral position on algorithm, computational complexity, and combinatorics in low-dimensional topology/quantum topology - INRIA, France

[DMANET] DIMACS Workshop on Modeling Randomness in Neural Network Training: Mathematical, Statistical, and Numerical Guarantees

[DMANET] IWOCA 2024: Call for Participation

[DMANET] LMW@LICS and ICALP '24 - Call for participation and scholarship applications

[DMANET] PhD and postdoc positions at Ben-Gurion University, Israel

[DMANET] GandALF 2024: Last Call for Papers

[DMANET] CIAA 2024 - Call for Papers (submission deadline extended to May 3)

[DMANET] Fwd: 2-year Postdoc Quantum Error Correction and Quantum Graph Theory at TU Eindhoven

[DMANET] ORAHS 50 in Turin, 14 - 20 July 2024: deadline for submissions extended

[DMANET] PhD position at Eindhoven University of Technology, The Netherlands

Tuesday, April 16, 2024

[DMANET] Call for Paper - IEEE Cybermatics Congress 2024 (Includes IEEE Blockchain 2024, IEEE iThings 2024, IEEE CPSCom 2024, IEEE GreenCom 2024 and IEEE SmartData 2024) Copenhagen, Denmark, August 19-22, 2024

[DMANET] PhD in Machine Learning, Decision-making and Stochastic Control at the University of Hertfordshire, UK

[DMANET] Call For Papers: ICT-DM, Setif, Algeria, Deadline: 30 April

[DMANET] Postdoc at Penn State (Fair Division, Matching Theory, Mechanism Design)

[DMANET] “AIROYoung Dissertation Award” 2024 – Call for Applications for a Ph.D. thesis award

[DMANET] ICT-DM 2024 - Submission deadline 30 April - Call for Papers

Mailing Lists

Search This Blog

Blog Archive

Theory Announcements

Thursday, April 18, 2024

Wednesday, April 17, 2024

Tuesday, April 16, 2024

Mailing Lists

Subscribe To

Search This Blog

Blog Archive