Skip to main content

Department Events

The Department runs a variety of seminars, workshops and colloquia, here are some of the ones that may be of interest to visitors and guests.

For more information about Departmental Seminars, please contact the current organizer, Sara Kalvala.

For directions to the Department, please see the map of campus and directions.


Help using calendars
Tue, May 22, '18
14:00 - 15:00
Dimap Seminar: Janka Chlebikova

Approximation hardness of (Graphic) Travelling Salesman Problem

14:00 - 15:00
Jack Stankovic: Research Challenges and Solutions for IOT/CPS

Abstract: As the Internet of Things (IoT) matures and supports increasingly sophisticated applications, the research needs for IoT also expand considerably. This talk
discusses several major research challenges for the future IoT where billions or even trillions of devices are connected to the Internet. A brief discussion on the relationship of IoT, to Cyber Physical Systems (CPS), and Wireless Sensor Networks (WSN) is presented. Research topics covered include systems of systems, massive scaling, and IoT for healthcare. Smart cities are used to present examples of new system of system research issues and their solutions. Scaling and long time maintenance problems give rise to the need for runtime validation. How to accomplish this is presented. We use the Internet of Healthcare Things to identify the realisms that must be addressed in real home deployments. We also discuss the problems and solutions for using speech as a major sensing modality for smart healthcare. The list of topics is not meant to be comprehensive, but does address some of the main research issues in IoT/CPS.

Brief Bio: Professor John A. Stankovic is the BP America Professor in the Computer Science Department at the University of Virginia. He served as Chair of the department for 8 years. He is a Fellow of both the IEEE and the ACM. He has been awarded an Honorary Doctorate from the University of York for his work on real-time systems. He won the IEEE Real-Time Systems Technical Committee's Award for Outstanding Technical Contributions and Leadership. He also won the IEEE Technical Committee on Distributed Processing's Distinguished Achievement Award (inaugural winner). He has seven Best Paper awards, including one for ACM SenSys 2006. He also has four Best Paper Runner Up Awards, including one for IPSN 2013. Stankovic has an h-index of 115 and over 52,000 citations. In 2015 he was awarded the Univ. of Virginia Distinguished Scientist Award, and in 2010 the School of Engineering’s Distinguished Faculty Award. He also received a Distinguished Faculty Award from the University of Massachusetts. He has given more than 40 Keynote talks at conferences and many Distinguished Lectures at major Universities. He also served on the National Academy’s Computer Science Telecommunications Board. He was the Editor-in- Chief for the IEEE Transactions on Distributed and Parallel Systems and was founder and co-editor- in-chief for the Real-Time Systems Journal. His research interests are in real-time systems, wireless sensor networks, smart and connected health, cyber physical systems, and the Internet of Things. Prof. Stankovic received his PhD from Brown University.

Thu, May 24, '18
16:00 - 17:30
Ian Parberry, The Unexpected Beauty of Modular Bivariate Quadratic Functions
IMC 02

Modular bivariate quadratic functions (quadratic functions of two variables over the integers modulo q) can be used to procedurally generate gray-scale and color textures that resemble ornamentation, skin, scales, feathers, textiles, and optical illusions. The latter appear to include distorted perspective, false 3D, and Fechner colors, the combination of which is disturbing to some viewers. This technique is particularly suited to parallel execution using a pixel shader since each pixel is computed independently by performing a small number of arithmetic operations on the pixel coordinates. A prototype browser-based procedural texture generator with an interface suitable for use by non-mathematicians such as designers and artists is described.

Brief Bio:

Ian Parberry is a pioneer of academic game development education and
research who has been teaching game programming to undergraduates
since 1993, when he established the Laboratory for Recreational
Computing (LARC). LARC alumni have credits on at least 66 commercial
video games that have sold a total of over 180 million copies,
estimated to be worth more than \$9 billion in revenue. The most famous
of these alumni is Jason West, co-founder of the Call of Duty
franchise. Ian was named an ACM Distinguished Scientist in 2015.

Tue, May 29, '18
14:00 - 15:00
Dimap Seminar: Miguel Romero Orth

The complexity of general-valued CSPs seen from the other side

Tue, Jun 12, '18
14:00 - 15:00
Dimap Seminar: Pascale Gourdeau

Bisimulation Metrics for Weighted Automata