Paul Carpenter

[Lean @leanprover]

Big congrats to 14-y.o. Daniel whose #Exporecerca project using #LeanLang to formalize Math Olympiad problems netted him an award from the Royal Society for Sciences and Arts in Barcelona! #LeanProver engineer Anne Baanen had a great chat with him about his award-winning project!

[DARE @dare_euproject]

🚀 DARE SGA1 has launched! 🚀
A €240M and 38 partners initiative, to build #Europe’s first fully European #HPC & #AI stack—from #RISCV #processors to an optimized #software ecosystem.

🔗 https://t.co/eOOltE8e0k

@risc_v @EuroHPC_JU @BSC_CNS

[AntonioGuiraoPiñera @Ant_Guirao]

Preparando a los equipos españoles de las Olimpiadas Internacional e Iberoamericana de Física @RSEF_ESP @educaciongob

[ACFAEC @acfaec_cat]

El 7 de mayo se realizó la final del concurso matemático Femmates, la enhorabuena a todos los clasificados. Seguimos sumando medallas. Daniel Carpenter (familia ACFAEC) Yile Liu, Vera Morancho y Bruna Sabaté, de la 19a promoción de Estalmat. @estalmat_cat @FME_UPC

[ACFAEC @acfaec_cat]

Los ganadores de la final de la Olimpiada Catalana de Informática 2022 @oicatalana rectificamos los chicos con mención de la familia Estalmat-ACFAEC. El próximo año vamos por más. La enhorabuena a todos @estalmat_cat En el medallero tenemos 1🥇 1 🥈 3 🥉 y 4 menciones @FME_UPC

[ACFAEC @acfaec_cat]

Finalizada @oicatalana damos la enhorabuena a todos los participantes, Felicitación especial a los medallistas. Orgullosos que desde Estalmat-ACFAEC se genere cantera. De 63 participantes en la semifinal, 25 ha sido Estalmat-Acfaec clasificándose para la final 20 chicos. Hilo..

[AULA Escola Europea @aula_ee]

Dos alumnes d'Aula entre els guanyadors de l'Olimpiada Matemática Española. Enhorabona a Ruben Carpenter per ser el guanyador absolut del certamen i moltes felicitats també a Jordi Ferré per la medalla d'or.

[APaMMS @APaMMs]

Montserrat acull els joves estudiants amb millors habilitats matemàtiques de Catalunya https://t.co/XggbAA9vSP via @diariRegio7

[IE Costa i Llobera @costaillobera]

Felicitem al Daniel Carpenter i la seva família per aquest reconeixement, i a l’Antònia Maria Maura, tutora i docent de Matemàtiques, pel seu acompanyament i iniciativa. https://t.co/uL6dqoF3a2

[Olimpiada Matemática Española @OMErsme]

Rubén Carpenter ha sido premiado como ganador absoluto de la Olimpiada Matemática Española #OME2022 @OMErsme @RealSocMatEsp en la @UNIAuniversidad .

[ACFAEC @acfaec_cat]

Traemos a Ruben Carpenter estudiante de secundaria, que figura en la lista de Olímpicos matemáticos de Cataluña. Seleccionado para participar este año en la fase Nacional. Nos explica como vive está experiencia
https://t.co/jjV9JQBQvd #Estalmat
@paulmcarpenter @srdelafu @SiCaPu

[Paul Carpenter @paulmcarpenter]

My group @BSC_CNS is looking for a talented research engineer to work on multi-node task offloading at the forefront of programming model research https://t.co/tn1rHdJ8YN

[HPCS 2021 @HPCS_Conference]

Thank you to our #HPCS2019 Thursday Keynote Paul M Carpenter and the session chair Peter Kogge for an interesting session!

[Exanode @ExanodeProject]

Today, in a sunny Heraklion, we held the final review. Congratulation to the whole ExaNoDe team for this successful meeting!

[Exanode @ExanodeProject]

Talk "Task-based parallelism for efficient cluster programming" given by @paulmcarpenter of @BSC_CNS during during the joint #Exascale workshop https://t.co/gzQqmuiBuV … with @ExaNeSt_H2020 @ECOSCALE @euroexa @EU_H2020 #EPHCSW

[EXDCI @exdci_eu]

Thanks to all #EHPCSW #PRACEdays18 attendees for coming this week to Ljubljana. It has been a good week full of interesting technical #hpc exchanges and networking. #HPCmatters Looking forward to see you in Poland next year!

[Molly McKew @MollyMcKew]

I'm not really sure why we have so many Russians writing about US politics & telling us with authority that we should see ourselves as the Kremlin sees us rather than believe the assessments of US+allied intelligence agencies. But that's what Putin wants. https://t.co/o56bhvyh4q

[EU EuroEXA Project @euroexa]

60 of the EU's best and brightest in #HPC meeting at the EuroEXA Project meeting in Manchester, planning to enable the delivery of #exascale!

[Paul Carpenter @paulmcarpenter]

You're next challenge? We're hiring a PhD student in OmpSs cluster:
abstractions for run-time management of meshes and graphs across distributed
memories. https://t.co/U85lHvbu1M #Jobs

[Paul Carpenter @paulmcarpenter]

Renan Fischer e Silva's paper on energy-efficient Ethernet and packet coalescing in IEEE/ACM Trans. Networking https://t.co/8MOgOUiq7T