BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Penn Engineering Events - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://seasevents.nmsdev7.com
X-WR-CALDESC:Events for Penn Engineering Events
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20180311T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20181104T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20190310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20191103T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20200308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20201101T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20190129T104500
DTEND;TZID=America/New_York:20190129T114500
DTSTAMP:20260409T023712
CREATED:20190108T213705Z
LAST-MODIFIED:20190108T213705Z
UID:10006118-1548758700-1548762300@seasevents.nmsdev7.com
SUMMARY:MEAM Seminar: "Elastomeric Materials for Autonomic Force Transmission\, Optoelectric Sensing\, and 3D Printing Soft Robots"
DESCRIPTION:This talk will present multidisciplinary work from material composites and robotics. We have created new types of actuators\, sensors\, displays\, and additive manufacturing techniques for soft robots and haptic interfaces. For example\, we now use stretchable optical waveguides as sensors for high accuracy\, repeatability\, and material compatibility with soft actuators. For displaying information\, we have created stretchable\, elastomeric light emitting displays as well as texture morphing skins for soft robots. We have created a new type of soft actuator based on molding of foams\, and stereolithography printing of elastomer based soft robots\, and implemented deep learning in stretchable membranes for interpreting touch. All of these technologies depend on the iterative and complex feedback between material and mechanical design. I will describe this process\, what is the present state of the art\, and future opportunities for science in the space of additive manufacturing of elastomeric robots.
URL:https://seasevents.nmsdev7.com/event/meam-seminar-elastomeric-materials-for-autonomic-force-transmission-optoelectric-sensing-and-3d-printing-soft-robots/
LOCATION:Wu and Chen Auditorium (Room 101)\, Levine Hall\, 3330 Walnut Street\, Philadelphia\, PA\, 19104\, United States
CATEGORIES:Seminar
ORGANIZER;CN="Mechanical Engineering and Applied Mechanics":MAILTO:meam@seas.upenn.edu
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20190129T150000
DTEND;TZID=America/New_York:20190129T160000
DTSTAMP:20260409T023712
CREATED:20190110T181740Z
LAST-MODIFIED:20190110T181740Z
UID:10006120-1548774000-1548777600@seasevents.nmsdev7.com
SUMMARY:CIS Seminar: "Made to Order: Verifying Correctness and Security of Hardware through Event Orderings"
DESCRIPTION:Correctness and security problems in modern computer systems can result from problematic hardware event orderings and interleavings during an application’s execution. Since hardware designs are complex and since a single user-facing instruction can exhibit a variety of different hardware execution sequences\, analyzing and verifying systems for correct event orderings is challenging. My work addresses these challenges by combining hardware architecture and systems approaches with formal methods to support the specification\, analysis\, and verification of implementation-aware event ordering scenarios\, with the specific goal of automatically synthesizing implementation-aware programs capable of violating correctness or security guarantees. In this talk\, I will present two formal\, early-stage verification tools and techniques rooted in this approach. TriCheck conducts axiomatic full-stack memory consistency model (MCM) verification (from high-level programming languages down through hardware implementations). Using rigorous and efficient formal approaches\, TriCheck identified flaws in RISC-V’s draft MCM specification and two counterexamples to a previously proven-correct compiler mapping scheme from C11 to IBM Power and ARMv7. Noting that MCM and security analysis are amenable to similar approaches\, CheckMate uses related axiomatic techniques to evaluate susceptibility of a hardware design and its related system support to formally-specified classes of security exploits; in response\, it synthesizes proof-of-concept exploit code when a design is susceptible. CheckMate automatically synthesized programs representative of Meltdown and Spectre attacks as well as new exploits\, MeltdownPrime and SpectrePrime\, that I have demonstrated on Intel hardware.
URL:https://seasevents.nmsdev7.com/event/cis-seminar-made-to-order-verifying-correctness-and-security-of-hardware-through-event-orderings/
LOCATION:Wu and Chen Auditorium (Room 101)\, Levine Hall\, 3330 Walnut Street\, Philadelphia\, PA\, 19104\, United States
CATEGORIES:Seminar
ORGANIZER;CN="Computer and Information Science":MAILTO:cherylh@cis.upenn.edu
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20190131T150000
DTEND;TZID=America/New_York:20190131T160000
DTSTAMP:20260409T023712
CREATED:20190115T155641Z
LAST-MODIFIED:20190115T155641Z
UID:10006138-1548946800-1548950400@seasevents.nmsdev7.com
SUMMARY:SEAS Lecturers' Seminar on Teaching and Learning:  "The Process of Becoming:  Identity in Engineering Education"
DESCRIPTION:Identity is an enduring and continuous sense of who one is and is often thought of as the answer to the questions\, “Who am I\, Who can I be\, and Where do I belong?” Research shows that developing a robust engineering identity is important for academic and personal development\, integration into engineering\, and retention within engineering programs. Identity plays animportant role in the ways students see themselves and are recognized or positioned by others as the kind of people who can or cannot become an engineer. This positioning can exclude women\, minorities\, and first-generation college students who may have more difficulty adopting engineering identities in a culture that often does not position them as engineers. This talk will explore the current research on engineering identity and provide actionable ways for faculty to support students’ processes of becoming engineers.
URL:https://seasevents.nmsdev7.com/event/seas-lecturers-seminar-on-teaching-and-learning-the-process-of-becoming-identity-in-engineering-education/
LOCATION:Wu and Chen Auditorium (Room 101)\, Levine Hall\, 3330 Walnut Street\, Philadelphia\, PA\, 19104\, United States
END:VEVENT
END:VCALENDAR