Event Type

Discover live virtual and in-person events offered by IEEE groups around the world.

Event Type

  1. Events
  2. Event Type

Events Search and Views Navigation

Event Views Navigation

Today

“Polynomial Formal Verification: Ensuring Correctness under Resource Constraints” by Rolf Drechsler

We review recent developments in formal verification techniques and give a comprehensive overview of Polynomial Formal Verification (PFV). In PFV, polynomial upper bounds for the run-time and memory needed during the entire verification task hold. Thus, correctness under resource constraints can be ensured. We discuss the importance and advantages of PFV in the design flow. Formal methods on the ...

Learn More

Talk on the Future of STEM Education

Join us for an enlightening session exploring "The Future of STEM Education," where we delve into the evolving landscape of Science, Technology, Engineering, and Mathematics (STEM) learning. This session will feature insightful discussions on emerging trends, innovative teaching methodologies, and the integration of cutting-edge technologies in education...

Learn More

Matabì – Giochiamo con gli angoli

Un workshop per famigliarizzare con il concetto di Angolo giocando con i mattoncini LEGO DUPLO, dedicato a classi III e IV di scuola primaria. Insieme sperimentiamo le diverse tipologie di angoli e alleniamo il concetto attraverso divertenti giochi. Con Matabì giochiamo con le abilità visuospaziali per rendere la matematica più accessibile e avvincente, migliorare gli apprendimenti e ridurre i ...

Learn More

Costruzioni, tra abilità e pensiero

Un workshop per esplorare il meraviglioso mondo delle costruzioni attraverso un'inedita prospettiva: il potenziamento delle abilità cognitive e il pensiero critico. Con i mattoncini LEGO DUPLO, famiglie e bambini in fascia 3-5 anni avranno l'opportunità di immergersi in attività divertenti e stimolanti, per favorire lo sviluppo del pensiero computazionale e delle abilità spaziali. Partendo ...

Learn More

IEEE MAS SIGHT Summit

Join us as IEEE Madras SIGHT AG organizes and celebrates the IEEE MAS SIGHT Summit, a special Celebration on IEEE SIGHT & Education Week🥳 Are you passionate about sustainability and social impact? Here's your chance to immerse yourself in real-world applications of technology for social good. From idea presentations to workshops, sessions on humanitarian technologies, climate change ...

Learn More

Working in Academia as an International Woman

Working in Academia as an International Woman

Examining the landscape of academia through a gendered lens, highlighting statistical trends, disparities in representation, and the impact of cultural diversity on women’s academic journeys; emphasizing the unique strengths and perspectives that international women bring to academia...

Learn More

Debunking Myths About Women’s Workplace Experiences and Career Advancement Based on the Latest McKinsey Reports

During this session, we will discuss the major myths about women’s workplace experiences and career advancement. A few of these myths cover old ground, but given the notable lack of progress, they warrant repeating. These include women’s career ambitions, the greatest barrier to their ascent to senior leadership, the effect and extent of microaggressions in the workplace, and women’s ...

Learn More

3rd International Summit on Civil, Structural and Environmental Engineering

Spectrum Conferences cordially invites you to its 3rd International Summit on Civil, Structural and Environmental Engineering (ISCSEE2025), a premier event focusing on the latest developments in the field of Engineering which is going to be held in Frankfurt, Germany during July 21-23, 2025. The ISCSEE2023 conference enjoyed a triumphant run in Rome, Italy on March 2023, featuring a stellar lineup...

Learn More

Mangaba Project – IEEE Irmão

The project consisted of four modules interconnected companies that applied principles of mathematics, programming and electricity for first-year students year of high school at CODAP-UFS. Practical classes and activities such as workshops and challenges for awaken interest in the areas of electrical and electronic engineering, providing students with insight comprehensive coverage of these ...

Learn More

IEEE Rising Stars Conference

The IEEE Rising Stars Conference is designed to inform, excite, enthuse, and bring together the top engineering Young Professionals and Students around the world to network and be inspired by each other. The program includes Technical Innovation Talks, Professional Development, Workshops & Competitions, and Networking Opportunities with industry and peers...

Learn More

Enter your
text here