- computational.science - lists.iccsa.org

Live free 'AIDA/HiTZ AI Excellence e-Lecture' by Dr. Elena Sokolova (Amazon Text-to-Speech Group): "How we do research in Speech at Amazon", November 7, 2024 - 15:00 CET
by Efi 06 Nov '24

06 Nov '24

Dear AI scientist/engineer/student/enthusiast, Dr. Elena Sokolova (Amazon Text-to-Speech Group) will deliver the e – lecture: "How we do research in Speech at Amazon" on *7th November 2024, 15:00 CET.* In this talk we will present how Speech technology has developed in the past 20 years. We will take a dive deep into the research that we do at Amazon in our Text-to-Speech lab, describe the challenges that we face and how we solve them at scale. We will also give an overview of the internship opportunities we have in our department for those of you who want to join our team in 2025. - For more details, click *here* <https://www.i-aida.org/events/how-we-do-research-in-speech-at-amazon/> - Registration [here <https://www.hitz.eus/webinar_izenematea>]. The *International AI Doctoral Academy (AIDA)* <http://www.i-aida.org/>, a joint initiative of the European R&D projects AI4Media <https://ai4media.eu/>, ELISE <https://www.elise-ai.eu/>, Humane AI Net <https://www.humane-ai.eu/>, TAILOR <https://tailor-network.eu/>*, *VISION <https://www.vision4ai.eu/>, is very pleased to offer you top quality scientific lectures in the framework of AIDA AI Excellence Lecture Series <https://www.i-aida.org/event_cat/ai-lectures/> on several current hot AI topics. Lectures will be offered alternatingly by: - Top highly cited senior AI scientists internationally or - Young AI scientists with promise of excellence (AI sprint lectures) These lectures are disseminated through multiple channels and email lists (we apologize if you received it through various channels). If you want to stay informed on future lectures, you can register in the email lists AIDA email list <https://lists.auth.gr/sympa/info/aida> and CVML email list <https://lists.auth.gr/sympa/info/cvml>. Upcoming AI Excellence Lectures: - Dr. Hannes Fassold, Joanneum Research, “Manifold / geometric deep learning and its application for multimedia”, 12/11/24 – 17:00 CET - Prof. Dr. Gerard Pons-Moll, “How to train large scale 3D human foundation models”, 19/11/24 – 17:00 CET - Associate Prof. Gül Varol, “Text-driven 3D human motion synthesis”, 26/11/24 – 17:00 CET - Prof. Sean Gong, “LLMs for More Reliable Small Data Learning”, 3/12/24 – 17:00 CET Best regards Profs. N. Sebe, M. Chetouani, P. Flach, B. O’Sullivan, I. Pitas, J. Stefanowski AIDA AI Excellence Lecture Series committee members

1 0

CfP - Ada Developer Room at FOSDEM 2025, Brussels, Belgium
by Dirk.Craeynest＠cs.kuleuven.be 02 Nov '24

02 Nov '24

----------------------------------------------------------------------- Call for Presentations 12th Ada Developer Room at FOSDEM 2025 Sunday 2 February 2025, Brussels, Belgium www.cs.kuleuven.be/~dirk/ada-belgium/events/25/250202-fosdem.html Organized in cooperation with Ada-Belgium and Ada-Europe #AdaFOSDEM #AdaDevRoom #AdaProgramming #FOSDEM2025 ----------------------------------------------------------------------- The Ada FOSDEM community is pleased to announce the 12th edition of the Ada DevRoom! This edition will take place on Sunday morning 2nd of February in Belgium, at the Université Libre de Bruxelles (ULB). This edition of the Ada DevRoom is once more organized in cooperation with Ada-Belgium [1] and Ada-Europe [2]. *** General Information about FOSDEM FOSDEM [3], the Free and Open source Software Developers' European Meeting, is a free and non-commercial two-day weekend event organized early each year in Brussels, Belgium. It is highly developer-oriented and brings together 8000+ participants from all over the world. No registration nor payment is necessary. The goal is to provide open source developers and communities a place to meet with other developers and projects, to be informed about the latest developments in the open source world, to attend interesting talks and presentations on various topics by open source project leaders and committers, and to promote the development and the benefits of open source solutions. *** Ada Programming Language and Technology Ada is a general-purpose programming language originally designed for embedded and mission-critical software engineering, although nowadays it also supports object orientation, contracts and formal verification. It is used extensively in air traffic control, rail transportation, aerospace, nuclear, financial services, medical devices, etc. It is also perfectly suited for open source development with a fully open compiler (part of GCC), a formal verification system and a knowledgeable and vibrant community. Awareness of safety and security issues in software systems is increasing. The NSA recently published [4] a list of programming languages that are recommended for the development of new software due to their memory safety and Ada was one of the list (one of the three compiled non-garbage collected languages!). In that context, it should be no surprise that NVIDIA has started using Ada/SPARK [5, 6] for their highest critical parts in their GPUs! The forums [7] have also seen an uptick of new users since the NSA announcement. Multi-core platforms are now abundant and small, embedded devices are growing exponentially. These are some of the reasons that the Ada programming language and technology attracts more and more attention due to Ada.s support for programming by contract, performant and efficient code, high- and low-level abstractions and support for multi-core targets. The latest Ada language definition, Ada 2022, was approved by ISO as an international standard last year. Work on implementing the new features is ongoing, such as improved support for fine-grained parallelism, which were introduced in the new standard. The Ada-related technology, SPARK, provides a complete solution for the safety and security aspects stated above while being fully open source, making it stand out from other formal verification tools, as Ada/SPARK code is compiled directly into ready-to-run programs, which can even run on embedded systems. More and more tools are available, many are open source, including for small and modern platforms. Interest in Ada keeps increasing, also in the open source community, from which many exciting projects have been started. *** Ada Developer Room FOSDEM is an ideal fit for an Ada Developer Room. On the one hand, it gives the general open source community an opportunity to see what is happening in the Ada community and how Ada can help produce reliable and efficient open source software. On the other hand, it gives open source Ada projects an opportunity to present themselves, get feedback and ideas, and attract participants to their project and collaboration between projects. At previous FOSDEM events, the Ada-Belgium non-profit organization organized successful Ada Developer Rooms, offering a full day program in 2006 [8], a two-day program in 2009 [9], and full day programs in 2012-2016 [10-14], in 2018-2020 [15-17] and 2022 [18]. An important goal is to present exciting Ada technology and projects, including people outside the traditional Ada community. This edition is no different. *** Call for Presentations We would like to schedule technical presentations, tutorials, demos, live performances, project status reports, discussions, etc, in the Ada Developer Room. Do you have a talk you want to give? Do you have a project you would like to present? Would you like to get more people involved with your project? Would you like to share some knowledge and lessons about Ada? The Ada DevRoom organizers call on you to: - discuss and help organize the details, subscribe to the Ada-FOSDEM mailing list [19]; - for bonus points, be a speaker: the Ada-FOSDEM mailing list is the place to be! - don't hesitate to propose a topic that you would like to present to the community, we are eager to know what you have in store for us! We're inviting proposals that are related to Ada software development, and include a technical oriented discussion. You're not limited to slide presentations, of course. Be creative. Propose something fun to share with people so they might feel some of your enthusiasm for Ada! Speaking slots should be around 20 or 50 minutes, plus 5 or 10 minutes for Q&A. However, this schedule is flexible and we will adapt it to other formats. For example, a short technical talk can be transformed into a 10 minutes talk, plus time for Q&A. Depending on interest, we might also have a session with lightning presentations (e.g. 5 minutes each), and/or an informal discussion session. Note that all talks will be streamed live and recorded (audio+video). By submitting a proposal, you agree to being recorded and streamed. You also agree that the contents of your talk will be published under the same license as all FOSDEM content, a Creative Commons (CC-BY) license. *** Submission Guidelines Your proposal must be submitted to the FOSDEM Pretalx system [20]. If you already had an account from previous years, reuse it; if not, create a new account. If, for whatever reason, you cannot use Pretalx, you can also submit your proposal by messaging the Ada-FOSDEM mailing list [15]. If needed, feel free to contact us at the Ada-FOSDEM Mailing list or at <irvise (at) irvise.xyz> (without spaces). Please, fill the information asked by the Pretalx system, which includes: - your name, affiliation, contact info; - the title of your talk (be descriptive and creative); - a short descriptive and attractive abstract; - preferred duration of your talk; - pointers to more information if applicable; - a short bio and photo. See programs of previous Ada DevRooms (URLs below) for presentation examples, as well as for the kind of info we need. Here is the slightly flexible schedule that we will follow: - November 30, 2024: end of the submission period. Remember, we only need the information in the list above. You do not have to submit the entire talk by this date. Try to submit your proposal as early as possible. It is better to submit half of the details early than be late, so do not wait for the last minute. - December 15, 2024: announcement of accepted talks. - January 15, 2025: your slides should be uploaded to the Pretalx platform. - February 2, 2025: Ada-DevRoom day! We look forward to lots of feedback and proposals! Regards, The Ada-FOSDEM team Main organiser: Fernando Oleo Blanco <irvise (at) irvise.xyz> Second in command: Dirk Craeynest <Dirk.Craeynest (at) cs.kuleuven.be> Third in command: A.J. Ianozi <aj (at) ianozi.com> ----------------------------------------------------------------------- [1] https://www.cs.kuleuven.be/~dirk/ada-belgium [2] https://www.ada-europe.org [3] https://fosdem.org [4] https://www.nsa.gov/Press-Room/News-Highlights/Article/Article/3215760/nsa-… [5] https://www.adacore.com/papers/nvidia-adoption-of-spark-new-era-in-security… [6] https://blog.adacore.com/when-formal-verification-with-spark-is-the-stronge… [7] https://forum.ada-lang.io/ [8] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/06/060226-fosdem.html [9] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/09/090207-fosdem.html [10] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/12/120204-fosdem.html [11] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/13/130203-fosdem.html [12] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/14/140201-fosdem.html [13] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/15/150131-fosdem.html [14] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/16/160130-fosdem.html [15] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/18/180203-fosdem.html [16] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/19/190202-fosdem.html [17] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/20/200201-fosdem.html [18] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/22/220206-fosdem.html [19] http://listserv.cc.kuleuven.be/archives/adafosdem.html [20] https://pretalx.fosdem.org/fosdem-2025/cfp -----------------------------------------------------------------------

1 0

CIAC 2025: 2nd Call for Papers
by Alessio Martino 24 Oct '24

24 Oct '24

CIAC 2025: 14th International Symposium on Algorithms and Complexity LUISS University, Rome, Italy June 10-12, 2025 https://easyconferences.eu/ciac2025/ *Important Dates* -Deadline for submissions: November 15, 2024 (AoE) -Author notification: January 31, 2025 -Camera-ready due: February 14, 2025 -Submission site: https://easychair.org/conferences/?conf=ciac2025 *Topics* Authors are invited to submit papers presenting original and unpublished research on algorithms and complexity. Typical areas include: -algorithm design and analysis -sequential, parallel, and distributed algorithms -data structures -computational and structural complexity -lower bounds and limitations of algorithms -randomized and approximation algorithms -parameterized algorithms and parameterized complexity classes -smoothed analysis of algorithms -alternatives to the worst-case analysis of algorithms (e.g., algorithms with predictions) -on-line computation and competitive analysis -streaming algorithms -quantum algorithms and complexity -algorithms in algebra, geometry, number theory and combinatorics -computational geometry -algorithmic game theory and mechanism design -algorithmic economics (including auctions and contests) -computational learning theory -computational biology and bioinformatics -algorithmic issues in communication networks -algorithms for discrete optimization (including convex optimization) -algorithm engineering *Paper Submission and Proceedings* Authors are invited to submit an extended abstract or full paper with at most 15 pages, excluding the title page and the references. The title page consists of the title of the paper and the abstract. The first section of the paper should start on the next page. The usage of the LNCS style file is mandatory. No changes to font size, page geometry, etc. are permitted. Late submissions and submissions not in the correct format will not be considered. Submissions will be through EasyChair (https://easychair.org/conferences/?conf=ciac2025) The paper should contain a succinct statement of the issues and their motivation, a summary of the results, a brief explanation of their significance, and a comparison to related work, accessible to non-specialists. Proofs omitted due to space constraints must be put into an appendix, to be read by the PC members at their discretion. Simultaneous submission to other conferences with published proceedings or to journals is not allowed. At least one author of each accepted paper will have to register for the conference. For authors who cannot present their paper in person for a significant reason, the possibility of remote presentation may be offered. *Double-Blind Reviewing* CIAC 2025 will implement 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. The purpose of the double-blind reviewing is to help PC members and external reviewers come to an initial judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult. Authors should feel free to disseminate their ideas or draft versions of their paper as they normally would (e.g., making early drafts available on their webpage, or through pre-print dissemination websites such as arXiv). When submitting a paper, please indicate Conflict of Interest (CoI) with PC members. *PC Submissions* Submissions authored or co-authored by (non-chair) members of the program committee are allowed. *Proceedings* Accepted papers will be published in the proceedings of the symposium. As in previous editions, the proceedings will appear in the Lecture Notes in Computer Science series of Springer. Authors of accepted papers will have to sign a copyright form with the submission of the camera-ready version of their accepted paper. *Best Paper Awards* There will be a Best Student Paper Award as well as a Best Paper Award, both sponsored by Springer. In order for a paper to be considered for the Best Student Paper Award, all of its authors are required to be students at the time of submission *Program Committee* -Davide Bilo, University of L’Aquila -Keerti Choudhary, IIT Delhi -Paloma Thome de Lima, IT University of Copenhagen -Adrian Dumitrescu, AlgOrEsEArch -Thomas Erlebach, Durham University -Bruno Escoffier, Sorbonne Universite -Venkata Gandikota, Syracuse University -Loukas Georgiadis, University of Ioannina (chair) -Archontia Giannopoulou, National and Kapodistrian University of Athens -Petr Golovach, University of Bergen -Kristoffer Arnsfelt Hansen, Aarhus University -Shunsuke Inenaga, Kyushu University -Evangelos Kipouridis, Max-Planck-Institut fur Informatik -Jakub Lacki, Google Research -Alexandra Lassota, Eindhoven University of Technology -Wolfgang Mulzer, Freie Universitat Berlin -Yuto Nakashima, Kyushu University -Charis Papadopoulos, University of Ioannina -Anastasios Sidiropoulos, University of Illinois at Chicago -Kostas Tsichlas, University of Patras -Nithin Varma, Max-Planck-Institut fur Informatik -Tony Wirth, University of Sydney -Alexander Wolff, Universitat Wurzburg *Organisation Chair* -Irene Finocchi (Luiss Univ., Italy) *Organising Committee* -Miro Confalone (Luiss Univ., Italy) -Emilio Coppa (Luiss Univ., Italy) -Alessio Martino (Luiss Univ., Italy) -Giacomo Paesani (Sapienza Univ. of Rome, Italy) -Cosimo Poccianti (Luiss Univ., Italy) -Fariba Ranjbar (Luiss Univ., Italy) -Blerina Sinaimeri (Luiss Univ., Italy) *Steering Committee* -Tiziana Calamoneri (Sapienza Univ. of Rome, Italy) -Giuseppe Francesco Italiano (Luiss Univ., Italy) -Pinar Heggernes (Univ. of Bergen, Norway) -Marios Mavronicolas (Cyprus Univ., Greece) *Contact Information* All questions about submissions should be emailed to Loukas Georgiadis at loukas(a)uoi.gr ________________________________________ Alessio Martino, PhD Assistant Professor of Computer Science LUISS Guido Carli University Department of Business and Management Viale Romania 32, 00197 Rome, Italy<https://www.google.com/maps/place/Viale+Romania,+32,+00197+Roma+RM/@41.9250…> (Room 508) Phone: (+39) 06-85225957 E-mail: amartino(a)luiss.it<mailto:amartino@luiss.it> La presente e-mail proviene da Luiss Guido Carli e s'intende inviata per scopi lavorativi. Tutte le informazioni ivi contenute, compresi eventuali allegati, sono da ritenersi esclusivamente confidenziali e riservati secondo i termini del vigente D.Lgs. 196/2003 in materia di privacy e del Regolamento europeo 679/2016 - GDPR. È vietato qualsiasi ulteriore utilizzo non autorizzato. Qualora la stessa Le fosse pervenuta per errore, La preghiamo di eliminarla immediatamente e di darcene tempestiva comunicazione. Grazie. This e-mail message is sent by Luiss Guido Carli for business purposes. All informations contained therein, including any attachments, are for the sole use of the intended recipient and may contain confidential and privileged information pursuant to Legislative Decree 196/2003 and the European General Data Protection Regulation 679/2016 - GDPR -. Any unauthorized review, use, disclosure or distribution is prohibited. If you are not the intended recipient, please contact the sender by soon reply this e-mail and destroy all copies of the original message. Thanks

1 0

CfC 29th Ada-Europe Int. Conf. Reliable Software Technologies
by Dirk.Craeynest＠cs.kuleuven.be 21 Oct '24

21 Oct '24

----------------------------------------------------------------------- Call for Contributions 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025) 10-13 June 2025, Paris, France www.ada-europe.org/conference2025 *** Journal-track submissions by 20 January 2025 *** *** Other submissions by 24 February 2025 *** Organized by Ada-Europe and Ada-France #AEiC2025 #AdaEurope #AdaProgramming ----------------------------------------------------------------------- *** General Information The 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025) will take place in Paris, France. The conference schedule comprises a journal track, an industrial track, a work-in-progress track, a vendor exhibition, parallel tutorials, and satellite workshops. - Journal track papers present research advances supported by solid theoretical foundation and thorough evaluation. - Industrial track contributions highlight the practitioners' side of a challenging case study or industrial project. - Work-in-progress track papers illustrate novel research ideas still at an initial stage, between conception and first prototype. - Tutorials guide attenders through a hands-on familiarization with innovative developments or with useful features related to reliable software. - Workshops provide discussion forums on themes related to the conference topics. *** Schedule 20 January 2025: Deadline for submission of journal track papers 24 February 2025: Deadline for submission of industrial track papers, work-in-progress papers, and tutorial and workshop proposals 28 March 2025: First round notification for journal track papers, and notification of acceptance for all other types of submissions 10-13 June 2025: Conference *** Scope and Topics The conference is a leading international forum for providers, practitioners, and researchers in reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development, and maintenance of long-lived, high-quality software systems for a challenging variety of application domains. The program will allow ample time for keynotes, Q&A sessions, discussions, and social events. Participants include practitioners and researchers from industry, academia, and government organizations active in the promotion and development of reliable software technologies. The topics of interest for the conference include but are not limited to (more specific topics are described on the conference web page): - Formal and Model-Based Engineering of Critical Systems; - High-Integrity Systems and Reliability; - AI for High-Integrity Systems Engineering; - Real-Time Systems; - Ada Language; - Applications in relevant domains. More specific topics are described on the conference web page, at www.ada-europe.org/conference2025. *** Call for Journal Track Submissions Following a journal-first model, this edition of the conference includes a journal track, which seeks original and high-quality papers that describe mature research work on the conference topics. Accepted journal track papers will be published in a Special Issue of Elsevier JSA - the Journal of Systems Architecture (Q1 ranked, CiteScore 8.5, impact factor 3.7). Contributions must be submitted by 20 January 2025. JSA has adopted the Virtual Special Issue model to speed up the publication process, where Special Issue (SI) papers are published in regular issues, but marked as SI papers. Acceptance decisions are made on a rolling basis. Therefore, authors are encouraged to submit papers early, and need not wait until the submission deadline. Authors who have successfully passed the first round of review will be invited to present their work at the conference. The abstract of the accepted contributions will be included in the conference booklet. Ada-Europe will waive the Open Access fees for the first four accepted papers (whose authors do not already enjoy Open Access agreements). Subsequent papers will follow JSA regular publishing track. Prospective authors may direct all enquiries regarding this track to the corresponding chairs, Laurent Pautet and Sara Royuela. *** Call for Industrial Track Submissions The conference seeks industrial-practitioner presentations that deliver insight on the challenges of developing reliable software. Especially welcome kinds of submissions are listed on the conference web site. Given their applied nature, such contributions will be subject to a dedicated practitioner peer-review process. Interested authors shall submit a one-to-two pages abstract, by 24 February 2025. The abstracts of the accepted contributions will be included in the conference booklet. The corresponding authors will get a presentation slot in the prime-time technical program of the conference and will also be invited to expand their contributions into full-fledged articles for publication in the Ada User Journal, which will form the proceedings of the industrial track of the Conference. Prospective authors may direct all enquiries regarding this track to its chairs, Daniela Cancila and Laurent Gouzenes. *** Call for Work-in-progress Track Submissions The work-in-progress (WiP) track seeks two kinds of submissions: (a) ongoing research and (b) early-stage ideas. Ongoing research submissions are 4-page papers describing research results that are not mature enough to be submitted to the journal track. Early-stage ideas are 1-page papers that pitch new research directions that fall within the scope of the conference. Both kinds of submissions must be original and shall undergo anonymous peer review. Submissions by recent MSc graduates and PhD students are especially sought. Authors shall submit their work by 24 February 2025. The abstract of the accepted contributions will be included in the conference booklet. The corresponding authors will get a presentation slot in the prime-time technical program of the conference and will also be offered the opportunity to expand their contributions into 4-page articles for publication in the Ada User Journal, which will form the proceedings of the WiP track of the conference. Prospective authors may direct all enquiries regarding this track to the corresponding chairs, Hai Nam Tran and Anish Bhobe. *** Award The Ada-Europe organization will offer an honorary award for the best technical presentation, to be announced in the closing session of the conference. *** Call for Tutorials The conference seeks tutorials in the form of educational seminars on themes falling within the conference scope, with an academic-for-practitioner slant, including hands-on or practical elements. Tutorial proposals shall include a title, an abstract, a description of the topic, an outline of the presentation, the proposed duration (half-day or full-day), the intended level of the contents (introductory, intermediate, or advanced), and a statement motivating attendance. Tutorial proposals shall be submitted at any time but no later than 24 February 2025 to the respective chair, Robert Cholay. The authors of accepted full-day tutorials will receive a complimentary conference registration, halved for half-day tutorials. The Ada User Journal will offer space for the publication of summaries of the accepted tutorials. *** Call for Workshops The conference welcomes satellite workshops centred on themes that fall within the conference scope. Proposals may be submitted for half- or full-day events, to be scheduled at either end of the AEiC conference. Workshop organizers shall also commit to producing the proceedings of the event, for publication in the Ada User Journal. Workshop proposals shall be submitted at any time but no later than 24 February 2025 to the respective chair, Anish Bhobe. Once submitted, each workshop proposal will be evaluated by the conference organizers as soon as possible. *** Call for Exhibitors The conference will include a vendor and technology exhibition. Interested providers should direct inquiries to the Exhibition & Sponsorship Chair, Ahlan Marriott. *** Venue The conference will take place at Mines Paris. Mines Paris - PSL, a founding member of Université PSL, is a leading French engineering school and the French leader institution in research partnerships. Founded 240 years ago to help spur the energy efforts called by the Industrial Revolution, it has been since training engineers in a wide spectrum of scientific disciplines. With about 1,500 students, including 100 PhD graduates per year, Mines Paris - PSL hosts 18 research centers and 5 academic departments. It is located along the Luxembourg gardens, next to the Quartier Latin, and is close to public transportation, including line B of the RER to Charles De Gaulle airport (CDG). Paris, the capital city of France, is renowned for its rich history, stunning architecture, and vibrant culture. Often referred to as "The City of Light," Paris is home to iconic landmarks such as the Eiffel Tower, the Louvre Museum, and Notre-Dame Cathedral. The city is a global center for art, fashion, gastronomy, science and culture, attracting millions of visitors each year. *** Organizing Committee - Conference Chair Jean-Pierre Rosen, Adalog & Ada-France rosen at adalog.fr - Journal track Co-chairs Laurent Pautet, Telecom Paris laurent.pautet at telecom-paris.fr Sara Royuela, Barcelona Supercomputing Center sara.royuela at bsc.es - Industrial track Co-chairs Daniela Cancila, CEA LIST daniela.cancila at cea.fr Laurent Gouzenes, Pacte-Novation lgouzenes at pactenovation.fr - Work-in-progress track Co-chairs Hai Nam Tran, University of Brest hai-nam.tran at univ-brest.fr Anish Bhobe, Telecom Paris anish.bhobe at telecom-paris.fr - Workshop Chair Anish Bhobe, Telecom Paris anish.bhobe at telecom-paris.fr - Tutorial Chair Robert Cholay, Systerel robert.cholay at free.fr - Exhibition & Sponsorship Chair Ahlan Marriott, White Elephant GmbH ahlan at ada-switzerland.ch - Finance Chair Paul Duquennoy paul.duquennoy at free.fr - Publicity Chair Dirk Craeynest, Ada-Belgium & KU Leuven dirk.craeynest at cs.kuleuven.be - Webmaster Hai Nam Tran, University of Brest hai-nam.tran at univ-brest.fr - Local Chair Pierre Jouvelot, Mines Paris, PSL University pierre.jouvelot at minesparis.psl.eu *** Previous Editions Ada-Europe organizes annual international conferences since the early 80's. This is the 29th event in the Reliable Software Technologies series, previous ones being held at Montreux, Switzerland ('96), London, UK ('97), Uppsala, Sweden ('98), Santander, Spain ('99), Potsdam, Germany ('00), Leuven, Belgium ('01), Vienna, Austria ('02), Toulouse, France ('03), Palma de Mallorca, Spain ('04), York, UK ('05), Porto, Portugal ('06), Geneva, Switzerland ('07), Venice, Italy ('08), Brest, France ('09), Valencia, Spain ('10), Edinburgh, UK ('11), Stockholm, Sweden ('12), Berlin, Germany ('13), Paris, France ('14), Madrid, Spain ('15), Pisa, Italy ('16), Vienna, Austria ('17), Lisbon, Portugal ('18), Warsaw, Poland ('19), online from Santander, Spain ('21), Ghent, Belgium ('22), Lisbon, Portugal ('23), and Barcelona, Spain ('24). Information on previous editions of the conference can be found at www.ada-europe.org/confs/ae. ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, AEiC 2025 Publicity Chair Dirk.Craeynest(a)cs.kuleuven.be * 29th Ada-Europe Int.Conf. Reliable Software Technologies (AEiC 2025) * June 10-13, 2025, Paris * France, www.ada-europe.org/conference2025

1 0

Post-Doctoral Researcher Job in "Advanced tools and libraries for exascale"
by Valeria Cardellini 19 Oct '24

19 Oct '24

We have a post doctoral position at the Department of Civil and Computer Science Engineering of the University of Rome Tor Vergata, Italy, in the context of the EuroHPC project EoCoE3 (https://www.eocoe.eu/) on the topic of "Advanced tools and libraries for exascale, and their use in flagship applications" under the joint supervision of Salvatore Filippone and Valeria Cardellini. The research activities will focus on the development of mathematical software libraries needed in the physics-driven computational models of lighthouse codes and the data processing during and after simulations. The main objective in EoCoE3 is in extending the libraries to boost node-level efficiency, by exploiting at the best processors heterogeneity of high-end supercomputers, and scalability toward exascale. The activities will also comprise a collaboration with the development of the flagship applications for Wind and Water simulations. The duration of the appointment is for 12 months, starting in Early 2025 (possible extension for a second year) and the yearly gross salary is EUR 32.000,00. The requirements for application are: - A doctoral degree in Computer Engineering, Computer Science, Computational Science, Mathematical Engineering or related field; - Experience in scientific software development for High Performance Computing with C/C++/Fortran; - Knowledge of parallel programming using MPI and/or OpenMP; - Knowledge of CUDA would be an advantage. To submit your application by November 23rd, 2024: https://pica.cineca.it/uniroma2/f3-2024-0022/

1 0

The 6th International Workshop on Statistical Methods and Artificial Intelligence
by Marouane Dirchaoui 17 Oct '24

17 Oct '24

*IWSMAI'2025: The 6th **International Workshop on **Statistical Methods and Artificial Intelligence* *(SCOPUS Publications)* *April 22 - 24, 2025, *Thessaloniki, Greece https://sites.google.com/view/iwsmai/home The 6th International Workshop on Statistical Methods and Artificial Intelligence (IWSMAI) will be held at the April 22 - 24, 2025, Thessaloniki, Greece. The aim of IWSMAI is to bring together researchers, professors and students from around the world to present their latest ideas and research results within the scope of IWSMAI'2025. This workshop will also provide an ideal environment to develop new collaborations and meet experts on the fundamentals, applications, and products of the mentioned fields. The workshop will include presentations of contributed papers, poster sessions, and state of the art lectures by invited keynote speakers. *Topics:* · Artificial Intelligence · Statistical methods · Data Analysis and Data mining · Computational Statistic · Supervised and unsupervised learning · Statistical methodology · Bioinformatics · Medical statistics · Deep Learning · Intelligent Transportation Systems · Data Collection and Applications · Data Science and Blockchain Technology · Data Science and Artificial Intelligence · Big Data · Mathematical Statistics · Economic intelligence · Statistical Software (R, SAS, Python) All accepted papers will be scheduled for oral presentations and will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series on-line (indexed by *Scopus)* [image: image.png] Selected papers will be invited for publication, in the special issues of: -International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer: https://www.springer.com/journal/12652 - International Journal on Transportation Research Part A: Policy and Practice (IF: 3.69): https://www.journals.elsevier.com/transportation-research-part-a-policy-and… - International Journal of Computing and Informatics (IF: 0.504): http://www.cai.sk/ojs/index.php/cai/index *Important Dates:* · Paper submission deadline: *October 25, 2024* · Notification of acceptance: *January 10, 2025* · Camera-ready submission: *February 09 **, 2025* · Conference date : *April 22-24, 2025*

1 0

Call For Participation, PAW-ATM 2024: Parallel Applications Workshop, Alternatives To MPI+X
by Morris Wright, Karla Vanessa 13 Oct '24

13 Oct '24

**************************************************************** Call for Participation PAW-ATM 2024: Parallel Applications Workshop, Alternatives To MPI+X Held in conjunction with SC24, Atlanta, GA November 17, 2024 9:00am - 5:30pm (EST) Room B306 / Hybrid Event https://sourceryinstitute.github.io/PAW/ **************************************************************** Alternatives to MPI+X are worth exploring as programmer productivity becomes a major component of the time to science. Alternatives include parallel programming languages (e.g. Chapel, Regent, Fortran 2018), general purpose libraries (e.g. Charm++, COMPSs, HPX, Legion, UPC++), and domain specific libraries (e.g. Arkouda, Dask, Spark). With many options to choose from, it is hard for programmers to know which alternative models are appropriate for their application and for programming model developers to understand the opportunities for improvement. Through discussion of specific applications, PAW-ATM brings together application experts and programming model developers to improve applications and models. WORKSHOP PROGRAM 9:00 - 9:02 “PAW-ATM2024 Introduction” Karla V. Morris Wright, Elliott Slaughter, Engin Kayraklioglu, Irene Moulitsas, Bill Long, Daniele Lezzi and Kenjiro Taura Session Chair: Brad Richardson – Lawrence Berkeley National Laboratory 9:02 - 9:45 “Survey of Technologies for Developers of Parallel Applications” Wonchan Lee – NVIDIA Damian Rouson – Lawrence Berkeley National Laboratory 9:45 - 10:00 User Experience: “Resource Adaptivity at Task-Level” Jonas Posner 10:00 - 10:30 Morning Break (30 min) Session Chair: Quincey Koziol – NVIDIA 10:30 - 10:50 “Speeding-Up LULESH on HPX: Useful Tricks and Lessons Learned using a Many-Task-Based Approach” Torben Kalkhof, and Andreas Koch 10:50 - 11:10 “Lamellar: A Rust-based Asynchronous Tasking and PGAS Runtime for High Performance Computing” Ryan D. Friese, Roberto Gioiosa, Joseph Cottam, Erdal Mutlu, Gregory Henselman-Petrusek, Polykarpos Thomadakis, and Mark Raugas 11:10 - 11:30 “Applying a Task-Based Approach to Distributed Machine Learning Workflows” Fernando Vazquez-Novoa, Daniele Lezzi, Francesc Lordan, Fatemeh Baghdadi, and Davide Cirillo 11:30 - 11:50 “Accelerating Multi-GPU Embedding Retrieval with PGAS style Communication for Deep Learning Recommendation Systems” Yuxin Chen, Aydin Buluc, Katherine Yelick, and John Owens 11:50 - 12:10 “Mitigating synchronization bottlenecks in high-performance actor-model-based software” Kyle Klenk, Mohammad Mahdi Moayeri, Junwei Guo, Martyn P. Clark, and Raymond J. Spiteri 12:10 - 12:30 “Intel SHMEM: GPU-initiated OpenSHMEM using SYCL” Alex Brooks, Philip Marshall, David Ozog, Md. Wasi-ur- Rahman, Lawrence Stewart, and Rithwik Tom 12:30 - 2:00 Lunch Break (90 min) Session Chair: Michelle Strout – Hewlett Packard Enterprise 2:00 - 2:45 Distinguished Speaker: Eric Laurendeau – Polytechnique Montreal “A case study for using Chapel within the global aerospace industry” 2:45 - 3:00 User Experience: “Exploring Suffix Array Algorithms in Chapel” Michael P. Ferguson, Bonnie Hurwitz, and Shreyas Khandekar 3:00 - 3:30 Afternoon Break (30 min) 3:30 - 3:45 Session Chair: Alex Aiken – Stanford University 3:30 - 3:45 User Experience: “Just Write Fortran: Experiences with a Language-Based Alternative to MPI+X” Baboucarr Dibba, Katherine Rasmussen, Brad Richardson, Damian Rouson, David Torres, Yunhao Zhang, Ethan Gutmann, Kareem Ergawy and Michael Klemm 3:45 - 5:30 Panel Discussion: “Alternative programming models for applications at scale” Panel Chair: Christine Sweeney – Los Alamos National Laboratory Panelists: Jan Ciesko – Sandia National Laboratories Nils Deppe – Cornell University Jason DeVinney – Center for Computing Sciences Eric Laurendeau – Polytechnique Montreal Julian Samaroo – Massachusetts Institute of Technology http://sourceryinstitute.github.io/PAW/ Best Regards, PAW-ATM2024 Organizing Committee

1 0

From Skala - WSCG2025 - Call for Papers/serv - Submission January 2025; Event May 26-29, 2025
by Prof. Ing. Vaclav Skala, CSc. 13 Oct '24

13 Oct '24

>> *CALL FOR PAPERS *& workshop proposals << >> Contact: WSCGconf(a)gmail.com - WSCG related questions << We would like to invite you to the annual WSCG conference * *WSCG 2025 - 33. International Conference on Computer Graphics, Visualization and Computer Vision 2025 (held annually in Prague/Pilsen)* www.wscg.cz OR www.wscg.eu - WEB pages are to be updated soon to be held in Prague/Pilsen, Czech Republic (as usual for 32 years) in *May 26-29, 2025* *Submission dates*: January 2025 expected Conference will be held in the *HYBRID *mode, however *physical presence is strongly preferred*. Recent papers are available in the Digital Repository o http://wscg.zcu.cz/DL/wscg_DL.htm * *Accepted papers* are published in the *Computer Science Research Notes [CSRN], ISSN 2464-4617* and *the best selected papers* are published in the *Journal of WSCG, ISSN 1213-6972* Each paper has an *individual DOI *registered with http://www.doi.org Indexed by Scopus etc. * *Recent Keynot*e speakers can be found in o http://wscg.zcu.cz/Keynotes/keynote.htm * *Register* your contact at the submission server o http://wscgreg.zcu.cz to be kept updated (there will be no CfP resent) Feel free to contact me at: * WSCGconf(a)gmail.com - WSCG related questions * skala(a)kiv.zcu.cz - in research oriented questions Yours prof. Vaclav Skala WSCG organizer since 1992 annually held in Czech Republic www.VaclavSkala.eu c/o University of West Bohemia Pilsen, Czech Republic -- ~~~~~~~~~~~~~~~~~ Prof.Vaclav Skala http://www.VaclavSkala.eu http://afrodita.zcu.cz/~skala/publications.htm tel. 37-763-2473 ID verification:https://www.zcu.cz/cs/Employees/person.html?personId=16821 c/o University of West Bohemia Computer Graphics and Visualization Faculty of Applied Sciences Dept.of Computer Science & Engineering Univerzitni 8 CZ 306 14 Plzen Czech Republic ORCID: 0000-0001-8886-4281 ResearcherID:http://www.researcherid.com/rid/F-9141-2011 Scopus Author ID:https://www.scopus.com/authid/detail.uri?authorId=7004643209 Research Gate:https://www.researchgate.net/profile/Vaclav_Skala/publications DBLP:https://dblp.org/orcid/0000-0001-8886-4281 https://dblp.org/pid/s/VaclavSkala.html ACM:https://dl.acm.org/profile/81100496969 ~~~~~~~~~~~~~~~~~~~ Jakákoli ujednání vzešlá z této e-mailové/elektronické komunikace se do jejich písemného potvrzení podepsaného oprávněnými osobami nepovažují za platná, účinná a vůči ZČU závazná. ~~~~~~~~~~~~~~~~~~~~~~~~~~~ Any arrangements arising from this e-mail / electronic communication shall not be considered valid, effective and binding upon the UWB until their written confirmation signed by the authorized persons. ~~~~~~~~~~~~~~~~~~~~~~~~~~~ -- ~~~~~~~~~~~~~~~~~ Prof.Vaclav Skala http://www.VaclavSkala.eu http://afrodita.zcu.cz/~skala/publications.htm tel. 37-763-2473 ID verification:https://www.zcu.cz/cs/Employees/person.html?personId=16821 c/o University of West Bohemia Computer Graphics and Visualization Faculty of Applied Sciences Dept.of Computer Science & Engineering Univerzitni 8 CZ 306 14 Plzen Czech Republic ORCID: 0000-0001-8886-4281 ResearcherID:http://www.researcherid.com/rid/F-9141-2011 Scopus Author ID:https://www.scopus.com/authid/detail.uri?authorId=7004643209 Research Gate:https://www.researchgate.net/profile/Vaclav_Skala/publications DBLP:https://dblp.org/orcid/0000-0001-8886-4281 https://dblp.org/pid/s/VaclavSkala.html ACM:https://dl.acm.org/profile/81100496969 ~~~~~~~~~~~~~~~~~~~ Jakákoli ujednání vzešlá z této e-mailové/elektronické komunikace se do jejich písemného potvrzení podepsaného oprávněnými osobami nepovažují za platná, účinná a vůči ZČU závazná. ~~~~~~~~~~~~~~~~~~~~~~~~~~~ Any arrangements arising from this e-mail / electronic communication shall not be considered valid, effective and binding upon the UWB until their written confirmation signed by the authorized persons. ~~~~~~~~~~~~~~~~~~~~~~~~~~~

1 0

CFP OLA'2025 Int. Conf. Optimization & Learning @Dubai
by El-Ghazali Talbi 11 Oct '24

11 Oct '24

Apologies for cross-posting. Appreciate if you can distribute this CFP to your network. **************************************************************************************** OLA'2025 International Conference on Optimization and Learning 23-25 April 2025 Dubai http://ola2025.sciencesconf.org/ SCOPUS Springer Proceedings **************************************************************************************** OLA is a conference focusing on the future challenges of optimization and/or machine learning methods and their applications. The conference OLA'2025 will provide an opportunity to the international research community in optimization and learning to discuss recent research results and to develop new ideas and collaborations in a friendly and relaxed atmosphere. OLA'2025 welcomes presentations that cover any aspects of optimization and/or machine learning research such as big optimization and learning, optimization for learning, learning for optimization, optimization and learning under uncertainty, deep learning, new high-impact applications, parameter tuning, 4th industrial revolution, computer vision, hybridization issues, optimization-simulation, meta-modeling, high-performance computing, parallel and distributed optimization and learning, surrogate modeling, multi-objective optimization ... Submission papers: We will accept two different types of submissions: - S1: Extended abstracts of work-in-progress and position papers of a maximum of 3 pages - S2: Original research contributions of a maximum of 12 pages Important dates: =============== Paper submission deadline Dec 20, 2024 Notification of acceptance Feb 07, 2025 Proceedings: Accepted papers in categories S1 and S2 will be published in the proceedings. A SCOPUS and DBLP indexed Springer book will be published for accepted long papers. Proceedings will be available at the conference. -- *********************************************************************** OLA'2025 International Conference on Optimization and Learning (SCOPUS, Springer) April 23-25, 2025, Dubai, https://ola2025.sciencesconf.org *********************************************************************** ********************************************************************** ECCO'2025 EURO Conference on the European Chapter of Combinatorial Optimization May 8-10, 2025, Marrakech, Morocco, http://ecco2025.sciencesconf.org *********************************************************************** Prof. El-ghazali TALBI Polytech'Lille, University Lille - INRIA CRISTAL - CNRS

1 0

The 1st International Workshop on Causality, Agents and Large Models (CALM) [extended deadline]
by Yazan MUALLA 23 Sep '24

23 Sep '24

Please, accept our apologies in case of multiple copies of this CFP. ************************************************************************************************************************************* The 1st International Workshop on Causality, Agents and Large Models (CALM) https://www.ciad-lab.fr/prima-causal-ai-workshop/ in conjunction with The 25th International Conference on Principles and Practice of Multi-Agent Systems Kyoto, Japan | November 18-24, 2024 https://sites.google.com/view/prima-2024/ ************************************************************************************************************************************** Description: ============ Causality, Agents and Large Models (CALM) represents three rapidly-growing fields within artificial intelligence research. This workshop aims to bridge the gap between these disciplines by investigating how causal reasoning can enhance the capabilities of multi-agent systems (MAS). The workshop will provide a forum for researchers to discuss theoretical foundations, practical applications, and future directions at the intersection of causal AI, Large Language Models (LLM) and MAS. CALM Workshop goals: ===================== -Explore the role of causal reasoning in enhancing decision-making, coordination, and adaptation in MAS. -Discuss technical challenges and opportunities for integrating causal AI techniques and LLM into MAS frameworks. -Foster interdisciplinary collaboration between researchers in causal reasoning, LLM, and MAS. -Identify promising directions for future research and development in this emerging area. Topics: ======= -Theoretical foundations of causal reasoning in MAS -Causal reasoning capabilities in Large Language Models -Applications of causal AI techniques in agent-based modeling and simulation -Causal inference in complex and dynamic multi-agent environments -Mechanistic Interpretability of Causality in Large Language Models -Integration of causal reasoning with decision-making and planning in MAS -Learning causal models from observational and interventional data in MAS -Causal reasoning for coordination, cooperation, and communication among agents -Challenges and opportunities for incorporating causal AI into MAS frameworks -Case studies and empirical evaluations of causal AI approaches in agents -Generative AI as preprocessing for MAS -Exploring causality with deep generative models -Digital twins and simulators for interpretable synthetic data generation -Graph neural network causal learning -Causal reinforcement learning -Interpretable/Explainable root cause analysis methods -Explainable AI with active inference techniques -Logic and argumentation-based approaches to causal reasoning Submission guidelines: ====================== Submissions will be reviewed by at least three members of the program committee, who are experts in the field. The acceptance of the submitted papers will depend on their quality, relevance, and originality. All accepted papers will be published in the Springer proceedings Communications in Computer and Information Science (CCIS) series devoted to the publication of proceedings of computer science conferences. Participants are therefore invited to submit Long papers: up to 16 pages in length (incl. references) or Short papers: up to 5 pages in length (incl. references). Papers must be edited using the LNCS format and have to be submitted electronically as PDF files via the EasyChair submission page: https://easychair.org/my/conference?conf=calm2024 Chairs: ======= -Dr. Yazan Mualla, Associate professor, CIAD, Belfort-Montbéliard University of Technology yazan.mualla(a)utbm.fr https://www.ciad-lab.fr/yazan_mualla -Dr. Liuwen Yu, Postdoc, University of Luxembourg liuwen.yu(a)uni.lu https://www.liuwenyu.me/ -Dr. Davide Liga, Postdoctoral Researcher, University of Luxembourg davide.liga(a)uni.lu -Dr. Igor Tchappi, Postdoctoral Researcher, University of Luxembourg igor.tchappi(a)uni.lu Advisory Board: =============== -Prof. Dr. Stéphane Galland, Full professor, CIAD, Belfort-Montbéliard University of Technology stephane.galland(a)utbm.fr https://www.ciad-lab.fr/stephane_galland/ -Prof. Dr. Abdeljalil Abbas-Turki, Full professor, CIAD, Belfort-Montbéliard University of Technology abdeljalil.abbas-turki(a)utbm.fr https://www.ciad-lab.fr/abdeljalil_abbas-turki/ Important Dates ================ Paper submission deadline: September 26th, 2024 (extended) Notification of acceptance: October 05th, 2024 Workshop dates: November 18 or 19, 2024 Camera-ready: TBD All deadlines are at the end of the day specified, anywhere on Earth (UTC-12).

1 0