BEGIN:VCALENDAR
METHOD:REQUEST
PRODID:Microsoft Exchange Server 2010
VERSION:2.0
BEGIN:VTIMEZONE
TZID:Eastern Standard Time
BEGIN:STANDARD
DTSTART:16010101T020000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
RRULE:FREQ=YEARLY;INTERVAL=1;BYDAY=1SU;BYMONTH=11
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:16010101T020000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
RRULE:FREQ=YEARLY;INTERVAL=1;BYDAY=2SU;BYMONTH=3
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
ORGANIZER;CN="Hunter, Tiffany":mailto:huntert1@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN=K Subraman
i:mailto:K.Subramani@mail.wvu.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN='eecs_bscs
@listserv.ohio.edu':mailto:eecs_bscs@listserv.ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN='eecs_bsee
@listserv.ohio.edu':mailto:eecs_bsee@listserv.ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN='eecs_mscs
@listserv.ohio.edu':mailto:eecs_mscs@listserv.ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN='eecs_phd@
listserv.ohio.edu':mailto:eecs_phd@listserv.ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN='eecs_msee
@listserv.ohio.edu':mailto:eecs_msee@listserv.ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Abukamail,
Nasseef":mailto:abukamai@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Allwine, D
aniel":mailto:allwined@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Bartone, C
hris":mailto:bartone@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Chenji, Ha
rsha":mailto:chenji@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Goble, Jam
es":mailto:goble@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Irwin, Den
nis":mailto:irwind@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Jadwisienc
zak, Wojciech":mailto:jadwisie@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Karanth, A
vinash":mailto:karanth@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Kaya, Sava
s":mailto:kaya@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Kelsey, Ra
lph":mailto:kelsey@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Liu, Chang"
:mailto:liuc@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Liu, Jundo
ng":mailto:liuj1@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Mourning,
Chad":mailto:mourning@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Ostermann,
Shawn":mailto:osterman@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Rahman, Fa
iz":mailto:rahmanf@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Schlicher,
Jared":mailto:schliche@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Ugazio, Sa
brina":mailto:ugazio@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Vasiliadis
, Konstantinos":mailto:vassilia@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Welch, Lon
nie":mailto:welch@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Zhu, Jim":m
ailto:zhuj@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Wang, Zhew
ei":mailto:wangz1@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Lindner, P
atricia":mailto:lindnerp@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Ardrey, Gr
egory":mailto:gardrey@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Yadav, Ani
mesh":mailto:yadava@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Plis, Kevi
n":mailto:plis@ohio.edu
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN="Juedes, Da
vid":mailto:juedes@ohio.edu
DESCRIPTION;LANGUAGE=en-US:https://community.wvu.edu/~krsubramani/\n\nTitle
: Selected Refutations in Clausal and Polyhedral systems\n\nAbstract: This
talk is concerned with providing certificates for\nconstraint satisfactio
n problems. Certification enhances trust in\nthe answers returned by an im
plementation. Of late\, certification\nhas become an integral part of Expl
ainable AI. We will discuss the\nexistence of certificates in both polyhed
ral and clausal systems. A\n secondary aspect of our research concerns fin
ding certificates of\noptimal length. We will present research results in
this domain\,\nobtained over the last two decades.\n\n____________________
____________________________________________________________\nMicrosoft Te
ams meeting\nJoin on your computer\, mobile app or room device\nClick here
to join the meeting