Invited talk: Program Verification for Data Structures, Higher-Order Functions and Beyond Speaker: Wei-Ngan Chin, National University of Singapore Ph.D. (Computing, Imperial College of Science, Technology and Medicine) M.Sc. (Computer Science, University of Manchester) B.Sc. (Computer Science, Honours I, University of Manchester) RESEARCH INTERESTS Advanced Type Systems Program Analysis and Optimization Dependable Software Verification https://www.comp.nus.edu.sg/cs/people/chinwn/ At
A 12-a Conferință Internațională privind Analiza Stochastică și Aplicațiile sale (ICSAA) face parte dintr-o serie bianuală de întâlniri care este găzduită in acest an de POLITEHNICA București. Prima ediție a avut loc la Washington în 2006, iar cea mai recentă la Edinburgh în 2023. Evenimentul se va desfășura in perioada – 8-12 septembrie 2025, Clădirea
România a strălucit la Campionatele Europene Universitare, organizate sub egida Asociației Europene a Sportului Universitar (EUSA). Competiția a reunit cele mai bune universități din întreaga Europă, iar performanțele studenților noștri reprezintă o confirmare a valorii și consistenței școlii sportive românești la nivel internațional. Universitatea Națională de Știință și Tehnologie POLITEHNICA București – Centrul Universitar
După douăsprezece zile intense pline de sport, cultură și schimburi internaționale, Jocurile Mondiale Universitare Rin-Ruhr 2025 s-au încheiat cu succes. În perioada 16 – 27 iulie 2025, sportul universitar și-a dat întâlnire în centrul Europei! Germania a găzduit cea dea XXXII a ediție Jocurilor Mondiale Universitare de Vară sub egida Federației Internaționale a Sportului Universitar
Sesiunea de Comunicări Științifice Studențești (SCSS 2025) este evenimentul anual dedicat studenților Universității Naționale de Știință și Tehnologie POLITEHNICA București. Prin intermediul său, aceștia au ocazia de a-și prezenta cele mai remarcabile realizări obținute în activitatea de cercetare științifică desfășurată în cadrul studiilor universitare de licență și de masterat. Premiul de Impact este o distincție
Perioada 20 iunie – 1 iulie marchează săptămâna tematică dedicată sănătății și bunăstării (Health and Well-being Week) în cadrul EXPO2025 Osaka – expoziția mondială care își propune să exploreze modul în care tehnologiile emergente și ideile noi pot contribui la îmbunătățirea vieții oamenilor. Proiectul NerveRepack – HORIZON EUROPE KDT 101112347 își propune să realizeze un
Dezbatere și consultare publică modificare Carta universitară În conformitate cu prevederile art. 21 alin. (1) din Legea nr. 199/2023 a Învățământului Superior și în spiritul transparenței decizionale și al asumării responsabilității publice, Universitatea Națională de Știință și Tehnologie POLITEHNICA București lansează, spre consultare și dezbatere publică, propunerea de modificare a Cartei Universității prin completarea acesteia
În perioada 30 mai – 1 iunie 2025, în cadrul Programului Porți Deschise la Palatul Cotroceni, publicul este invitat la un eveniment auto de excepție: Cotroceni Legendary Wheels Weekend– o expoziție care aduce în prim-plan automobile care au traversat deceniile, păstrându-și farmecul, eleganța și ingineria. Evenimentul este organizat de Universitatea Națională de Știință și Tehnologie
Acest website foloseste cookie-uri proprii si de la terti pentru a furniza vizitatorilor o experienta mult mai buna de navigare si servicii adaptate nevoilor si interesului fiecaruia.
