Theory Announcements: July 2023

Monday, July 31, 2023

[DMANET] SCORES'23 in Koper, Slovenia

Student Computing Research Symposium (SCORES) is an annual research conference jointly organized by University of Primorska, University of Ljubljana and University of Maribor. Its goal is to encourage students to present and publish their research work in the domain of computer science and to facilitate networking and collaboration.

There will be no registration fee, however we ask participants to register at earliest convenience.
Due to several requests the submission deadline is extended to August 31st, 2023 – see all important dates below:

Submission: August 31st, 2023
Notification: September 22nd, 2023
Registration: September 10th, 2023
Conference: October 5th, 2023
Venue: UP FAMNIT, Koper, Slovenia
Website: https://www.scores.si/

More infromation:
https://www.scores.si/assets/SCORES23.pdf

**********************************************************
*
* 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] 3-year postdoc position in probabilistic combinatorics at TU Graz, Austria

Applications are invited for a postdoc position for 3 years at TU Graz,
Institute of Discrete Mathematics, Combinatorics Group:
https://www.math.tugraz.at/comb/

The envisioned starting date is 1 November 2023, but starting earlier or
later is possible.

The candidate should exhibit a strong background and track record in
probabilistic combinatorics and/or discrete probability theory.

The position is funded by the Austrian Science Fund (FWF) within the
Austrian-German joint project "Sparse random combinatorial structures".
There are no teaching obligations. The salary is according to the
standard personnel costs and salaries for FWF projects
(https://www.fwf.ac.at/en/research-funding/personnel-costs) -- the
current gross monthly salary is 4,351.90 EUR (14 x a year).

Application documents:
- CV
- short description of research interests
- list of two people who may be contacted for reference letters

All application documents in a single PDF-file should be submitted to

Ms Karin Kernbichler
karin.kernbichler@tugraz.at

Applications received by 15 September 2023 will be given full
consideration. The interview with short-listed candidates will take
place online on 29 September.

https://www.math.tugraz.at/comb/index.php?link=jobs

Sunday, July 30, 2023

[DMANET] Algorithms and CS Theory - Postdoc Positions and Ph.D. programs in Israel

Hi Everyone,

Professor Ely Porat is recruiting postdoctoral researchers and Ph.D.
Students for the theory and Algorithms Group at the Computer Science
Department of Bar-Ilan university in Ramat Gan, Israel.

The main fields of the group research are algorithms, data
structures,Pattern Matching and Streaming Algorithms.

The group is partially funded by an ERC Grant (MPM 683064) and other
competitive grants, hence, Prof. Porat can provide suitable students
with generous scholarships.

For postdoctoral researchers, we are looking for researchers in a
mature stage of their academic capabilities, with a Ph.D. degree in
Computer Science or Mathematics and with a strong publication record
in Theoretical Computer Science. Our threshold for applicants is at
least three papers accepted to top tier conferences (e.g. STOC, FOCS
or SODA).
The positions will be for at least one year (preferably two years of
advance commitment) with the possibility of extension .

For Ph.D. programs we require students with M.Sc. Degree in Computer
Science or related field which has at least one publication in an
international peer reviewed conference or journal.

For both kinds of positions (Ph.D. students and postdoctoral
researchers) there's a possibility to start at any stage of the year
(any synchronization with academic tears is not necessary).
Researchers and graduate students that will be accepted to the group
may pursue their own line of interest but a focus related to the
existing research areas of the group is very encouraged.

Please send your application (including a cover letter, a curriculum
vitae, a list of publications, and the names and contact information
of at least two references) to recruit.postdoc@datalab.cs.biu.ac.il.
Please attach relevant documents as pdf files.

For more details and questions - please write back to this email
address itay@datalab.cs.biu.ac.il

Best regards,
Itay Ben Tzvy Fayerverker
Prof. Ely Porat's Lab. manager
**********************************************************
*
* 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] ALENEX24 -- Second call for papers

============================================================
ALENEX24: SIAM Symposium on Algorithm Engineering and Experiments
Westin Alexandria Old Town
Alexandria, VA, United States, January 7-8, 2024
Conference website https://www.siam.org/conferences/cm/conference/alenex24
Submission link https://easychair.org/conferences/?conf=alenex24
Abstract registration deadline August 10, 2023
Submission deadline August 17, 2023
============================================================

The aim of ALENEX is to provide a forum for the presentation of original
research in the design, implementation, and experimental evaluation of
algorithms and data structures. Typical submissions will include an
extensive experimental analysis of nontrivial algorithmic results,
ideally bridging the gap between theory and practice. We also invite
submissions that address methodological issues and standards in the
experimental evaluation of algorithms and data structures.

Relevant areas of applied algorithmic research include but are not
limited to databases; geometry; graphs and networks, including web
applications; operations research; combinatorial aspects of scientific
computing; and computational problems in the natural sciences or
engineering.

Also encouraged are submissions that address algorithms and data
structures for advanced models of computing, including memory
hierarchies and parallel computing, ranging from instruction parallelism
over multicore computing to high-performance and cloud computing.

Proceedings will be published openly and electronically in January 2024
as SIAM ePubs. ALENEX is supported by SIAM.

ALENEX is co-located with the meetings listed below. Since researchers
in all fields are approaching the problem of learning detailed
information about the performance of particular algorithms, we expect
that interesting synergies will develop.

ACM-SIAM Symposium on Discrete Algorithms (SODA'24)
SIAM Symposium on Simplicity in Algorithms (SOSA'24)

============================================================
Submission Guidelines
============================================================

For detailed information on submitting to ALENEX'24 please check:

https://www.siam.org/conferences/cm/submissions-and-deadlines/alenex24-submissions-deadlines

============================================================
Program Committee
============================================================

Program Committee Co-chairs

Rezaul Chowdhury, Stony Brook University, U.S.
Solon Pissis, CWI and Vrije Universiteit, The Netherlands

Program Committee

    Gerth Stølting Brodal, Aarhus University, Denmark
    Alex Conway, VMware Research Group, U.S.
    Matteo Frigo, Google, U.S.
    Yan Gu, University of California, Riverside, U.S.
    Tobias Heuer, Karlsruhe Institute of Technology, Germany
    Dominik Kempa, Stony Brook University, U.S.
    Florian Kurpicz, Karlsruhe Institute of Technology, Germany
    Grigorios Loukides, King's College, London, United Kingdom
    Kunsoo Park, Seoul National University, South Korea
    Simon J. Puglisi, University of Helsinki, Finland
    Jakub Radoszewski, University of Warsaw and Samsung R&D Warsaw, Poland
    Harsha Simhadri, Microsoft Research, India
    Yihan Sun, University of California, Riverside, U.S.
    Jesmin Jahan Tithi, Intel Labs, U.S.
    Renato Werneck, Amazon, U.S.

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

--
Solon P. Pissis, Ph.D

Senior Researcher
Networks & Optimization group
Centrum Wiskunde & Informatica (CWI)

Associate Professor
Bioinformatics group
Computer Science, Vrije Universiteit

Tel: +31 62 881 7122
Email: solon.pissis@cwi.nl
WWW: https://homepages.cwi.nl/~solon/

[DMANET] [2023 Call Ph.D. University of L'Aquila (Italy)]

The PhD Program in ICT at the University of L'Aquila
(http://phdict.disim.univaq.it)
offers 20 scholarships in the context of a graduate school of excellence
around
the major topics in Information and Communication Technology.
In particular, the available grants will be as follows:

* 6 grants funded by the University of L'Aquila: on all research topics
treated in the PhD Program in ICT

* 4 grants aimed at carrying out research concerning:
--> "Regional digital twin–civil protection", managed with Regione Abruzzo,
Agenzia Regionale di Protezione Civile (APC). Referring Professor: A. Di
Marco
--> "Regional digital twin–improving geographical information system",
managed with USRA – Ufficio Speciale per la Ricostruzione dell'Aquila -
Referring Professor: A. Di Marco
--> "Data collection and analysis system from a video surveillance system
of a network of municipalities of the 2009 earthquake crater" managed with
USRC – "Ufficio Speciale per la Ricostruzione dei Comuni del Cratere" -
Referring Professor: A. Di Marco
--> "Safe and smart villages: technological and digital innovation of
networks and services for citizens and economic operators for the
intelligent management of resources and the safe and sustainable
development of territorial capital", managed with USRC – "Ufficio Speciale
per la Ricostruzione dei Comuni del Cratere" - Referring Professor: F.
Graziosi

* 3 grants aimed at carrying out research concerning:
--> "Study of architectures and protocols for vehicular networks in
intelligent and cooperative transport systems (C-ITS)", managed with
Consorzio Università Industria Radiolabs - Roma. Referring Professor: P. Di
Marco
--> "Investigating the impact of software refactoring on performance and
energy" - Referring Professor: D. Di Pompeo
--> "Computational methods of analysis and synthesis of the auditory scene
to support immersive and connected extended reality services". Referring
Professor: F. Graziosi

* 1 grant aimed at carrying out research concerning "Generative AI
metaverse for the cultural heritage" - Referring Professor: H. Muccini

* 5 grants aimed at carrying out research concerning:
--> "Multi-user and multi-agent three-dimensional immersive environments",
managed with Armundia Group S.r.l. - L'Aquila - Referring Professor: G. De
Gasperis
--> "Integrated geospatial system for solar energy support", managed with
Rainbow Lab S.r.l. - Roma - Referring Professor: V. Cortellessa
--> "Architecture of a high throughput, low observability avionics
datalink", managed with Leonardo S.p.A. - Roma - Referring Professor: F.
Santucci
--> "Reliability and fault tolerance of electric propulsion systems for
industrial vehicles", managed with TEKNE S.r.l. - Ortona (CH) - Referring
Professor: C. Buccella
--> "Development of new duty cycle modeling and optimization techniques in
the context of semiconductor device manufacturing systems", managed with
Lfoundry S.r.l. - Avezzano - Referring Professor: A. D'Innocenzo

* 1 grant to work on "Development of modern strategies for cloud and high
performance computing integration", managed with CINECA. Referring
Professor: G. Di Stefano

The program is open to national and international students. The PhD Program
aims to provide a flexible and stimulating environment for enabling
effective connection/integration between academic curricula and industry
needs.
Applications for the grants funded by the University of L'Aquila are
invited from candidates interested in working in the following topics:
- Heterogeneous complex systems modeling and control
- Autonomous systems and intelligent agents
- Identification, learning and data enabled control
- Networked Control Systems
- Resiliency, robustness and security in cyber-physical systems
- Modeling and control in intelligent transportation systems, smart energy
systems, smart buildings, smart factory, biological systems
- Fiber-optic communications and photonics
- 5G and beyond-5G wireless communication systems
- Service-aware networking and cybersecurity
- Communication technologies for intelligent transport, smart cities, and
Industry 4.0
- Power Converters and intelligent energy systems for industrial
applications, e-transportation, smart grids and smart buildings
- Embedded systems
- Human-computer interaction
- Algorithmic game theory
- Algorithms and optimization for complex networks and applications
- Algorithm engineering
- Operations research models and methods
- Artificial Intelligence: Intelligent Agents, Cognitive Robotics,
Knowledge Representation and Reasoning, Neurosymbolic AI, Applications
- Autonomic computing and automated software synthesis
- Software engineering
- Model-driven engineering
- Machine learning
- Bioinformatics
- Data Science

This wide combination of topics stems from the richness of research
interests of faculties in our department (
http://www.disim.univaq.it/main/index.php), in the Center of Excellence
DEWS (http://www.dews.ing.univaq.it/index.php?id=dewshome), and in the
Center of Excellence EX_EMERGE (http://exemerge.disim.univaq.it/), which
combine Information Engineering, Computer Science and Mathematics.

Our PhD program in ICT also offers opportunities to spend training periods
in world-wide renowned schools having a formal institutional agreement with
the University of l'Aquila, such as: University of California at Berkeley,
University of California at Los Angeles, Swedish Royal Institute of
Technology (KTH), ETH Zurich, University College London, Carnegie Mellon
University, University of Cambridge, Universitat Politecnica de Catalunya,
Karlsruhe Institute of Technology, University of Tabriz, Tianjin
University, and Harbin Institute of Technology e University of Wuhan.

Our PhD students will also enjoy a wide choice of courses and a rich
schedule of seminars held by scientists of international reputation (
http://phdict.disim.univaq.it/courses-and-seminars)

You can find more information about our PhD program in ICT here:
http://phdict.disim.univaq.it

The call for applications is available at
https://www.univaq.it/en/include/utilities/blob.php?table=bando_dottorato&id=55&item=bando_en

(details related to the PhD in ICT positions are on pages 22-24)

Application procedure instructions are available at
https://www.univaq.it/en/include/utilities/blob.php?table=bando_dottorato&id=55&item=istruzioni_compilazione_domanda_en

The deadline to submit applications is 24 August 2023.

Prospective candidates can obtain further information by writing to the
contacts provided at http://phdict.disim.univaq.it/contacts/
**********************************************************
*
* 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] 10th International Conference on Behavioural and Social Computing (BESC 2023): Call for Late Breaking Results

*** Call for Late Breaking Results ***

10th International Conference on Behavioural and Social Computing (BESC 2023)

October 30 - November 1, 2023, 5* Golden Bay Beach Hotel, Larnaca, Cyprus

http://besc-conf.org/2023/

(*** Submission Deadline: 31 August, 2023 AoE ***)

The International Conference on Behavioural and Social Computing (BESC) is a major
international forum that brings together academic researchers and industry practitioners from
artificial intelligence, computational social sciences, natural language processing, business
and marketing, and behavioural and psychological sciences to present updated research
efforts and progresses on foundational and emerging interdisciplinary topics of BESC,
exchange new ideas and identify future research directions.

The BESC series of conferences are technically sponsored by IEEE SMC (Systems, Man and
Cybernetics) Society as well as IEEE CIS (Computational Intelligence Society) and the
proceedings are published by IEEE

BESC 2023 invites now submissions for Late Breaking Results. The submitted papers should be
of original, high-quality research addressing cutting-edge developments from all areas of
behavioural and social computing. The conference aims to bring together researchers and
practitioners from academia and industry to share their knowledge, experience, and
perspectives on the latest trends, challenges, and opportunities in this rapidly evolving field.

Topics of interest include, but are not limited to:

Social Computing, Computational Social Science and Applications
• Computational models of social phenomena
• Social behaviour
• Social network analysis
• Semantic web
• Collective intelligence
• Security, privacy, trust in social contexts
• Social recommendation
• Social influence and social contagions
• Quantifying offline phenomena through online data
• Forecasting of social phenomena
• Science and technology studies approaches to computational social science
• Social media and health behaviours
• Social psychology and personality
• New theories, methods, and objectives in computational social science

Digital Humanities
• Digital media
• Digital humanities
• Digital games and learning
• Digital footprints and privacy
• Crowd dynamics
• Digital arts
• Digital healthcare
• Activity streams and experience design
• Virtual communities (e.g., open-source, multiplayer gaming, etc.)

Information Management and Information Systems (IS)
• Decision analytics
• E-Business
• Decision analytics
• Computational finance
• Societal impacts of IS
• Human behaviour and IS
• IS in healthcare
• IS security and privacy
• IS strategy, structure and organizational impacts
• Service science and IS

Natural Language Processing
• Web mining and its social interpretations
• Sentiment Analysis, Stylistic Analysis, and Argument Mining
• Opinion mining and social media analytics
• Credibility of online content
• Computational Linguistics
• Mining big social data
• Cognitive Modelling and Psycholinguistics

Behaviour and User Modelling, Privacy, and Ethics
• Behaviour change
• Positive technology
• Personalization for individuals, groups and populations
• Large scale personalization, adaptation and recommendation
• Web dynamics and personalization
• Privacy, perceived security and trust
• Technology and Wellbeing
• Ethics of computational research on human behaviour

Technology Enhanced Learning (TEL)
• E-Learning and M-Learning
• Open and Distance Learning
• User modeling and personalization in TEL
• TEL in secondary and in higher education
• New tools for TEL

BESC 2023 will also host the following Special Sessions. Papers accepted in any of the Special
Sessions will be included in the same IEEE conference proceedings with the papers accepted
for the general technical program.

● Computational Social Psychology in Post Covid-19 Period
● Artificial Intelligence for Mental Health, Mental Illness, Psychiatic Diagnosis, and
Prediction
● Intelligent E-Learning at Post Covid-19 Era
● Big Data and AI-Powered Decision Support Systems in Business
● Understanding the Citizen's Behavior in Cognitive Cities
● Nudges and Behavioural Computing Models for a Sustainable and Equitable
Development

SUBMISSION INSTRUCTIONS

The paper submission system is using Easy Chair and the submission link is:
https://easychair.org/conferences/?conf=besc2023 .

All papers will be reviewed by the Program Committee on the basis of technical quality,
relevance to BESC 2023, originality, significance and clarity.

Please note:
• All submissions should use IEEE two-column style. Templates are available here:
https://www.ieee.org/conferences/publishing/templates.html
• All papers must be submitted electronically through the paper submission system in PDF
format only. BESC 2023 accepts research papers (6 pages), special session papers (6 pages)
and Doctoral Symposium papers (4 pages).
• The page count above excludes the references (but includes any appendices).
• Paper review will be double-blind, and submissions not properly anonymized will be
desk-rejected without review.
• Submitted papers must not substantially overlap with papers that have been published or
that are simultaneously submitted to a journal or a conference with proceedings.
• Papers must be clearly submitted in English and will be selected based on their originality,
timeliness, significance, relevance, and clarity of presentation.
• Submission of a paper should be regarded as a commitment that, should the paper be
accepted, at least one of the authors will register and attend the conference to present the
work.
• The use of artificial intelligence (AI)–generated text in an article shall be disclosed in the
acknowledgements section of any paper submitted to an IEEE Conference or Periodical. The
sections of the paper that use AI-generated text shall have a citation to the AI system used to
generate the text.
• All accepted papers will be included in IEEE Xplore and indexed by EI. Top quality papers
after presented in the conference will be selected for extension and publication in several
special issues of international journals, e.g., World Wide Web Journal (Springer), Web
Intelligence (IOS Press), and Social Network Analysis and Mining (Springer), Human-Centric
Intelligent Systems (Springer), Information Discovery and Delivery (Emerald Publishing).

IMPORTANT DATES

• Submission of all papers in the LBR category: 31 August 2023 AoE
• Notification of acceptance for submitted papers: 15 September 2023

• Camera-Ready Submission: 1 October 2023
• Author Registration: 1 October 2023

ORGANISATION

Steering Committee Chair
• Guandong Xu, University of Technology Sydney, Australia

General Chair
• George A. Papadopoulos, University of Cyprus, Cyprus

Program Chairs
• Georgia Kapitsaki, University of Cyprus, Cyprus
• Ji Zhang, University of Southern Queensland, Australia

Special Session Chairs
• Taotao Cai, University of Southern Queensland, Australia
• Ting Yu, Zhejiang Lab, China

Doctoral Symposium Chair
• Barbara Caci, University of Palermo, Italy

Panel and Tutorial Chair
• Philippe Fournier-Viger, Shenzhen University, China

Proceedings Chair
• Md Rafiqul Islam, University of Technology Sydney, Australia

Publicity Chairs
• Chandan Gautam, Institute for Infocomm Research (I2R), A*STAR, Singapore
• Thanveer Shaik, University of Southern Queensland, Australia
• Sanjay Sonbhadra, ITER, Siksha 'O' Anusandhan, India

Webmaster
• Shiqing Wu, University of Technology Sydney, Australia

Saturday, July 29, 2023

[DMANET] LATIN 2024 Call for papers (submission deadline: October 2, 2023)

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

Call for Papers

LATIN 2024

The 16th Latin American Theoretical Informatics Symposium will be held
in Puerto Varas, Chile. All information about the conference can be
found at https://latin2024.cmm.uchile.cl/.

DATES

Submission deadline: October 2, 2023

Notification: December 20, 2023

Camera Ready: January 8, 2024

Symposium: March 18-22, 2024

All deadlines are at 11:59pm anywhere on earth.

SCOPE AND TOPICS

LATIN is devoted to various areas in theoretical computer science
including, but not limited to:

- algorithmic game theory

- approximation algorithms

- analytic combinatorics and analysis of algorithms

- automata theory and formal languages

- combinatorial algorithms

- combinatorial optimization

- combinatorics and graph theory

- complexity theory

- computational geometry

- computational social choice

- data structures

- distributed computing

- fixed-parameter algorithms, including FPT-approximation algorithms

- foundations of data science and theoretical machine learning

- online algorithms

- quantum computing

- randomized algorithms

SUBMISSION

Submissions are limited to fifteen (15) single-column letter-size pages
in Springer LNCS format

(see LNCS author guidelines at
http://www.springer.com/la/computer-science/lncs/conference-proceedings-guidelines
<http://www.springer.com/la/computer-science/lncs/conference-proceedings-guidelines>).

This page limit includes figures and references, but it does not include
an optional appendix. Proofs omitted due to space constraints must be
placed in the appendix, which will be read by the program committee
members at their discretion. In particular, appendices of accepted
papers are not going to be published in the proceedings. The main part
of the submission should therefore contain a clear technical
presentation of the merits of the paper, including a discussion of the
paper's importance within the context of prior work and a description of
the key technical and conceptual ideas used to achieve its main claims.

The conference employs a lightweight double-blind reviewing process.
Submissions should not reveal the identity of the authors in any way. In
particular, authors' names, affiliations, and email addresses should not
appear at the beginning or in the body of the submission. Authors should
ensure that any references to their own related work is in the third
person (e.g., not "We build on our previous work …" but rather "We build
on the work of …"). Nothing should be done in the name of anonymity that
weakens the submission or makes the job of reviewing the paper more
difficult. In particular, references should not be omitted or anonymized.

Papers are submitted electronically via the EasyChair submission system:

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

Simultaneous submission of papers to any other conference with published
proceedings, as well as the submission of previously published papers,
is not allowed. Papers must be written in English. For each accepted
paper at least one author must register and attend the symposium (in
person) to present it. Moreover, an author cannot register for multiple
papers. That is, each accepted paper must have its own registrant.

PROCEEDINGS

Accepted papers will appear in the proceedings of LATIN, which will be
published in Springer Lecture Notes in Computer Science
(http://www.springer.com/la/computer-science/lncs ).

PROGRAM COMMITTEE

Shaull Almagor (Technion)

Gabriela Araujo (Universidad Nacional Autónoma de México)

Flavia Bonomo (Universidad de Buenos Aires)

Fabio Botler (Universidade Federal do Rio de Janeiro)

Mario Bravo (Universidad Adolfo Ibáñez)

Igor Carboni Oliveira (University of Warwick)

Timothy Chan (University of Illinois Urbana-Champaign)

Mark de Berg (TU Eindhoven)

Franziska Eberle (London School of Economics and Political Science)

Celina Figueiredo (Universidade Federal do Rio de Janeiro)

Johannes Fischer (Technische Universität Dortmund)

Emily Fox (The University of Texas at Dallas)

Paweł Gawrychowski (University of Wrocław)

Cristóbal Guzmán (Pontificia Universidad Católica de Chile)

Christoph Haase (University of Oxford)

Adriana Hansberg (Universidad Nacional Autónoma de México)

Tobias Harks (Universität Passau)

Christoph Hertrich (London School of Economics and Political Science)

Martin Hoefer (Goethe University Frankfurt)

Bart Jansen (TU Eindhoven)

Artur Jeż (University of Wrocław)

Andrea Jiménez (Universidad de Valparaíso)

Michael Kerber (Graz University of Technology)

Thomas Kesselheim (University of Bonn)

Arindam Khan (Indian Institute of Science, Bengaluru)

Stefan Kratsch (Humboldt-Universität zu Berlin)

Jan Kretinsky (Technical University of Munich / Masaryk University Brno)

Ian Mertz (University of Warwick)

Pedro Montealegre (Universidad Adolfo Ibáñez)

Ryuhei Mori (Nagoya University)

Gonzalo Navarro (Universidad de Chile)

Alantha Newman (Université Grenoble Alpes)

Harumichi Nishimura (Nagoya University)

André Nusser (University of Copenhagen)

Joël Ouaknine (Max Planck Institute for Software Systems)

Dana Pizarro (Universidad de O'Higgins)

Sergio Rajsbaum (Universidad Nacional Autónoma de México)

Andrea Richa (Arizona State University)

Saket Saurabh (Institute of Mathematical Sciences, Chennai and
University of Bergen)

Kevin Schewior (University of Southern Denmark)

Ildikó Schlotter (Centre for Economic and Regional Studies, Budapest)

Sebastian Siebertz (University of Bremen)

Jose Soto (Universidad de Chile, co-chair)

Maya Stein (Universidad de Chile)

Kavitha Telikepalli (Tata Institute of Fundamental Research, Mumbai)

Roei Tell (Institute for Advanced Study,Princeton NJ, and Center for
Discrete Mathematics and Theoretical Computer Science, Rutgers University)

Erik Jan van Leeuwen (Utrecht University)

Rob van Stee (University of Siegen)

Jose Verschae (Pontificia Universidad Católica de Chile)

Seeun William Umboh (The University of Melbourne)

Andreas Wiese (Technical University of Munich, co-chair)

ORGANIZING COMMITTEE

Jose Soto (Universidad de Chile)

Victor Verdugo (Universidad de O'Higgins)

Waldo Gálvez (Universidad de O'Higgins)

Andreas Wiese (Technical University of Munich)

STEERING COMMITTEE

Michael A. Bender (Stony Brook University)

Armando Castañeda (Universidad Nacional Autónoma de México)

Cristina G. Fernandes (Universidade de São Paulo)

Conrado Martínez (Universitat Politècnica de Catalunya)

Flávio Keidi Miyazawa (Universidade Estadual de Campinas)

Jacques Sakarovitch (CNRS)

[DMANET] CFP EvoMUSART 2024

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

Call for papers for the 13th International Conference on Artificial
Intelligence in Music, Sound, Art and Design (EvoMUSART) · Please
distribute · Apologies for cross-posting

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

The 13th International Conference on Artificial Intelligence in Music,
Sound, Art and Design (EvoMUSART) will take place on 3-5 April 2024, as
part of the evo* event.

EvoMUSART webpage: www.evostar.org/2024/evomusart/

Submission deadline: 1 November 2023

Conference: 3-5 April 2024

EvoMUSART is a multidisciplinary conference that brings together
researchers who are working on the application of Artificial Neural
Networks, Evolutionary Computation, Swarm Intelligence, Cellular Automata,
Alife, and other Artificial Intelligence techniques in creative and
artistic fields
such as Visual Art, Music, Architecture, Video, Digital Games, Poetry, or
Design. This conference gives researchers in the field the opportunity to
promote, present and discuss ongoing work in the area.

Submissions must be at most 16 pages long, in Springer LNCS format. Each
submission must be anonymized for a double-blind review process.

Accepted papers will be presented orally or as posters at the event and
included in the EvoMUSART proceedings published by Springer Nature in a
dedicated volume of the Lecture Notes in Computer Science series.

Indicative topics include but are not limited to:

* Systems that create drawings, images, animations, sculptures, poetry,
text, designs, webpages, buildings, etc.;

* Systems t

hat create musical pieces, sounds, instruments, voices, sound effects,
sound analysis, etc.;

* Systems that create artefacts such as game content, architecture,
furniture, based on aesthetic and/or functional criteria;

* Systems that resort to artificial intelligence to perform the analysis of
image, music, sound, sculpture, or some other types of artistic objects;

* Systems in which artificial intelligence is used to promote the
creativity of a human user;

* Theories or models of computational aesthetics;

* Contextualisation of creative AI in cultural, economic, social, political
or ecological discourse;

* Computational models of emotional response, surprise, novelty;

* Representation techniques for images, videos, music, etc.;

* Surveys of the current state-of-the-art in the area;

* New ways of integrating the user in the process (e.g. improvisation,
co-creation, participation).

More information on the submission process and the topics of EvoMUSART:
www.evostar.org/2024/evomusart/

We look forward to seeing you in EvoMUSART 2024!

The EvoMUSART 2024 organisers

Colin Johnson

Sérgio M. Rebelo

Iria Santos (publication chair)

Friday, July 28, 2023

[DMANET] Due Ext August 23 AHPC 2023 High-Performance Computing Oct 2-5** USA & Online

[Due extended per requests: apologies if you receive multiple copies]
--- Call for Abstracts and Papers -------------
2023 OkIP International Conference on Advances in High-Performance
Computing (AHPC)
Oklahoma City, OK, USA & Online
October 2-5, 2023
https://eventutor.com/e/AHPC003
OkIP Published & Submission to SCOPUS/WoS
Submission Deadline Extended: August 23, 2023
Extended versions of the best papers will be considered for publication
in the inaugural volume of the International Journal of High-Performance
Computing.

*** Keynote
"Embedded AI Applications"
Subramaniam Ganesan, PhD
Oakland University, Rochester, MI, USA

"AI and Digital Transformation: Industry Driven Partnerships"
Adel S. Elmaghraby, PhD
University of Louisville, KY, USA

*** Contribution Types (Two-Column IEEE Format Style):
- Full Paper: Accomplished research results (6 pages)
- Short Paper: Work in progress/fresh developments (3 pages)
- Extended Abstract/Poster/Journal First: Displayed/Oral presented (1
page)

*** Areas:
>> HPC Advanced Concepts
>> Distributed/Parallel/Concurrent Computing
>> Mobile & Wireless Computing
>> Network Architecture/System
>> HPC AI/Simulation/Security
>> HPC Applications

*** New Important Dates:
- Abstract or Paper Submission: August 23, 2023
- Author Notification: September 7-10, 2023
- Camera Ready Paper Submission, Registration: September 20, 2023
- Conference Date: October 2-5, 2023

*** Technical Program Committee
https://eventutor.com/event/36/page/81-committee

Please feel free to contact us for any inquiries at:
Kris Zeuti
OkIP Secretariat
info@okipublishing.com

[DMANET] [MobiCom 2023] [Update] Travel Grant

* MobiCom 2023 Travel Grant Application *

https://sigmobile.org/mobicom/2023/grants.html

* Important Dates *

Deadlines Dates
Application Submission Deadline *August 25, 2023, 11:59
PM EST (UTC-5:00)*
Award Notification September 1,
2023
Deadline to Accept/Decline Travel Grant September 3, 2023

* Student Travel Grant Co-Chairs *

- Xi Li (NEC Laboratories Europe)
xi.li@neclab.eu
- Francesco Restuccia (Northeastern University)
frestuc@northeastern.edu

* *Updated *Grants Requirements/Restrictions *

- The full application package (by the student and the advisor) should
be received
on or before Aug 25, 2023.
- By accepting the travel grants, students are committing to submit a
summary of
the experiences and outcomes of attending the conference.
- Student travel grants are meant to partially cover the cost of
attending and participating
in MobiCom 2023. The only travel expenses that can be reimbursed are
accommodation, advance conference registration, and transportation
(airfare,
driving, etc.).
- For NSF Grants: These grants are available only for full-time
students attending
US colleges and universities (not necessarily US citizens or
permanent residents)
AND for US citizens or permanent residents studying abroad.
- Recipients of NSF travel awards must use US flag carriers.
- *In addition*, there will be three student travel grants which are
Sponsored by the
Spanish Ministry of Economic Affairs and Digital Transformation
through PRTR and
the European Union-NextGenerationEU, for the promotion of
telecommunications studies
in Spain. For these grants, only students who had never been enrolled
in a Spanish
university are eligible. IMDEA Networks will handle payments
(reimbursements) directly
with the students after the conference. The students will have to
provide receipts and
proofs of payments.

We look forward to your submissions. Please feel free to contact us with
any questions
about submitting a grant application.

Best Regards,
--
Ginés García-Avilés.
Publicity Co-Chair MobiCom 2023

[DMANET] PhD position in Operations Research for Healthcare

Dear all,

The Chair of Quantitative Methods at the Department of Business Administration of the University of Bern in Switzerland invites applications for a PhD position in the research project „Establishing Fair and Participative Shift Planning in Healthcare". The research objective is to develop integer programming models and algorithms that facilitate fair shift planning within the healthcare industry. As a member of our research group, you will have the opportunity to collaborate with other PhD students, as well as companies and healthcare institutions involved in this project.

Tasks
- 75% academic research with the aim of writing a cumulative dissertation
- 25% teaching assistance at Bachelor and Master level

Requirements
- A Master's degree (university) in business administration, business engineering, computer science, or applied mathematics with a focus on operations research
- High interest in practical applications of mathematical techniques and operations research
- English proficiency is required; a basic level of German is desirable
- Knowledge of a programming language (e.g., Python)
- Knowledge of optimization software (e.g. Gurobi or CPLEX)

We offer
- A four-year, fully-funded PhD position in an attractive research environment
- Academic education with proximity to the business world. Graduates have an excellent skill set for a quantitative career in industry or a scientific career.
- Opportunity to present research results at international conferences and in leading scientific journals
- Young and motivated team with work location in the center of the city of Bern
- Attractive employment according to the conditions of the canton of Bern (gross starting salary of approx. 68'000 EUR)

The starting date of this position is October 1, 2023, or by agreement. The deadline for applications is August 15, 2023. Please send your application documents as a single PDF file (letter of motivation, CV, and copies of university transcripts/mark sheets) electronically to Prof. Dr. Philipp Baumann, philipp.baumann@unibe.ch<mailto:philipp.baumann@unibe.ch>

Please feel free to distribute this announcement to anyone who might be interested.
Best regards
Philipp Baumann

_____________________________
University of Bern
Faculty of Business, Economics, and Social Sciences
Department of Business Administration
Chair in Quantitative Methods

Prof. Dr.
Philipp Baumann
Associate professor

Engehaldenstrasse 4 (Uni Engehalde)
CH-3012 Bern
Tel. +41 31 684 53 78
philipp.baumann@unibe.ch<mailto:philipp.baumann@unibe.ch>
www.pqm.unibe.ch<http://www.pqm.unibe.ch/>
**********************************************************
*
* 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/
*
**********************************************************

Thursday, July 27, 2023

[DMANET] Permanent Lectureship position in Applied Algebra or Applied Topology at Swansea University

Dear Colleagues,

A permanent Lectureship position in Applied Algebra or Applied Topology is now open at the Department of Mathematics in Swansea University.

The application deadline is September 4, 2023. All the relevant information about the position can be accessed on their webpage using the following link:

https://www.swansea.ac.uk/jobs-at-swansea/current-vacancies/details/?nPostingId=138178&nPostingTargetId=167574&id=QHUFK026203F3VBQB7VLO8NXD&LG=UK&languageSelect=UK&mask=suext

With kind regards,
Nelly Villamizar

Nelly Villamizar
Associate Professor
Department of Mathematics
Swansea University
Website: https://www.swansea.ac.uk/staff/n.y.villamizar<https://www.swansea.ac.uk/staff/n.y.villamizar/>

[DMANET] M-PREF 2023: Call for participation

14th Multidisciplinary Workshop on Advances in Preference Handling

=====================================================
CALL FOR PARTICIPATION
14th Multidisciplinary Workshop on
Advances in Preference Handling (M-PREF 2023)
August 21, 2023, Macao, S.A.R
in conjunction with IJCAI 2023
https://sites.google.com/view/m-pref-2023/home
=====================================================

DESCRIPTION

Human-centered AI requires that AI systems are able to adapt to
humans, to understand the preferences underlying human choice
behavior, and to take them into account when interacting with humans
or when acting on their behalf. Preference models are needed in
decision-support systems such as web-based recommender systems, in
digital assistants and chatbots, in automated problem solvers such as
configurators, and in autonomous systems such as Mars rovers. Nearly
all areas of artificial intelligence deal with choice situations and
can thus benefit from computational methods for handling preferences
while gaining new capabilities such as explainability and revisability
of choices. Preference handling is also important for machine learning
as preferences may guide learning behavior and be subject of dedicated
learning methods. Moreover, social choice methods are of key
importance in computational domains such as multi-agent
systems. Preferences are studied in many areas of artificial
intelligence such as knowledge representation & reasoning, multi-agent
systems, game theory, computational social choice, constraint
satisfaction, logic programming and non-monotonic reasoning, decision
making, decision-theoretic planning, and beyond. Preferences are
inherently a multi-disciplinary topic, of interest to economists,
computer scientists (including AI, databases, and human-computer
interaction), operations researchers, mathematicians and more.

The workshop will provide a forum for presenting advances in
preference handling and for exchanging experiences between researchers
facing similar questions, but coming from different fields.

TOPICS

This broad set of application areas leads to new types of preference
models, new problems for applying preference structures, and new kinds
of benefits. The workshop on Advances in Preference Handling studies
these questions and addresses all computational aspects of preference
handling. This includes methods for the elicitation, learning,
modeling, representation, aggregation, and management of preferences
as well as methods for reasoning about preferences. The workshop
studies the usage of preferences in computational tasks from decision
making, database querying, web search, personalized human-computer
interaction, personalized recommender systems, e-commerce, multi-agent
systems, game theory, computational social choice, combinatorial
optimization, automated problem solving, non-monotonic reasoning,
planning and robotics, perception and natural language understanding,
and other computational tasks involving choices. A particular
challenge consists in using preferences for explaining decisions and
for counterfactual reasoning based on hypothetical preference
change. Another challenge is to explore new application areas for
preferences such as sustainable development and digital healthcare
systems. The workshop seeks to improve the overall understanding of
and best methodologies for preferences in order to realize their
benefits in the multiplicity of tasks for which they are used. Another
important goal is to provide cross-fertilization between the numerous
fields that work with preferences.

- Preference handling in artificial intelligence
- Preference handling in database systems
- Preference handling in multiagent systems
- Applications of preferences
- Preference elicitation and learning
- Preference representation and modeling
- Properties and semantics of preferences
- Practical preferences

PROGRAM

The following schedule is tentative. Please check the following web
page for last minute changes:

https://sites.google.com/view/m-pref-2023/program

09:10am - 09:20am (UTC + 8) Welcome by Organizers

09:20am - 10:00am (UTC + 8) Technical Session

9:20am - 9:40am Paper Presentation:

Guanbao Yu, Umer Siddique, Paul Weng on "Fair Deep Reinforcement
Learning with Preferential Treatment"

9:40am - 10am Paper Presentation:

Yong Zheng and David Xuejun Wang on "Hybrid Multi-Criteria Preference
Ranking by Subsorting"

10am - 10:15am (UTC + 8) Break

10:15am - 11:15am (UTC + 8) Invited Talk:

Piotr Faliszewski on "Method of Equal Shares for Participatory
Budgeting in Practice"

11:15am - 11:45am (UTC + 8) Break

11:45am - 12:45am (UTC + 8) Technical Session

11:45am - 12:05pm Paper Presentation:

Haris Aziz, Xinhang Lu, Mashbat Suzuki, Jeremy Vollen, and Toby Walsh
on "Best-of-Both-Worlds Fairness in Committee Voting"

12:05pm - 12:25pm Contributed Talk:

Xinhang Lu on "Approval-Based Voting with Mixed Goods"

12:25pm - 12:45pm Contributed Talk:

Margot Herin on "Learning Compact Preference Representations based on
Choquet Integrals"

12:45pm - 2pm (UTC + 8) Lunch Break

2pm - 3pm (UTC + 8) Invited Panel

"Fairness: From Social Choice to Machine Learning" ft. Nisarg Shah and
Lirong Xia with Moderator Toby Walsh

3pm - 3:30pm (UTC + 8) Break

3:30pm - 4:30pm (UTC + 8) Invited Talk:

Warut Suksompong on "Weighted Fair Division: Additive Preferences and
Beyond"

4:30pm - 5pm (UTC + 8) Closing:

Ulrich Junker on "Why did we start the M-PREF workshop series?"

ATTENDANCE

Participants can register for W07 - 14th Multidisciplinary Workshop on
Advances in Preference Handling (M-PREF 2023) in the IJCAI 2023
registration system:

https://registration.ijcai.org/auth/login

WORKSHOP CHAIRS

Haris Aziz, UNSW Sydney, Australia
Ulrich Junker, France
Xinhang Lu, UNSW Sydney, Australia
Nicholas Mattei, Tulane University, USA
Andrea Passerini, University of Trento, Italy

WORKSHOP URL

https://sites.google.com/view/m-pref-2023/home

[DMANET] Abstracts Ext August 23: CAIS 2023 Automated and Intelligent Systems, Oct 2-5, USA & Online

[Due extended per requests: apologies for cross-posting]

--- Call for Abstracts and Papers -------------
2023 OkIP International Conference on Automated and Intelligent Systems
(CAIS)
Oklahoma City, OK, USA & Online
October 2-5, 2023
https://eventutor.com/e/CAIS003
Submission Deadline Extended: August 23, 2023
Extended versions of the best papers will be considered for publication
in the inaugural volume of the International Journal of Automated and
Intelligent Systems.

*** Keynotes
"Embedded AI Applications"
Subramaniam Ganesan, PhD
Oakland University, Rochester, MI, USA

"AI and Digital Transformation: Industry Driven Partnerships"
Adel S. Elmaghraby, PhD
University of Louisville, KY, USA

*** Areas:
>> AI, Machine Learning (ML), and Applications
- General ML | Active/Supervised Learning
- Clustering/Unsupervised Learning
- Online Learning | Learning to rank
- Reinforcement Learning | Deep Learning (DL)
- Semi/Self Supervised Learning
- Time Series Analysis | Prediction/Forecasting
- DL Architectures/Generative-Models
- Deep Reinforcement Learning
- Computational Learning Theory
- Bandit/Game/Statistical-Learning Theory
- Optimization Methods and Techniques
- Convex/Non-Convex Optimization
- Matrix/Tensor Methods
- Stochastic/Online Optimizations
- Non-Smooth/Composite Optimization
- Probabilistic Inference | Graphical Models
- Bayesian/Monte-Carlo Methods
- Trustworthy Machine Learning
- ML Accountability/Causality
- ML Fairness/Privacy/Robustness
- Healthcare/DNA/Transportation
- Digital-Economy | Ecommerce Security
- Sustainability | Energy | Green Technology
- Language | Image
- Recommendation Systems

>> Agent-based, Automated, and Distributed Supports
- Multi-Agent Systems | Software Agents
- Dialogue System | Conversational Agent
- Decentralized/Distributed Intelligence
- Context-Aware Computing
- Group Decision Support Systems
- Intelligent Structures/Networks
- Design/Automation Approaches
- Sensor Networks Architectures
- Complex Manufacturing Processes
- Analytical Models | Path Planning
- Multistage Assembly Line
- Automated Inspection
- Natural Language Processing

>> Natural Language Processing (NLP)
- Conversational Agents | Dialogue System
- Large Language Models | Grammatical Tagging
- Natural Language Generation/Toolkit
- Linguistic Morphology | Morphological Analysis
- Morphemesx Characteristics
- Language Models and Smoothing
- Document/Topic Classification/Notation
- Sequence Labeling |Speech Tagging
- Named Entity Recognition
- Lexical Semantics | Word Embeddings
- Phrase Structure | Dependency Syntax
- Sentence Semantics | Speech Recognition
- Question Answering | Machine Translation
- Document Summarization | Sentiment analysis
- Co-Reference Resolution
- Word sense disambiguation
- NLP Tools/Approaches | Statistical NLP
- AI/Machine/Deep Learning Techniques for NPL
- Convolutional/Recurrent Neural Networks

>> Intelligent Systems and Applications
- Medical Nanorobotics |
- Sensory/Embedded Systems
- Embedded Systems | Digital Manufacturing
- Optimization/Evolutionary Algorithms
- Bioinformatics/Biotechnology Applications
- Computer-Vision Applications
- Sensor-Networks Applications
- Intelligent Design | Fuzzy Systems
- Soft/Ubiquitous Computing
- Pervasive/Wearable Computing
- Intelligence Manufacturing | Microsatellite
- Cyber-physical Systems | Kinematics

>> Knowledge-based and Control Supports
- Expert/Complex Systems
- Decision-Support Systems
- Intelligent Control/Supervision Systems
- Knowledge Engineering
- Neural Networks| Structural Optimization
- Intelligent Teleoperation
- Intelligent Shopfloor
- Collision Avoidance | Fault Diagnosis
- Object Detection and Tracking | Path Planning
- Position/Quality/Motion Control
- Predictive Control
- Preventive Maintenance | Defect Detection

>> Robotics and Vehicles
- Unmanned Vehicles/Robots
- Autonomous Vehicles/Robots
- Human-Robot Interfaces
- Human-Robot Interactions
- Intelligent Telerobotics | Service Robots
- Robotic Manipulators/Arms
- Robotic Applications
- Self-Driving Vehicles | Cloud-based Driving
- Vehicular ad hoc Networks |Traffic Detection
- Vehicle-to-Vehicle Communication
- Vehicle Platooning | Steering Systems
- Vehicle dynamics | Traffic Computing

>> New Important Dates:
- Abstract or Paper Submission: August 23, 2023
- Author Notification: September 7-10, 2023
- Camera Ready Paper Submission, Registration: September 20, 2023
- Conference Date: October 2-5, 2023

>> Technical Program Committee
https://eventutor.com/event/38/page/83-committee

Please feel free to contact us for any inquiries at:
Kris Zeuti
OkIP Secretariat
info@okipublishing.com
**********************************************************
*
* 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] Hausdorff Center for Mathematics: Postdoc Positions

The cluster of excellence Hausdorff Center for Mathematics (HCM) at the
University of Bonn brings together researchers in mathematics and its
applications, including in particular quantitative economics. In this
framework the center is looking forward to filling up several
Postdoctoral Positions
https://www.hcm.uni-bonn.de/opportunities/hausdorff-postdocs/official-announcement-postdoctoral-positions/

Daniela Schmidt (she/her)

Administrative Assistant
Hausdorff Center for Mathematics
Endenicher Allee 62, Villa Maria, Room 0.005
53115 Bonn
Tel: +49-228-73-4881, Fax: +49-228-73-62251
E-Mail: daniela.schmidt@hcm.uni-bonn.de

[DMANET] Hausdorff Center for Mathematics: W3 Professorship "Hausdorff Chair"

The Hausdorff Center for Mathematics (HCM) at the University of Bonn is
looking to appoint one Hausdorff Chair (W3)
This corresponds to full professorship with tenure.
https://www.hcm.uni-bonn.de/opportunities/hausdorff-chairs/announcement/

Daniela Schmidt (she/her)

Administrative Assistant
Hausdorff Center for Mathematics
Endenicher Allee 62, Villa Maria, Room 0.005
53115 Bonn
Tel: +49-228-73-4881, Fax: +49-228-73-62251
E-Mail: daniela.schmidt@hcm.uni-bonn.de

[DMANET] CFP: IEEE CSF 2024 - Fall Cycle (Submission Deadline: September 30, 2023, AoE)

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

37th IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF) 2024
July 8 - 12, 2024 - Enschede, The Netherlands

https://csf2024.ieee-security.org/

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

=====================================================================
============ CSF Mailing List (please subscribe) ================
=====================================================================

http://lists.ieee-security.org/listinfo.cgi/csf-announcements-ieee-security.org

This is the new CSF mailing list which replaces the former
csf-attendees@mail-infsec.cs.uni-saarland.de mailing list.

Please subscribe to this new list to be up to date on important
information in the field of computer security foundations.

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

The Computer Security Foundations Symposium (CSF) is an annual
conference for researchers in computer security. CSF seeks papers on
foundational aspects of computer security, such as formal security
models, relationships between security properties and defenses,
principled techniques and tools for design and rigorous analysis of
security mechanisms, as well as their application to practice. While CSF
welcomes submissions beyond the topics listed below, the main focus of
CSF is foundational security and privacy. Papers lacking foundational
aspects risk desk rejection without further evaluation of their merits;
contact the PC chairs when in doubt.

Important Dates:

Spring cycle paper submission May 15, 2023
Spring cycle author notification July 6, 2023

Fall cycle paper submission September 30, 2023
Fall cycle author notification December 2, 2023

Winter cycle paper submission February 3, 2024
Winter cycle author notification April 7, 2024

CSF Symposium July 8 - 12, 2024

TOPICS

New results in security and privacy are welcome. We also encourage
challenge/vision papers, which may describe open questions and raise
fundamental concerns about security and privacy. Possible topics for all
papers include, but are not limited to:

- access control
- accountability
- anonymity
- attack models
- authentication
- blockchains and smart contracts
- cloud security
- cryptography
- data provenance
- data and system integrity
- database security
- decidability and complexity
- decision theory
- distributed systems security
- electronic voting
- embedded systems security
- forensics
- formal methods and verification
- hardware-based security
- information flow control
- intrusion detection
- language-based security
- mobile security
- network security
- privacy
- security and privacy aspects of machine learning
- security and privacy for the Internet of Things
- security architecture
- security metrics
- security policies
- security protocols
- software security
- socio-technical security
- trust management
- usable security
- web security

SYSTEMATIZATION OF KNOWLEDGE PAPERS
CSF'24 solicits systematization of knowledge (SoK) papers in
foundational security and privacy research. These papers systematize,
re-formulate, or evaluate existing work in one established and
significant research topic. Such papers must provide new insights.
Survey papers without new insights are not appropriate. Papers trying to
identify robust foundations of research areas still lacking them are
particularly welcome. Submissions will be distinguished by the prefix
"SoK:" in the title and a checkbox on the submission form.

See the conference website

https://csf2024.ieee-security.org/

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

[DMANET] CFP: REX-IO Workshop at IEEE Cluster 2023 - Submissions due, August 15, 2023

**[Apologies if you receive multiple copies of this email]**

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

Call for Papers

REX-IO 2023: 3rd Workshop on Re-envisioning Extreme-Scale I/O for
Emerging Hybrid HPC Workloads

Held in conjunction with IEEE Cluster 2023, Santa Fe, NM, USA.

Workshop Date: October 31, 2023

(https://sites.google.com/view/rexio/)

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

================================
Scope, Aims, and Topics
================================
High Performance Computing (HPC) applications are evolving to include
not only traditional modeling and simulation bulk-synchronous scale-up
workloads but also scale-out workloads, including artificial
intelligence (AI), big data analytics methods, deep learning, and
complex multi-step workflows. With the advent of Exascale systems such
as Frontier, workflows include multiple different components from both
scale-up and scale-out communities operating together to drive
scientific discovery and innovation. With the often conflicting design
choices between optimizing for write- vs. read-intensive, having
flexible I/O systems is crucial to support hybrid workloads. Another
performance aspect is the intensifying complexity of parallel file and
storage systems in large-scale cluster environments. Storage system
designs are advancing beyond the traditional two-tiered file system and
archive model by introducing new tiers of temporary, fast storage close
to the computing resources with distinctly different performance
characteristics.

The changing landscape of emerging hybrid HPC workloads along with the
ever increasing gap between the compute and storage performance
capabilities reinforces the need for an in-depth understanding of
extreme-scale I/O and for rethinking existing data storage and
management techniques. Traditional approaches of managing data might
fail to address the challenges of extreme-scale hybrid workloads. Novel
I/O optimization and management techniques integrating machine learning
and AI algorithms, such as intelligent load balancing and I/O pattern
prediction, are needed to ease the handling of the exponential growth of
data as well as the complex hierarchies in the storage and file systems.
Furthermore, user-friendly, transparent and innovative approaches are
essential to adapt to the needs of different HPC I/O workloads while
easing the scientific and commercial code development and efficiently
utilizing extreme-scale parallel I/O and storage resources.

Established at IEEE Cluster 2021, the Re-envisioning Extreme-Scale I/O
for Emerging Hybrid HPC Workloads (REX-IO) workshop has created a forum
for experts, researchers, and engineers in the parallel I/O and storage,
compute facility operation, and HPC application domains. REX-IO solicits
novel work that characterizes I/O behavior and identifies the challenges
in scientific data and storage management for emerging HPC workloads,
introduces potential solutions to alleviate some of these challenges,
and demonstrates the effectiveness of the proposed solutions to improve
I/O performance for the exascale supercomputing era and beyond. We
envision that this workshop will contribute to the community and further
drive discussions between storage and I/O researchers, HPC application
users and the data analytics community to give a better in-depth
understanding of the impact on the storage and file systems induced by
emerging HPC applications.

Topics of interest include, but are not limited to:
- Understanding I/O inefficiencies in emerging workloads such as complex
multi-step workflows, in-situ analysis, AI, and data analytics methods
- New I/O optimization techniques, including how ML and AI algorithms
might be adapted for intelligent load balancing and I/O pattern
prediction of complex, hybrid application workloads
- Performance benchmarking and modeling, and I/O behavior studies of
emerging workloads
- New possibilities for the I/O optimization of emerging application
workloads and their I/O subsystems
- Efficient monitoring tools for metadata and storage hardware
statistics at runtime, dynamic storage resource management, and I/O load
balancing
- Parallel file systems, metadata management, and complex data management
- Understanding and efficiently utilizing complex storage hierarchies
beyond the traditional two-tiered file system and archive model
- User-friendly tools and techniques for managing data movement among
compute and storage nodes
- Use of staging areas, such as burst buffers or other private or shared
acceleration tiers for managing intermediate data between computation tasks
- Application of emerging big data frameworks towards scientific
computing and analysis
- Alternative data storage models, including object and key-value
stores, and scalable software architectures for data storage and archive
- Position papers on related topics

================================
Submission Guidelines
================================
All papers must be original and not simultaneously submitted to another
journal or conference. Indicate all authors and affiliations. All papers
will be peer-reviewed using a single-blind peer-review process by at
least three members of the program committee. Submissions should be a
complete manuscript. Full paper submissions should not exceed 6
single-spaced, double-column pages using 10-point size font on 8.5 X 11
inch pages (IEEE conference style,
https://www.ieee.org/conferences/publishing/templates.html) including
everything excluding references.

Papers are to be submitted electronically in PDF format through
EasyChair. Submitted papers should not have appeared in or be under
consideration for a different workshop, conference or journal. It is
also expected that all accepted papers will be presented at the workshop
by one of the authors.

All accepted papers (subject to post-review revisions) will be published
in the IEEE Cluster 2023 proceedings.

Submission Link: https://easychair.org/conferences/?conf=rexio23

================================
Important Dates
================================
Please note: All deadlines and dates are Anywhere on Earth
- Submissions open: May 26, 2023
- Submission deadline: August 15, 2023, 11:59PM AoE
- Notification to authors: September 4, 2023
- Camera-ready paper due: September 11, 2023
- Workshop date: October 31, 2023

================================
Workshop Committees
================================
Workshop Co-Chairs:
- Arnab K. Paul (BITS Pilani, K K Birla Goa Campus, India)
- Sarah M. Neuwirth (Goethe University Frankfurt, Germany)
- Jay Lofstead (Sandia National Laboratories, USA)

Program Committee:
- Phil Carns (Argonne National Laboratory, USA)
- Wei Der Chien (The University of Edinburgh, UK)
- Hariharan Devarajan (Lawrence Livermore National Laboratory, USA)
- Shadi Ibrahim (National Institute for Research in Digital Science and
Technology (Inria), France)
- Radita Liem (RWTH Aachen, Germany)
- Glenn Lockwood (Microsoft, USA)
- Ricardo Macedo (INESC TEC & University of Minho, Portugal)
- Preeti Malakar (Indian Institute of Technology Kanpur, India)
- Sebastian Oeste (TU Dresden, Germany)
- Kento Sato (RIKEN, Japan)
- Houjun Tang (Lawrence Berkeley National Laboratory, USA)
- François Tessier (National Institute for Research in Digital Science
and Technology (Inria), France)
- Marc-André Vef (Johannes Gutenberg University Mainz, Germany)
- Lipeng Wan (Georgia State University, USA)
- Chen Wang (Lawrence Livermore National Laboratory, USA)
- Mai Zheng (Iowa State University, USA)

================================
Contact
================================
All questions about submissions should be emailed to <rexio23 AT
easychair DOT org>

--
-----------------------------------------------------------------------
Dr. Sarah M. Neuwirth
Goethe University Frankfurt | Campus Bockenheim
Modular Supercomputing and Quantum Computing
Kettenhofweg 139 | Room 102
60325 Frankfurt am Main | Germany
Phone: +49 (0)69 798-25256
Email: s.neuwirth@em.uni-frankfurt.de
Website: https://www.msqc.group/
-----------------------------------------------------------------------

Wednesday, July 26, 2023

[DMANET] [CFP Extended Deadline: 1 August, 2023] The 21st IEEE International Conference on Dependable, Autonomic & Secure Computing (DASC 2023)- Hybrid Conference

*The 21st IEEE International Conference on Dependable, Autonomic & Secure
Computing (DASC 2023)*

*https://icnetlab.org/cyber-science2023/dasc/index.html *

*Joint conference IEEE DASC/PICom/CBDCom/CyberSciTech 2023*

*14-17 Nov 2023** || Abu Dhabi, UAE*

*Hybrid Conference*

As computer and communication systems, as well as other systems such as
Cyber-Physical Systems (CPS), Internet of Things (IoT), and Autonomous
Robotic Systems, become increasingly large and complex, their Dependability
and Security play critical roles in supporting next-generation science,
engineering, and commercial applications. It remains a challenge to design,
analyze, evaluate, and improve the dependability and security for a trusted
computing environment. Trusted computing targets computing systems as well
as services that are dependable, secure, protectable, predictable,
traceable, controllable, autonomous, and sustainable.

At the same time, the increasing scale and complexity of systems call for
the autonomic computing paradigm, which meets the requirements of
self-management, and autonomous systems. Trusted and autonomic
computing/autonomous systems need synergistic research efforts covering
many disciplines, ranging from natural sciences to social sciences. It
requires scientific and technological advances in a wide variety of fields,
as well as new software, architectures, and communication technology that
support the integration of constituent technologies.

IEEE DASC 2023 will be held during November 13-17, 2023, in Abu Dhabi, UAE.
It aims to bring together computer scientists, industrial engineers, and
researchers to discuss and exchange theoretical and implementation results,
novel designs, work-in-progress, experience, case studies, and
trend-setting ideas in the areas of dependability, security, trust, and/or
autonomic computing, and autonomous systems.

*Tracks*

*Track 1. Dependable and Fault-tolerant Computing*

Fundamentals, including Dependability Evaluation, Dependable Sensors, QoS,
SOA, etc.
Dependable & Fault-tolerant Computing in Big Data, CPS, IoT, SDN, and
Real-time System
Dependability & Fault-tolerance in Cloud/Fog/Edge Computing, and Pervasive
Computing
Human Aspects, and Education
Software Engineering in Dependable and Fault-tolerant Computing
Artificial Intelligence Techniques in Dependable and Fault-tolerant
Computing
Hardware and Software Reliability, Verification and Testing
Safety-critical Systems, Mission-critical Systems

*Track 2. Network and System Security and Privacy*

Fundamentals, including Intrusion-Detection, Digital Forensics,
(Counter-)Surveillance, etc.
Security and Privacy in Big Data, CPS, IoT, SDN, and Real-time Systems
Security and Privacy in Cloud/Fog/Edge Computing, Mobile and Pervasive
Computing
Artificial Intelligence Techniques in Network and System Security and
Privacy
Human Aspects, and Education
Cyber Attack, Crime and Cyber War
Biometric Issues in Security and Privacy

*Track 3. Autonomic Computing and Autonomous Systems*

Fundamentals, including Agents, Real-Time Perception, Decision, Control,
Self-healing, etc.
Autonomic and Autonomous Issues in Big Data, CPS, IoT, SDN, and Real-time
Systems
Autonomic and Autonomous Issues in Cloud/Fog/Edge Computing, Pervasive
Computing
Self-Organization and Organic Computing,
Cognitive Computing and Self-Aware Computing
Energy Management in Autonomic Computing and Autonomous Systems
Artificial Intelligence Techniques in Autonomic Computing and Autonomous
Systems
Human Aspects, and Education

*Track 4. Industrial Applications and Emerging Techniques*

Software/Apps/Tools Development for Dependable and Secure Applications
Autonomous Robotics, Vehicles, Machines, and Various Systems
IoT and Sensor Network, Big Data, Smart Grid, Aerospace, Transportation
Applications
Safety Care, Medical Care and Services, IoT-based Healthcare
Other Applications and Emerging Techniques
Social Aspects of Applying Systems

*Submission Link*:
https://easychair.org/conferences/?conf=dascpicomcbdcomcyber0

*Important dates*

*Main Conference Papers*
Paper Submission Due: 1 July, 2023 1 August, 2023 (Extended)
Authors Notification: 15 September, 2023
Camera-ready Submission: 30 September, 2023

*General Chair*

Moayad Aloqaily, MBZUAI, UAE

*Program Co-Chairs*

Müge Erel-Özçevik, Celal Bayar University, Turkey

Franco Zambonelli, Universita' degli Studi di Modena e Reggio Emilia, Italy
Selcuk Uluagac, Florida International University, USA

[DMANET] [CFP] Second Symposium on Survival Prediction: Algorithms, Challenges and Applications (SPACA)

*Second Symposium on Survival Prediction: Algorithms, Challenges and
Applications (SPACA)*

Part of the AAAI Fall Symposium Series:
https://aaai.org/conference/fall-symposia/aaai-2023-fall-symposium-series/
*Description of symposium*

Survival analysis attempts to estimate the time until a specified event
(eg, death of a patient) occurs, or some related survival measures, and is
widely applicable for survival prediction and risk factor analysis. A key
challenge in learning effective survival models is that this time-to-event
data is subject to "censoring'' so that the time to event is only known up
to a bound for such instances. We seek contributions from researchers from
diverse fields including machine learning, healthcare, medicine, finance
and engineering. We anticipate this will foster interdisciplinary
collaborations and will catalyze the development of the next generation of
the survival prediction algorithms.

Symposium URL: https://sites.google.com/view/spaca-2023/home

Submission URL: https://easychair.org/conferences/?conf=fss230 – select the
Second Symposium on Survival Prediction: Algorithms, Challenges and
Applications (SPACA) track

Submission Template:
https://www.aaai.org/Publications/Templates/AuthorKit23.zip

*Topics*

This symposium will focus on the following themes, covering four aspects of
survival prediction tasks. Examples of topics of interest in each theme are
provided.

Novel algorithms
-

Deep learning algorithms
-

Learning from multimodal data
-

Evaluation metrics
-

Calibration and discrimination
-

Model comparison strategies
-

Foundational issues
-

Identifying causal effects
-

Competing risks; dependent censoring
-

Uncertainty quantification
-

Applications
-

Medicine and health care
-

Manufacturing and engineering
-

Finance and economics
-

Law enforcement
-

…

*Important dates*

All deadlines are at 11:59 pm Eastern Daylight Time.

Paper submission deadline: Friday, 11 August 2023
-

Acceptance notification: Friday, 1 September 2023
-

Camera-ready paper deadline: Friday, 15 September 2023
-

Registration deadline: Friday, 29 September 2023
-

Symposium dates: Wednesday - Friday, 25 - 27 October 2023

*Format of symposium*

The symposium will feature invited talks, paper and poster presentations,
followed by discussion group sessions to explore open challenges and future
directions in development of algorithms for survival prediction and their
real-world adoption in various application domains. We anticipate this
symposium will be in-person.

*Submission requirements*

Interested participants should submit either extended abstracts for the
poster sessions (4 pages maximum) or full papers (6 pages maximum,
excluding references) for position, review and work-in-progress pieces. We
will also consider papers that include results that have already been
published (with appropriate acknowledgement). Format papers using the AAAI
proceedings template:
https://www.aaai.org/Publications/Templates/AuthorKit23.zip

Submissions should be formatted according to the AAAI template and submitted
through the AAAI Fall Symposium Series EasyChair site at
https://easychair.org/conferences/?conf=fss230 – select the Second
Symposium on Survival Prediction: Algorithms, Challenges and Applications
(SPACA) track. Authors of accepted papers may choose to have their paper
included in the archival proceedings published by AAAI. This is optional —
accepted papers where authors do not opt in for the proceedings will be
published only on the symposium website and will not be considered archival
for resubmission purposes.

*Symposium Organizing Committee*

Prof. Kevin S. Xu (chair), Case Western Reserve University

Prof. Russ Greiner, University of Alberta

Prof. George H. Chen, Carnegie Mellon University

Dr. Weijing Tang, Harvard University

Dr. Chirag Nagpal, Google Research

R Greiner (CIFAR AI Chair <https://cifar.ca/bios/russell-greiner/>)

Professor • Dept of Computing Science (Adjunct: Dept of Psychiatry)

Fellow • Alberta Machine Intelligence Institute

University of Alberta • Edmonton • Canada • T6G 2E8
Tel: (587) 415-9622 • rgreiner-@-ualberta-.-ca •
https://webdocs.cs.ualberta.ca/~rgreiner/

[DMANET] Postdoc in algorithm engineering at the University of Glasgow

I am hiring a postdoctoral research associate for a three year position at the University of Glasgow associated with the EPSRC-funded project "The Science of Solving Hard Subgraph Problems". This project involves algorithm engineering and implementation, and requires a candidate who is comfortable with both programming and mathematical rigour. Experience with one or more of constraint programming, Boolean satisfiability, mathematical programming, or proof complexity would be beneficial but not essential. This role would be suitable for candidates who are about to complete their PhD, as well as more experienced researchers.

Informal enquiries welcome to ciaran.mccreesh@glasgow.ac.uk .

Application link: https://www.jobs.ac.uk/job/DBO798/research-associate
Salary: £39,347 to £44,263 per annum (Grade 7)
Approximate start date (negotiable): 1st January 2024
Duration: funded for 3 years
Applications close: 11th September 2023

--
Ciaran McCreesh
**********************************************************
*
* 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] International Conference on Constraint Programming (CP 2023): Call for Participation

[Apologies for multiple postings]

CP 2023 CALL FOR PARTICIPATION

Twenty-Ninth Conference on Principles and Practice of Constraint Programming
CP 2023 (https://cp2023.a4cp.org)

August 27-31, 2023, Toronto, Canada

CP is the premier international event for presenting research in all aspects of computing with constraints, including, but not restricted to: theory, algorithms, environments, languages, models, systems, and applications. CP 2023<https://cp2023.a4cp.org/index.html> will be held in-person in Toronto at the University of Toronto St. George campus (Downtown)<https://cp2023.a4cp.org/venue.html>, August 27-31, 2023.

The CP 2023 program will include presentations of high-quality scientific papers on constraints technology. In addition to the main conference program, CP 2023 will feature 4 specialised tracks covering important topics in Constraints:

* Applications
* CP and Machine Learning
* CP and Operations Research
* Trustworthy Decision-Making

Please refer to our website for a list of accepted papers<https://cp2023.a4cp.org/accepted_papers.html>.

On the first day of the conference (Sunday August 27th, 2023), we will host a day of workshops<https://cp2023.a4cp.org/workshops.html> and the CP Doctoral Program<https://cp2023.a4cp.org/dp_cfp.html>.

* The 22nd workshop on Constraint Modelling and Reformulation (ModRef 2023)<https://modref.github.io/ModRef2023.html>. Organisers: Peter Nightingale (chair), Christopher Stone (chair).
* The 6th Workshop on Progress Towards the Holy Grail (PTHG-23)<https://freuder.wordpress.com/progress-towards-the-holy-grail-workshops/pthg-23-the-sixth-workshop-on-progress-towards-the-holy-grail/>. Organisers: Eugene Freuder (chair), Christian Bessiere, Tias Guns, Ian Miguel, Michela Milano, Helmut Simonis.
* Workshop on Optimization for Sports (Opt4Sports2023)<https://sites.google.com/uconn.edu/cp2023-opt4sports2023>. Organisers: David Bergman, Jeff Decary.
* Workshop on Models and Solvers for Dynamic Programming (DPSOLVE 2023)<https://sites.google.com/view/dpsolve2023/>. Organisers: Chris Beck, Xavier Gillard, Ryo Kuroiwa, Laurent Michel, Pierre Schaus, Willem van Hoeve (chair).
* Teaching Constraint Programming<https://groups.google.com/g/constraints/c/gcu4maSOKpM>. Organisers: Tejas Santanam, Helmut Simonis.
* Doctoral Program<https://cp2023.a4cp.org/dp_cfp.html>.

On the following days of the conference, apart from the technical paper presentations. We will have tutorials and invited talks:

Tutorials<https://cp2023.a4cp.org/tutorials.html>

* Explainable Constraint Solving - A Hands-On Tutoria by Ignace Bleukx, Dimos Tsouros and Tias Guns.
* Machine Learning for Solvers by Vijay Ganesh

Invited Talks

* Maria Garcia de la Banda (Monash University) Beyond optimal solutions for real-world problems
* Jimmy Lee (Chinese University of Hong Kong) A Tale of Two Cities: Teaching CP with Story-Telling
* Laurent Perron (Google, France) The CP-SAT-LP solver
* Thomas Schiex (Universite Fédérale de Toulouse, ANITI, INRAE) Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 variants exploration
* Petr Vilím (ScheduleOpt) CP Solver Design for Maximum CPU Utilization

Registration

The registration costs are as follows:

- Workshop only (August 27th, Sunday)

- $200 CAD (late $350 CAD)

- Conference and Workshop, Student

- $475 CAD (late $750 CAD)

- Conference and Workshop, Regular

- $975 CAD (late $1,250 CAD)

- Conference and Workshop, Industry

- $1,300 CAD ($1,600 CAD)

The early registration deadline is July 30, 2023.

The special group rate for CP'2023 for the Chelsea Hotel is $229 CAD per night (+ taxes), and valid until July 28th, 2023. Please check our website<https://cp2023.a4cp.org/hotels.html> for more information.

DEI Scholarship

We are pleased to announce the CP 2023 DEI (Diversity, Equity, Inclusion) programme, which includes scholarship and mentoring to support the participation and networking of the underrepresented early-career researchers, as well as a special event during the conference to raise awareness.

Please refer to our website<https://cp2023.a4cp.org/cfdei.html> for information on eligibility, mentoring, the scholarship and how to apply.

Application deadline: Monday, July 31st, 2023.

DEI Surveys

We would like to collect relevant diversity data about our community and activities in order to help us identify actions to improve diversity and inclusion where needed. Please help us by filling in this year's new diversity survey<https://sunet.artologik.net/uu/Survey/626> and our equity and inclusion survey<https://sunet.artologik.net/uu/Survey/625>.

Your answers will be handled in accordance with the EU General Data Protection Regulation (GDPR), https://www.uu.se/en/about-uu/data-protection-policy. The survey results will be compiled by Andreína Francisco. The results of the survey will be presented in a report both at the CP-2023 conference and on the ACP website. Results will be presented following anonymization techniques. At least ten responses are required for the results to be presented.

Deadline: Monday, July 31st, 2023.

Sponsors

CP 2023 appreciates the generous support of our sponsors.

Gold sponsors:

* Association for Constraint Programming (ACP)<https://www.a4cp.org>
* Artificial Intelligence Journal (AIJ)<https://www.sciencedirect.com/journal/artificial-intelligence>
* ScheduleOpt
* Dept. of Management, UTSC<https://www.utsc.utoronto.ca/mgmt/>

Other sponsors:

* Cosling<https://www.cosling.com>
* Google<https://www.google.com>
* IBM<https://www.ibm.com>
* Mitsubishi Electric Research Laboratories (MERL)<https://www.merl.com/>
* The Optimization Firm<https://www.minlp.com>, makers of the BARON solver.

Organizing Committee

Conference Chair

- Andre Augusto Cire (University of Toronto)

Program Chair

- Roland Yap (National University of Singapore)

Local Chair

- Eldan Cohen (University of Toronto)

Workshop Chair

- Lars Kotthoff (University of Wyoming)

Tutorials Chair

- Emir Demirović (TU Delft)

Doctoral Program Chair

- Xavier Gillard (Université catholique de Louvain)

Publicity & Website Chair

- Anna Latour (National University of Singapore)

DEI Chairs

- Maria Andreina Francisco Rodriguez (Uppsala University)

- Andrea Rendl (Satalia)

Sponsorship Chair

- Arvind Raghunathan (Mitsubishi Electric Research Laboratories)

Special Track Chairs

- CP Applications Track: Helmut Simonis (Insight SFI Research Centre for Data Analytics)

- CP & Machine Learning Track: Tias Guns (KU Leuven)
- CP & Operations Research Track: Gilles Pesant (Polytechnique Montréal)

- CP & Trustworthy Decision Making Track: Peter Stuckey (Monash University)

Senior Program Committee and Program Committee<https://cp2023.a4cp.org/committees.html>

-------

Anna Latour

Research Fellow

National University of Singapore

________________________________

Important: This email is confidential and may be privileged. If you are not the intended recipient, please delete it and notify us immediately; you should not copy or use it for any purpose, nor disclose its contents to any other person. Thank you.
**********************************************************
*
* 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/
*
**********************************************************

Theory Announcements

Monday, July 31, 2023

[DMANET] SCORES'23 in Koper, Slovenia

[DMANET] 3-year postdoc position in probabilistic combinatorics at TU Graz, Austria

Sunday, July 30, 2023

[DMANET] Algorithms and CS Theory - Postdoc Positions and Ph.D. programs in Israel

[DMANET] ALENEX24 -- Second call for papers

[DMANET] [2023 Call Ph.D. University of L'Aquila (Italy)]

[DMANET] 10th International Conference on Behavioural and Social Computing (BESC 2023): Call for Late Breaking Results

Saturday, July 29, 2023

[DMANET] LATIN 2024 Call for papers (submission deadline: October 2, 2023)

[DMANET] CFP EvoMUSART 2024

Friday, July 28, 2023

[DMANET] Due Ext August 23 AHPC 2023 High-Performance Computing Oct 2-5** USA & Online

[DMANET] [MobiCom 2023] [Update] Travel Grant

[DMANET] PhD position in Operations Research for Healthcare

Thursday, July 27, 2023

[DMANET] Permanent Lectureship position in Applied Algebra or Applied Topology at Swansea University

[DMANET] M-PREF 2023: Call for participation

[DMANET] Abstracts Ext August 23: CAIS 2023 Automated and Intelligent Systems, Oct 2-5, USA & Online

[DMANET] Hausdorff Center for Mathematics: Postdoc Positions

[DMANET] Hausdorff Center for Mathematics: W3 Professorship "Hausdorff Chair"

[DMANET] CFP: IEEE CSF 2024 - Fall Cycle (Submission Deadline: September 30, 2023, AoE)

[DMANET] CFP: REX-IO Workshop at IEEE Cluster 2023 - Submissions due, August 15, 2023

Wednesday, July 26, 2023

[DMANET] [CFP Extended Deadline: 1 August, 2023] The 21st IEEE International Conference on Dependable, Autonomic & Secure Computing (DASC 2023)- Hybrid Conference

[DMANET] [CFP] Second Symposium on Survival Prediction: Algorithms, Challenges and Applications (SPACA)

[DMANET] Postdoc in algorithm engineering at the University of Glasgow

[DMANET] International Conference on Constraint Programming (CP 2023): Call for Participation

Mailing Lists

Search This Blog

Blog Archive

Monday, July 31, 2023

Sunday, July 30, 2023

Saturday, July 29, 2023

Friday, July 28, 2023

Thursday, July 27, 2023

Wednesday, July 26, 2023

Mailing Lists

Subscribe To

Search This Blog

Blog Archive