The talks at NFM 2013 will be webcast live starting May 14th, 8:00 AM Pacific
Standard Time. All the NFM 2013 talks can be viewed at
http://www.ustream.tv/channel/nasa-arc
The program for NFM 2013 is available at
http://ti.arc.nasa.gov/events/nfm-2013/program/
Neha
---
To opt-out from this
*WoLLIC 2013*
*Call for Participation*
*WoLLIC* http://wollic.org/* *is an annual international forum on
inter-disciplinary research involving formal logic, computing and
programming theory, and natural language and reasoning. Each meeting
includes invited talks and tutorials as well as