computational.science

computational.science@lists.iccsa.org

3 participants
1981 discussions

AEiC 2025 - Ada-Europe conference - CfC for Additional Tracks
by Dirk.Craeynest＠cs.kuleuven.be 18 Feb '25

18 Feb '25

----------------------------------------------------------------------- Call for Contributions - Additional Tracks 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025) 10-13 June 2025, Paris, France www.ada-europe.org/conference2025 *** 2nd submission DEADLINE 7 March 2025 (extended) *** *** Industrial & Work-in-Progress track, Tutorials, Workshops *** Organized by Ada-Europe and Ada-France in cooperation with ACM SIGPLAN #AEiC2025 #AdaEurope #AdaProgramming ----------------------------------------------------------------------- *** General Information The 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025 aka Ada-Europe 2025) will take place in Paris, France. The conference schedule comprises keynote talks, 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. - Vendor presentations and exhibitions allow for companies to showcase their latest products and services. *** Schedule [CLOSED] Submission deadline for journal track papers 7 March 2025: Extended 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). Accordingly, the conference is listed as "Journal Published" in the latest update of the CORE Conference Ranking released in August 2023. [Submission details removed. Call is closed now.] 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. Please note that the Ada-Europe organization will waive the Open Access fees for the first four accepted papers, which do not already enjoy OA from other agreements with the Publisher. Subsequent papers will follow JSA regular publishing track. *** 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, via EasyChair at https://easychair.org/conferences/?conf=aeic2025, selecting the "Industrial Track". The format for submission is strictly in PDF, following the Ada User Journal style. Templates are available at http://www.ada-europe.org/auj/guide. 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, via EasyChair at https://easychair.org/conferences/?conf=aeic2025, selecting the "Work-in-progress Track". The format for submission is strictly in PDF, following the Ada User Journal style. Templates are available at http://www.ada-europe.org/auj/guide. 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 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, by email, with subject line: "[AEiC 2025: tutorial proposal]". 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 on the Friday 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, by email, with subject line: "[AEiC 2025: workshop proposal]". Once submitted, each workshop proposal will be evaluated by the conference organizers as soon as possible. *** Academic Listing The Journal of Systems Architecture, publication venue of the journal- track proceedings of the conference, is Q1 ranked, with CiteScore 8.5 and Impact Factor 3.7. The Ada User Journal, venue of all other technical proceedings of the conference, is indexed by Scopus and by EBSCOhost in the Academic Search Ultimate database. *** Call for Exhibitors and Sponsors The conference will include a vendor and technology exhibition, with the option of a 20 minutes presentation as part of the conference program. 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 - Tutorial Chair Robert Cholay, Systerel robert.cholay at systerel.fr - Workshop Chair Anish Bhobe, Telecom Paris anish.bhobe at telecom-paris.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 - Local Chair Pierre Jouvelot, Mines Paris, PSL University pierre.jouvelot at minesparis.psl.eu - Webmaster Hai Nam Tran, University of Brest hai-nam.tran at univ-brest.fr *** Journal Track Committee Alejandro Mosteo, CUD Zaragoza, Spain Andrea Marongiu, University of Modena and Reggio Emilia, Italy Ann Laguna, De La Salle University, USA Angeliki Kritikakou, University of Rennes, France António Casimiro, University of Lisbon, Portugal Bjorn Andersson, SEI, USA C. Michael Holloway, NASA, USA Cristina Seceleanu, Mälardalen University, Sweden Doug Schmidt, Vanderbilt University, USA Frank Singhoff, University of Brest, France George Lima, Universidade Federal da Bahia, Brazil Isaac Amundson, Rockwell Collins, USA Jérôme Hugues, CMU/SEI, USA John B Goodenough, CMU, USA Kerstin Bach, Norwegian University of Science and Technology, Norway Kristoffer Nyborg Gregertsen, SINTEF Digital, Norway Laura Carnevali, University of Florence, Italy Laurent Pautet, Telecom ParisTech, France Leonidas Kosmidis, Barcelona Supercomputing Center, Spain Liliana Cucu-Grosjean, Inria, France Luis Miguel Pinho, ISEP & INESC TEC, Portugal Mario Aldea Rivas, University of Cantabria, Spain Martina Maggio, Saarland University, Germany Matthias Becker, KTH - Royal Institute of Technology, Sweden Patricia López Martínez, University of Cantabria, Spain Risat Pathan, Chalmers University, Sweden Sara Royuela, Barcelona Supercomputing Center, Spain Sergio Sáez, Universitat Politècnica de València, Spain Susanne Graf, University Grenoble Alpes, France Steven Xiaotian Dai, University of York, UK Tucker Taft, AdaCore, USA Tullio Vardanega, University of Padua, Italy Xhevahire Ternava, Telecom Paris, France *** Industrial Track Committee Alexander Viehl, FZI Research Center for Information Technology, Germany Ana Rodríguez, Silver Atena, Spain Claire Dross, AdaCore, France Daniela Cancila, CEA, France Elena Lisova, Volvo CE, Sweden Enricco Mezzetti, Barcelona Supercomputing Center, Spain Federico Aromolo, Scuola Superiore Sant'Anna, Italy Helder Silva, Edisoft, Portugal Hugo Torres Vieira, Evidence Srl, Italy Irune Agirre, Ikerlan, Spain José Ruiz, AdaCore, France Laurent Gouzènes, Pacte Novation, France Marco Panunzio, Thales Alenia Space, France Michael Pressler, Robert Bosch GmbH, Germany Raúl de la Cruz, Collins Aerospace, Ireland Santiago Urueña, GMV, Spain Saqib Hasan, Collins, USA, USA *** Work-in-Progress Track Committee Abderaouf Nassim Amalou, Univeristy of Nantes, LS2N, France Alan Oliveira, University of Lisbon, Portugal Alexandre Honorat, INRIA Grenoble, France Anish Bhobe, Telecom Paris, France Audrey Quedet, Univeristy of Nantes, LS2N, France Hai Nam Tran, University of Brest, Lab-STICC, France J. Javier Gutiérrez, University of Cantabria, Spain Jérémie Guiochet, LAAS-CNRS, France José Cecílio, University of Lisbon, Portugal Kalinka Branco, University of São Paulo, Brazil Leandro Buss Becker, University of Manchester, UK Samuel Tardieu, Telecom Paris, France Sara Abbaspour, Mälardalen University, Sweden Shuo-Han Chen, NYCU, Taiwan Stéphane Rubini, University of Brest, Lab-STICC, France Tiago Carvalho, ISEP, Portugal *** 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 Dirk.Craeynest(a)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

[CfP] SSTD 2025, 25-27 August, Osaka University, Nakanoshima center, Japan
by WANG Libin 15 Feb '25

15 Feb '25

19th International Symposium on Spatial and Temporal Data, 25-27 August 2025, Osaka, Japan Website: https://sstd2025.github.io/index.html There are four sections in the following: A. Call for Research / Demo / Industry Track Papers B. Call for Thesis and Dissertation Workshop Track Papers C. Call for Tutorial Proposals D. Attractions/Events in Osaka ============================================================== # A. Call for Research / Demo / Industry Track Papers Scope: The 19th International Symposium on Spatial and Temporal Data (SSTD) expands its scope beyond traditional databases to embrace the broader and rapidly evolving landscape of spatial and temporal data. While previous editions focused on foundational database systems and techniques, this year’s symposium welcomes research that addresses the full spectrum of challenges and innovations in managing, analyzing, and leveraging spatial and temporal data. We invite contributions spanning data management, analytics, mining, machine learning, visualization, and real-world applications across diverse domains, reflecting the growing significance of spatial and temporal data in today’s data-driven world. This expanded scope aims to foster interdisciplinary discussions and accommodate emerging trends where spatial and temporal data intersect with cutting-edge technologies. SSTD 2025 solicits submissions in three tracks. -Research Track Authors are invited to submit long and short research papers presenting original contributions. The selection criteria include quality, novelty, correctness, and relevance to SSTD. The short research papers are expected to discuss exciting new work that is not yet mature enough for a long paper. In particular, novel but significant proposals will be considered for acceptance to this category despite not having gone through extensive experimental validation or lacking a strong theoretical foundation. -Demo Track We invite authors to submit demo papers featuring systems that are fully developed or currently under development but reasonably complete and mature. Demonstration proposals will be evaluated based on their novelty, technical innovations, the challenges being addressed, and the overall practical appeal of the showcased system. -Industry Track We invite the submission of industry papers that highlight practical applications, address real-world challenges, share original insights and demonstrate the successful translation of research into impactful solutions for businesses and organizations. -------------------------------------------------------------- ## Topics of Interest Topics of interest include, but are not limited to, the following in the context of spatial, temporal, and spatio-temporal data. -Spatial Foundations *Spatial and temporal data models, representations, and standards *Computational geometry algorithms *Theoretical frameworks and complexity analysis *Spatial approximation, sampling, and compression strategies *Topological, geometric, and semantic relationships -Spatial Data Mining, Machine Learning, and Analytics *Foundation models and LLMs for spatial data *Data warehousing and decision support *Pattern recognition, clustering, and outlier detection *Predictive modeling and forecasting *Integration of deep learning and Geo-AI techniques *Recommender systems -Spatial Statistical Analysis *Spatial autocorrelation and regression models *Spatial point process analysis *Geostatistical methods *Bayesian models *Analysis of spatial heterogeneity *Spatio-temporal statistical methods -Data Management and Storage *Data types and query languages *Database design and conceptual modeling *Storage and retrieval techniques *Access methods and indexing *Query processing and optimization *Distributed and cloud-based architectures *Stream processing and real-time indexing *Moving objects applications *Methods for data integration and harmonization -Spatial Networks and Graphs *Transportation and mobility analytics *Network modeling and route optimization *Graph-based techniques *Sensor networks -Geographic Information Retrieval (GIR) *Spatially-aware search engines *Geotagging and geographic text analysis *Location-based information retrieval *Integration of spatial and textual data *Ontologies and taxonomies *Semantic analysis of geographic entities *Spatial-keyword search -Visualization and Interaction *Novel visualization techniques *Human-computer interaction *AR/VR environments and immersive visualizations -Quality, Uncertainty, Fairness and Privacy *Data quality assessment and cleaning *Handling uncertainty and incomplete data *Privacy-preserving methods *Data bias, fairness, transparency -Applications and Emerging Domains *Location-based services and social networks *Experiments and performance evaluation *Smart cities and urban planning *Public health and emergency management *IoT-based sensor networks *Computer vision for spatial data *Crowdsourcing and user-generated content *Indoor spaces and mobility *Spatial quantum modeling *New hardware platforms -------------------------------------------------------------- ## Submission Instructions Submissions for the three tracks should be done from the link https://cmt3.research.microsoft.com/SSTD2025 selecting the appropriate track. Submissions should be formatted using the double-column ACM SIG Conference Proceedings template found at: http://www.acm.org/publications/proceedings-template. If you use Overleaf, you can access the ACM official template found at: https://www.overleaf.com/gallery/tagged/acm-official#.WOuOk2e1taQ. This template requires switching the document class from "manuscript" to "sigconf" to ensure the required double-column format. Submissions cannot have been or be submitted to another venue while being reviewed at SSTD and must have significant new content compared to previous publications. Long research papers and industry papers are limited to 10 pages. Short research papers and demo papers are limited to 4 pages. These page limits exclude the references. The review process is single-blind: the reviewers are not identified, while author names are listed in the submission. The fair use of AI tools is permitted and must comply with the ACM policies regarding AI tools in authorship and the peer-reviewing process. For more information, please see: https://www.acm.org/publications/policies and https://www.acm.org/publications/policies/frequently-asked-questions -------------------------------------------------------------- ## Important Dates Abstract submission (all tracks): April 27, 2025 Paper submission deadline (all tracks): May 4, 2025 Notification date: July 1, 2025 Camera-ready: July 15, 2025 All deadlines refer to 23:59 in the AoE (Anywhere on Earth) time zone. ============================================================== # B. Call for Thesis and Dissertation Workshop Track Papers We are pleased to announce the first edition of the Thesis and Dissertation Workshop Track. This new track offers a unique opportunity for Ph.D. candidates to share their research with the SSTD community. Early-stage Ph.D. students can present their preliminary studies, receive feedback, and explore new research opportunities. For later-stage Ph.D. students, this track offers an opportunity to present their recent results and share their work with the community. Submissions will be evaluated based on the research stage: papers from early-stage students will be assessed on the originality and potential impact of their research directions, while papers from later-stage students will be evaluated primarily on their results and overall contributions to the field. -------------------------------------------------------------- ## Topics of Interest Topics of interest include, but are not limited to, the following in the context of spatial, temporal, and spatio-temporal data. -Spatial Foundations -Spatial Data Mining, Machine Learning, and Analytics -Spatial Statistical Analysis -Data Management and Storage -Spatial Networks and Graphs -Geographic Information Retrieval (GIR) -Visualization and Interaction -Quality, Uncertainty, Fairness, and Privacy -Applications and Emerging Domains -------------------------------------------------------------- ## Important Dates Paper submission deadline (Thesis and Dissertation Workshop Track): May 18, 2025 Notification date: July 1, 2025 Camera-ready: July 15, 2025 All deadlines refer to 23:59 in the AoE (Anywhere on Earth) time zone. -------------------------------------------------------------- ## Submission Guidelines Papers are limited to 4 pages, including the references. Submissions for the track should be made using the link https://cmt3.research.microsoft.com/SSTD2025 choosing the SSTD2025 Theses and Dissertations workshop track. Submissions should be formatted using the double-column ACM SIG Conference Proceedings template found at: http://www.acm.org/publications/proceedings-template. If you use Overleaf, you can access the ACM official template found at: https://www.overleaf.com/gallery/tagged/acm-official#.WOuOk2e1taQ. This template requires switching the document class from "manuscript" to "sigconf" to ensure the required double-column format. Submissions cannot have been or be submitted to another venue while being reviewed at SSTD and must have significant new content compared to previous publications. The review process is single-blind: the reviewers are not identified, while author names are listed in the submission. The fair use of AI tools is permitted and must comply with the ACM policies regarding AI tools in authorship and the peer-reviewing process. For more information, please see: https://www.acm.org/publications/policies and https://www.acm.org/publications/policies/frequently-asked-questions ============================================================== # C. Call for Tutorial Proposals We invite proposals for tutorials of general interest to the spatio-temporal data management/database/mining research and development community. Topics relevant to the SSTD conference are encouraged, with particular emphasis on emerging research areas or well-established fields that remain highly relevant. We welcome proposals that offer a comprehensive and insightful overview of the chosen topic, covering related literature. While presenters are welcome to highlight exemplary works, the tutorial should not focus exclusively on the presenters' own contributions. Proposals must specify the intended length of the tutorial (up to 1.5 hours). If proposing multiple topics or a broader scope, please ensure the content is suitable for the 1.5-hour format. Additionally, proposals should indicate any previous venues where all or part of the tutorial has been presented and describe how this version differs from past iterations. The proposal should also define the target audience, outline the expected prerequisite knowledge, and explain the anticipated benefits for participants. -------------------------------------------------------------- ## Important Dates Important dates are listed as follows: - Tutorial submission due: May 4, 2025 (Sunday) - Notification of acceptance: June 4, 2025 (Wednesday) - Camera-ready copy due: TBD All deadlines are Anywhere on Earth (AoE). -------------------------------------------------------------- ## Submission Guidelines Tutorial proposals should be submitted via email to all two chairs (see contact details below). Submissions should be at most 4 (four) pages, excluding references, with the [same format](https://sstd2025.github.io/submit.html) as SSTD2025 research papers. Each submission should include the following information: ### Tutorial Title - Tutorial Presenters: Name, affiliation, email, postal address, phone number, and a brief bio highlighting the presenters' expertise in the tutorial domain. - Length: Specify the proposed length (up to 1.5 hours). Please ensure the content fits within the maximum duration. ### Abstract - Scope and Depth: Provide a detailed outline of the topics to be covered, including their scope and depth. If available, include a URL to previous slides or materials for evaluation purposes. - Hands-on Tutorial: Indicate whether the tutorial will include hands-on components. Specify any required operating systems, software, tools, or equipment that attendees need to bring. - Target Audience: Describe the intended audience, the expected prerequisites, the relevance of the tutorial to SSTD, and the anticipated benefits for participants. - Prior Offerings: If any part of the tutorial has been presented previously, provide details such as the event dates, locations, and URLs to associated slides or notes. Highlight how this proposal differs from previous versions. - References: A list of primary references that will be covered during the tutorial. -------------------------------------------------------------- ## Tutorial Chairs Xue Hao, \<hao.xue1(a)unsw.edu.au>, University of New South Wales Yuxuan Liang, \<yuxliang(a)outlook.com>, The Hong Kong University of Science and Technology (Guangzhou) ============================================================== # D. Attractions/Events in Osaka ## Expo 2025 A World Expo is an event that brings together people and innovations from around the world in an effort to address issues facing humankind on a global scale. The Osaka Expo 1970, the first World Expo held in Japan and Asia, became a symbol of Japan's rapid economic growth and remains one of the country's most significant events. Twenty years after the Aichi Expo 2005, Expo 2025 Osaka, Kansai will welcome the international community back to Japan. *Schedule: April 13 to October 13, 2025 (184 days, including SSTD 2025 period: August 25-27) *Venue: Yumeshima, Osaka (30-min by Osaka Metro from the SSTD 2025 venue) *Website: https://www.expo2025.or.jp/en/ ## Osaka Castle Park Osaka Castle stands as one of Japan's most iconic landmarks, playing a crucial role in the country's unification during the sixteenth century. The castle museum showcases the history of both the castle and the city through exhibits of historical artifacts, including samurai armor, weapons, and important documents. Visitors can enjoy panoramic city views from the castle tower, while the surrounding park is particularly famous for its cherry blossoms in spring. *Access: 20-min from the Nakanoshima Station (5-min by Osaka Metro plus 15-min walk) *Website: https://osakacastlepark.jp/?lang=en ## Dotonbori District Dotonbori represents Osaka's most popular entertainment district and culinary destination. This energetic area is renowned for its spectacular neon signs, iconic 3D signage (including the famous Glico Running Man), and an abundance of restaurants serving authentic Osaka cuisine. Visitors should try local specialties such as takoyaki (octopus dumplings), okonomiyaki (savory pancakes), and kushikatsu (breaded and deep-fried skewers). *Access: 30-min from the Nakanoshima Station (15-min by Osaka Metro plus 15-min walk) *Website: http://www.dotonbori.or.jp/en/ ## Nakanoshima Island The SSTD 2025 venue, Osaka University Nakanoshima Center, is located on Nakanoshima Island, a sophisticated district in central Osaka―just 5 minutes by metro or a pleasant 15-minute walk from Osaka Station. This unique island, formed by the Dojima and Tosabori rivers, serves as Osaka's cultural and business center, where historic architecture harmoniously coexists with modern museums, galleries, and office towers. *City Central Public Hall. A magnificent Neo-Renaissance building from 1918 (20-min walk) Website: https://osaka-chuokokaido.jp/english/ *Nakanoshima Museum of Art. Contemporary art exhibitions in an architecturally striking underground building (3-min walk, next to the conference venue) Website: https://nakka-art.jp/en/ *The National Museum of Art, Osaka (NMAO). Modern and contemporary art museum (4-min walk, next to the conference venue) Website: https://www.nmao.go.jp/en/ *Museum of Oriental Ceramics. World-renowned collection of Asian ceramics and pottery (3-min by Osaka Metro) Website: https://www.moco.or.jp/en/ *Osaka Science Museum. Interactive science exhibits and planetarium (4-min walk, next to the conference venue) Website: https://www.sci-museum.jp/osaka-science-museum/ *Nakanoshima Park. Riverside green space featuring seasonal rose gardens and walking paths (3-min walk) *River Cruise. Evening cruises offering unique perspectives of Osaka's waterfront cityscape Website: https://en.osaka-info.jp/spot/nakanoshima-river-cruise/ ## Day Trips to Kyoto and Nara Kyoto and Nara, Japan's ancient capitals, are perfect for day trips from Osaka: *Kyoto: Access: 30 to 45-min by train from Osaka Station Iconic temples and shrines including the Golden Pavilion (Kinkaku-ji) Historic Gion district with preserved traditional architecture and geiko (geisha) culture Arashiyama area featuring bamboo groves and monkey park Fushimi Inari Shrine's tunnel of thousands of vermillion torii gates *Nara: Access: 45-min by train from Osaka Station Todaiji Temple, housing Japan's largest bronze Buddha statue Nara Park, home to hundreds of free-roaming deer considered sacred messengers UNESCO World Heritage sites including ancient temples and shrines Traditional Japanese gardens and historic architecture

1 0

Extended deadline ECCO'2025 Combinatorial Optimization @Marrakech
by El-Ghazali Talbi 01 Feb '25

01 Feb '25

************************************************************************************* ECCO'2025 38th Conference of the European Chapter on Combinatorial Optimization 8-10 May 2025 Marrakech, Morocco https://ecco2025.sciencesconf.org ************************************************************************************* The 38th Conference of the European Chapter on Combinatorial Optimization will be held in Marrakech (Morocco) from 8 till 10 May 2025. AIMS The ECCO annual meetings aim to bring together researchers in Combinatorial Optimization to present their work, share experiences, and discuss recent advances in theory and applications. CALL FOR ABSTRACTS We invite all researchers, practitioners, and students interested in the following subject areas to submit an abstract: - Theory and applications of combinatorial optimization - Optimal solution methods, approximation algorithms and metaheuristics for combinatorial optimization problems - Integer programming, global optimization, stochastic integer programming, multi-objective programming, mixed optimization, graph theory and network flows - Application domains include, but are not limited to, logistics and supply chain optimization, manufacturing, energy production and distribution, land consolidation, telecommunications, bioinformatics, finance, discrete tomography, discrete and hybrid dynamical systems. IMPORTANT DATES Extended deadline for abstract submission 28 Feb 2025 Notification of acceptance 14 March 2025 Deadline for early registration 28 March 2025 ABSTRACT SUBMISSION Abstracts must be written in English and contain no more than 1,500 characters in plain text format (no formulas are allowed). Please note that the submission MUST be done by the person who will present the paper. For each submitted paper, ONE unique registration must be submitted (e.g., for two submitted papers, two separate registrations must be submitted). SOCIAL EVENTS Conference Dinner: Friday 9 May at Chez Ali PUBLICATIONS Book of Abstracts Special Issue: A special issue of the Journal of Combinatorial Optimization will be devoted in papers presented in the conference. All articles will be refereed according to the high standards of the journal. Details of the process will be given during the conference. COMMITTEES Conference chair El-Ghazali Talbi (chair), University of Lille, France Program and steering committee Jacek Blazewicz, Poznań University of Technology, Poland Bo Chen, University of Warwick, UK Van-Dat Cung, Université Grenoble Alpes, France Alain Hertz, Polytechnique Montréal, Canada Silvano Martello, Università di Bologna, Italy Greet Vanden Berghe, KU Leuven, Belgium El-Ghazali Talbi (chair), University of Lille and INRIA, France Paolo Toth, Università di Bologna, Italy CONTACT Prof. El-ghazali Talbi email: ecco2025(a)sciencesconf.org -- *********************************************************************** 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

From Skala - WSCG2025 - Call for Papers - Submission February 2025; Event Prague/Pilsen May 26-29, 2025
by Prof. Ing. Vaclav Skala, CSc. 26 Jan '25

26 Jan '25

>> Apologies for duplicates, if any << >> *33. conference WSCG 2025 - Prague/Pilsen, Czech Republic* << >> Please, resend to your colleagues << Dear colleague, I would like to invite you to the annual WSCG conference * *WSCG 2025 - 33. International Conference on Computer Graphics, Visualization and Computer Vision 2025 (celebrating 50 years of Computer Graphics in Pilsen - the city, where BEER was born)* *www.wscg.cz * OR www.wscg.eu - WEB pages updated to be held in Prague/Pilsen, Czech Republic (as usual for the last 32 years) in *May 26-29, 2025 Co-Chairs *prof. Vaclav Skala, University of West Bohemia, Pilsen, Czech Republic prof. Nadia Magnenat-Thalmann, University of Geneva/MIRALab, Geneva, Switzerland Dr. Hon. Causa, U. of Ottawa, and U. of Hannover *Keynote speakers* Gianmarco Cherchi, University of Cagliari, Cagliari, Italy - Robust Hexahedral Meshing with Grid-based Approaches - Abstract Other agreements pending *Submission dates*: Full/short/poster paper: February 2025 submission open already 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. and with individual DOI for each paper. * *Recent Keynote 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 sent) *Research collaboration proposal is welcome.* Maybe that our recent related research results might be of your interest. Related PDFs of our research results are available at: * http://afrodita.zcu.cz/~skala/publications.htm Feel free to contact me at: * skala(a)kiv.zcu.cz - in research oriented questions * WSCGconf(a)gmail.com - WSCG related questions Yours prof. Vaclav Skala WSCG organizer since 1992 *annually held* in Pilsen, 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

Call for Paper: ICDE25 - PhD Symposium (Deadline: February 8, 2025)
by Raymond Wong 26 Jan '25

26 Jan '25

---------------------------------------------------------------------------- Call For Paper PhD Symposium The 41st IEEE International Conference on Data Engineering (ICDE) Hong Kong SAR, China 19-23 May, 2025 https://ieee-icde.org/2025/call-for-phd-symposium-submissions/ Submission deadline: February 8, 2025 ---------------------------------------------------------------------------- Call for PhD Symposium Submissions ================================== The ICDE 2025 Ph.D. Symposium provides a forum for Ph.D. students to present their research ideas and interact with and receive feedback from senior members of the research community in academia and industry. The focus of the Symposium is to provide mentorship and constructive feedback to the students. The Symposium fosters a collaborative environment, encouraging constructive discussions and sharing of ideas. Submissions are encouraged from students who have not yet received their Ph.D. degrees. Submissions from students in the early stages of their research should provide a clear statement of the problem being addressed and a clear outline of the planned methodology. Submissions from students who are farther into their research should clearly state the contributions made so far and the work lying ahead. Important Dates =============== Submission deadline: February 8, 2025 Notification of acceptance: March 8, 2025 Camera-ready copy due: March 25, 2025 Symposium date: One of days in the conference period (19-23 May, 2025) Submission Guidelines ===================== - Must be single-authored by the student. - Must specify the student’s name as the sole, primary author. - Must provide the expected Ph.D. graduation date, in parenthesis next to the name. - Must specify the name of the supervisor(s), marked as “Supervised by”, under the author’s name. - The manuscripts should contain the statement of the problem being addressed, an outline of the planned methodology, contributions made so far, and the work lying ahead. - Ph.D. Symposium papers must not exceed 5 (five) pages, including the bibliography. The five-page manuscripts must be prepared following the submission guidelines for them to be included in the IEEE proceedings and follow the IEEE format (https://www.ieee.org/conferences_events/conferences/publishing/templates.ht…). - Manuscripts must be submitted to the Ph.D. Symposium Track of the ICDE 2025 submission website (https://cmt3.research.microsoft.com/ICDEPhDSym2025) After Acceptance ================ Accepted papers will be published by IEEE as an ICDE workshop and will be indexed by DBLP and IEEE Xplore. Students with accepted papers will be required to make a brief presentation, as well as prepare and present a poster during the poster presentation event of the main conference. Ph.D. Symposium Chairs ====================== Raymond Wong, The Hong Kong University of Science and Technology, Hong Kong SAR, China Xiao Huang, The Hong Kong Polytechnic University, Hong Kong SAR, China Jiajie Xu, Soochow University, China

1 0

Ada-Europe conference - 7 Feb Journal Track Extended Deadline
by Dirk.Craeynest＠cs.kuleuven.be 12 Jan '25

12 Jan '25

----------------------------------------------------------------------- UPDATED 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 deadline EXTENDED to 7 February 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 aka Ada-Europe 2025) will take place in Paris, France. The conference schedule comprises keynote talks, 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. - Vendor presentations and exhibitions allow for companies to showcase their latest products and services. *** Schedule 7 February 2025: EXTENDED submission deadline for 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). Accordingly, the conference is listed as "Journal Published" in the latest update of the CORE Conference Ranking released in August 2023. Contributions must be submitted by 7 February 2025 (extended). Submissions should be made online at https://www.editorialmanager.com/jsa/, selecting the "VSI:AEiC2025" option as article type of the paper. General information for submitting to the JSA can be found at the Journal of Systems Architecture website. 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. Please note that the Ada-Europe organization will waive the Open Access fees for the first four accepted papers, which do not already enjoy OA from other agreements with the Publisher. 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, via EasyChair at https://easychair.org/conferences/?conf=aeic2025, selecting the "Industrial Track". The format for submission is strictly in PDF, following the Ada User Journal style. Templates are available at http://www.ada-europe.org/auj/guide. 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, via EasyChair at https://easychair.org/conferences/?conf=aeic2025, selecting the "Work-in-progress Track". The format for submission is strictly in PDF, following the Ada User Journal style. Templates are available at http://www.ada-europe.org/auj/guide. 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 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, by email, with subject line: "[AEiC 2025: tutorial proposal]". 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 on the Friday 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, by email, with subject line: "[AEiC 2025: workshop proposal]". Once submitted, each workshop proposal will be evaluated by the conference organizers as soon as possible. *** Academic Listing The Journal of Systems Architecture, publication venue of the journal- track proceedings of the conference, is Q1 ranked, with CiteScore 8.5 and Impact Factor 3.7. The Ada User Journal, venue of all other technical proceedings of the conference, is indexed by Scopus and by EBSCOhost in the Academic Search Ultimate database. *** Call for Exhibitors and Sponsors The conference will include a vendor and technology exhibition, with the option of a 20 minutes presentation as part of the conference program. 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 - Tutorial Chair Robert Cholay, Systerel robert.cholay at systerel.fr - Workshop Chair Anish Bhobe, Telecom Paris anish.bhobe at telecom-paris.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 - Local Chair Pierre Jouvelot, Mines Paris, PSL University pierre.jouvelot at minesparis.psl.eu - Webmaster Hai Nam Tran, University of Brest hai-nam.tran at univ-brest.fr *** Journal Track Committee Alejandro Mosteo, CUD Zaragoza, Spain Andrea Marongiu, University of Modena and Reggio Emilia, Italy Ann Laguna, De La Salle University, USA Angeliki Kritikakou, University of Rennes, France António Casimiro, University of Lisbon, Portugal Bjorn Andersson, SEI, USA C. Michael Holloway, NASA, USA Cristina Seceleanu, Mälardalen University, Sweden Doug Schmidt, Vanderbilt University, USA Frank Singhoff, University of Brest, France George Lima, Universidade Federal da Bahia, Brazil Isaac Amundson, Rockwell Collins, USA Jérôme Hugues, CMU/SEI, USA John B Goodenough, CMU, USA Kerstin Bach, Norwegian University of Science and Technology, Norway Kristoffer Nyborg Gregertsen, SINTEF Digital, Norway Laura Carnevali, University of Florence, Italy Laurent Pautet, Telecom ParisTech, France Leonidas Kosmidis, Barcelona Supercomputing Center, Spain Liliana Cucu-Grosjean, Inria, France Luis Miguel Pinho, ISEP & INESC TEC, Portugal Mario Aldea Rivas, University of Cantabria, Spain Martina Maggio, Saarland University, Germany Matthias Becker, KTH - Royal Institute of Technology, Sweden Patricia López Martínez, University of Cantabria, Spain Risat Pathan, Chalmers University, Sweden Sara Royuela, Barcelona Supercomputing Center, Spain Sergio Sáez, Universitat Politècnica de València, Spain Susanne Graf, University Grenoble Alpes, France Steven Xiaotian Dai, University of York, UK Tucker Taft, AdaCore, USA Tullio Vardanega, University of Padua, Italy Xhevahire Ternava, Telecom Paris, France *** Industrial Track Committee Alexander Viehl, FZI Research Center for Information Technology, Germany Ana Rodríguez, Silver Atena, Spain Claire Dross, AdaCore, France Daniela Cancila, CEA, France Elena Lisova, Volvo CE, Sweden Enricco Mezzetti, Barcelona Supercomputing Center, Spain Federico Aromolo, Scuola Superiore Sant'Anna, Italy Helder Silva, Edisoft, Portugal Hugo Torres Vieira, Evidence Srl, Italy Irune Agirre, Ikerlan, Spain José Ruiz, AdaCore, France Laurent Gouzènes, Pacte Novation, France Marco Panunzio, Thales Alenia Space, France Michael Pressler, Robert Bosch GmbH, Germany Raúl de la Cruz, Collins Aerospace, Ireland Santiago Urueña, GMV, Spain Saqib Hasan, Collins, USA, USA *** Work-in-Progress Track Committee Abderaouf Nassim Amalou, Univeristy of Nantes, LS2N, France Alan Oliveira, University of Lisbon, Portugal Alexandre Honorat, INRIA Grenoble, France Anish Bhobe, Telecom Paris, France Audrey Quedet, Univeristy of Nantes, LS2N, France Hai Nam Tran, University of Brest, Lab-STICC, France J. Javier Gutiérrez, University of Cantabria, Spain Jérémie Guiochet, LAAS-CNRS, France José Cecílio, University of Lisbon, Portugal Kalinka Branco, University of São Paulo, Brazil Leandro Buss Becker, University of Manchester, UK Samuel Tardieu, Telecom Paris, France Sara Abbaspour, Mälardalen University, Sweden Shuo-Han Chen, NYCU, Taiwan Stéphane Rubini, University of Brest, Lab-STICC, France Tiago Carvalho, ISEP, Portugal *** 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 Dirk.Craeynest(a)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

Deadline extended CFP OLA'2025 Optimization & Learning @Dubai
by El-Ghazali Talbi 10 Jan '25

10 Jan '25

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 extension Jan 24, 2025 Notification of acceptance Feb 21, 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

Call for Papers, PDSEC-2025 Workshop, 3rd of June 2025 - Milan, Italy
by Jean-Claude Charr 09 Jan '25

09 Jan '25

**CALL FOR PAPERS** The 26th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing (PDSEC-2025) (http://www.ieee-tcsc.org/2025/pdsec/) will be held on the 3rd of June 2025 in Milan, Italy, in conjunction with IPDPS 2025. Deadline: PDSEC-2025 deadline: 19 Jan 2025 (extension until February 2nd) Scope and Interests: The technological trends in HPC system evolution indicates an increasing burden placed on application developers due to the management of the unprecedented complexity levels of hardware and its associated performance characteristics. Many existing scientific applications codes are unlikely to perform well on future systems without major modifications or even complete rewrites. In the future, it will be necessary to utilize, in concert, many characteristics such as multiple levels of parallelism, many lightweight cores, complex memory hierarchies, novel I/O technology, power capping, system-wide temporal/spatial performance heterogeneity and reliability concerns. The parallel and distributed computing (PDC) community has developed new programming models, algorithms, libraries and tools to meet these challenges in order to accommodate productive code development and effective system use. However, the scientific application community still needs to identify the benefit through practical evaluations. Thus, the focus of this workshop is on methodologies and experiences used in scientific and engineering applications and algorithms to achieve sustainable code development for better productivity, application performance and reliability. In particular, we will focus on the following topics in parallel and distributed scientific and engineering applications, and not limited to: - Big scientific data - Performance modeling and simulation for the execution of scalable scientific applications on new heterogeneous architectures - Graph analytics with their (scientific) applications - Code modernization methodologies and experiences for adapting the changes in future computing systems - Languages for scientific computing on hybrid systems (e.g. Python, MPI+X where X is OpenMP, OpenCL, CUDA etc.) - Tools and techniques for improving the performance, reliability and resilience of scientific applications - Use cases of enterprise distributed computing technology (such as MapReduce, Data Analytics and Machine-learning tools) in scientific and engineering applications - Scalable parallel and distributed algorithms supporting science and engineering applications - Performance portability across heterogeneous architecture Important Dates: Paper submission due . . . . . . . . . . . . . .January 19, 2025 (extension until February 2nd) Notification of Acceptance . . . . . . . . . . . February 26, 2025 Final camera-ready paper . . . . . . . . . . . March 6, 2025 Workshop . . . . . . . . . . . . . . . . . . . . . . . .June 3, 2025 General Chairs Sabine Roller, German Aerospace Center (DLR), Germany Kevin Huck, University of Oregon, USA Program Chairs Raphael Couturier, University of Franche-Comte, France Neda Ebrahimi Pour, German Aerospace Center (DLR), Germany Publicity Chair Jean-Claude Charr, University of Franche-Comte, France Steering Committee Laurence T. Yang (Chair), St. Francis Xavier University, Canada Thomas Rauber, University of Bayreuth, Germany Gudula Runger, Chemnitz University of Technology, Germany Web Chair Jiawei Wang, St. Francis Xavier University, Canada Sincerely, Jean-Claude Charr Associate professor at IUT NFC University of Franche-Comte, France

1 0

Ada-Europe Conference - 2nd Call for Contributions - AEiC 2025
by Dirk.Craeynest＠cs.kuleuven.be 24 Dec '24

24 Dec '24

----------------------------------------------------------------------- UPDATED 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 aka Ada-Europe 2025) will take place in Paris, France. The conference schedule comprises keynote talks, 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. - Vendor presentations and exhibitions allow for companies to showcase their latest products and services. *** 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. For details see conference web site. 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. Please note that the Ada-Europe organization will waive the Open Access fees for the first four accepted papers, which do not already enjoy OA from other agreements with the Publisher. 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 1-to-2 pages abstract, by 24 February 2025, via EasyChair at https://easychair.org/conferences/?conf=aeic2025, selecting the "Industrial track". The format for submission is strictly in PDF, following the Ada User Journal style; templates are available at http://www.ada-europe.org/auj/guide. 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, via EasyChair at https://easychair.org/my/conference?conf=aeic2025, selecting the "Work-in-progress track". The format for submission is strictly in PDF, following the Ada User Journal style; templates are available at http://www.ada-europe.org/auj/guide. 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 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, by e-mail to the respective chair, Robert Cholay, with subject line: "[AEiC 2025: tutorial proposal]". 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 on the Friday 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, by e-mail to the respective chair, Anish Bhobe, with subject line: "[AEiC 2025: workshop proposal]". Once submitted, each workshop proposal will be evaluated by the conference organizers as soon as possible. *** Academic Listing The Journal of Systems Architecture, publication venue of the journal- track proceedings of the conference, is Q1 ranked, with CiteScore 8.5 and Impact Factor 3.7. The Ada User Journal, venue of all other technical proceedings of the conference, is indexed by Scopus and by EBSCOhost in the Academic Search Ultimate database. *** Call for Exhibitors and Sponsors The conference will include a vendor and technology exhibition, with the option of a 20 minutes presentation as part of the conference program. 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 - Tutorial Chair Robert Cholay, Systerel robert.cholay at systerel.fr - Workshop Chair Anish Bhobe, Telecom Paris anish.bhobe at telecom-paris.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 - Local Chair Pierre Jouvelot, Mines Paris, PSL University pierre.jouvelot at minesparis.psl.eu - Webmaster Hai Nam Tran, University of Brest hai-nam.tran at univ-brest.fr *** Journal Track Committee Alejandro Mosteo, CUD Zaragoza, Spain Andrea Marongiu, University of Modena and Reggio Emilia, Italy Ann Laguna, De La Salle University, USA Angeliki Kritikakou, University of Rennes, France António Casimiro, University of Lisbon, Portugal Bjorn Andersson, SEI, USA C. Michael Holloway, NASA, USA Cristina Seceleanu, Mälardalen University, Sweden Doug Schmidt, Vanderbilt University, USA Frank Singhoff, University of Brest, France George Lima, Universidade Federal da Bahia, Brazil Isaac Amundson, Rockwell Collins, USA Jérôme Hugues, CMU/SEI, USA John B Goodenough, CMU, USA Kerstin Bach, Norwegian University of Science and Technology, Norway Kristoffer Nyborg Gregertsen, SINTEF Digital, Norway Laura Carnevali, University of Florence, Italy Laurent Pautet, Telecom ParisTech, France Leonidas Kosmidis, Barcelona Supercomputing Center, Spain Liliana Cucu-Grosjean, Inria, France Luis Miguel Pinho, ISEP & INESC TEC, Portugal Mario Aldea Rivas, University of Cantabria, Spain Martina Maggio, Saarland University, Germany Matthias Becker, KTH - Royal Institute of Technology, Sweden Patricia López Martínez, University of Cantabria, Spain Risat Pathan, Chalmers University, Sweden Sara Royuela, Barcelona Supercomputing Center, Spain Sergio Sáez, Universitat Politècnica de València, Spain Susanne Graf, University Grenoble Alpes, France Steven Xiaotian Dai, University of York, UK Tucker Taft, AdaCore, USA Tullio Vardanega, University of Padua, Italy Xhevahire Ternava, Telecom Paris, France *** Industrial Track Committee Alexander Viehl, FZI Research Center for Information Technology, Germany Ana Rodríguez, Silver Atena, Spain Claire Dross, AdaCore, France Daniela Cancila, CEA, France Elena Lisova, Volvo CE, Sweden Enricco Mezzetti, Barcelona Supercomputing Center, Spain Federico Aromolo, Scuola Superiore Sant'Anna, Italy Helder Silva, Edisoft, Portugal Hugo Torres Vieira, Evidence Srl, Italy Irune Agirre, Ikerlan, Spain José Ruiz, AdaCore, France Laurent Gouzènes, Pacte Novation, France Marco Panunzio, Thales Alenia Space, France Michael Pressler, Robert Bosch GmbH, Germany Raúl de la Cruz, Collins Aerospace, Ireland Santiago Urueña, GMV, Spain Saqib Hasan, Collins, USA, USA *** Work-in-Progress Track Committee Abderaouf Nassim Amalou, Univeristy of Nantes, LS2N, France Alan Oliveira, University of Lisbon, Portugal Alexandre Honorat, INRIA Grenoble, France Anish Bhobe, Telecom Paris, France Audrey Quedet, Univeristy of Nantes, LS2N, France Hai Nam Tran, University of Brest, Lab-STICC, France J. Javier Gutiérrez, University of Cantabria, Spain Jérémie Guiochet, LAAS-CNRS, France José Cecílio, University of Lisbon, Portugal Kalinka Branco, University of São Paulo, Brazil Leandro Buss Becker, University of Manchester, UK Samuel Tardieu, Telecom Paris, France Sara Abbaspour, Mälardalen University, Sweden Shuo-Han Chen, NYCU, Taiwan Stéphane Rubini, University of Brest, Lab-STICC, France Tiago Carvalho, ISEP, Portugal *** 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 Dirk.Craeynest(a)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

12th Ada Developer Room at FOSDEM 2025 - Sun 2 Feb - Brussels
by Dirk.Craeynest＠cs.kuleuven.be 19 Dec '24

19 Dec '24

----------------------------------------------------------------------- Call for Participation 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 fosdem.org/2025/schedule/track/ada/ Organized in cooperation with Ada-Belgium [1] and Ada-Europe [2] #AdaFOSDEM #AdaDevRoom #AdaProgramming #AdaBelgium #AdaEurope #FOSDEM2025 ----------------------------------------------------------------------- FOSDEM [3], the Free and Open source Software Developers' European Meeting, is a 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. The 2025 edition takes place on Saturday 1 and Sunday 2 February. It is free to attend and no registration is necessary. In this edition, the Ada FOSDEM community organizes once more a set of presentations related to Ada and Free or Open Software in a s.c. Developer Room. The "Ada DevRoom" at FOSDEM 2025 is held on the morning of the 2nd day, and offers a variety of presentations on the Ada programming language, tools and projects: a total of 11 Ada-related presentations by 11 authors from 7 countries! Program overview: - Welcome to the Ada DevRoom, by Fernando Oleo Blanco, Spain, and Dirk Craeynest, Belgium - Updates on the Ada Ecosystem, by Fernando Oleo Blanco, Spain - Get started with Ada in 2 minutes or less!, by A.J., USA - Advent of Compression: writing a working BZip2 encoder in Ada from scratch in a few days, by Gautier de Montmollin, Switzerland - Ada and Mini-Ada: a solution to the two-language problem, by Gautier de Montmollin, Switzerland - Understanding liquid types, contracts and formal verification with Ada/SPARK, by Fernando Oleo Blanco, Spain - The state of Rust trying to catch up with Ada, by Oli Scherer, Germany - Cryptography in SPARK: building the foundation with constant-time bigints, by César Sagaert and Fabien Chouteau, France - Multiword Arithmetic and Parallel Computing, by Jan Verschelde, USA - Developing device drivers for Ironclad using Ada, by streaksu - AdaBots - programmable minetest bots, by Tama McGlinn and Rudolf Batke, the Netherlands The Ada at FOSDEM 2025 web-page has all details, such as the full schedule, abstracts of presentations, biographies of speakers, and pointers to more info, including live video streaming and recordings afterwards. For the latest information at any time, contact Fernando Oleo Blanco <irvise(a)irvise.xyz> or see: [1] http://www.cs.kuleuven.be/~dirk/ada-belgium/ [2] http://www.ada-europe.org/ [3] https://fosdem.org/2025/ ----------------------------------------------------------------------- Dirk Craeynest, FOSDEM Ada DevRoom team Dirk.Craeynest(a)cs.kuleuven.be Dirk.Craeynest(a)kuleuven.be

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science