Virtual

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

“A Journey into Neuromorphic Computing: Models, Algorithms, and Implementations” by Dr. Qinru Qiu

I will introduce several typical computing models of neuron and synapses that can be utilized to build spiking neural networks (SNNs). Additionally, selected inference and learning algorithms for SNNs will be discussed, followed by a brief overview of existing hardware and software solutions for implementing neuromorphic computing. I will further present our Error-Modulated Spike-Timing-Dependent ...

Learn More

“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