Time Topic



Download 110.49 Kb.
Date03.02.2017
Size110.49 Kb.


c:\users\stewarta\desktop\system & software program review - bonneau - nov. 27-30\graphics\bonneau for alea 2.jpg
Agenda Day 1 - Tuesday, November 27, 2012

Time

Topic

Speaker

8:00-8:45

Registration

8:45-9:00

Welcome Remarks and Speaker Introduction

9:00-9:30

Parallelizing Data-Centric Programs

Johannes Gehrke,

Cornell University



9:30-10:00

Survivable Software and Software for Real-World Systems

Scott Smolka,

Stony Brook University



10:00-10:30

Collaborative Proposal: Scalable And Accurate SMT-Based Model Checking of Data and Collaborative Proposal: Scalable and Accurate SMT-Based Model Checking of Data

Clark Barrett,

New York University



Cesare Tinelli,

Iowa University



10:30-11:00

Formal Synthesis of Software-Based Control Protocols for Fractionated Composable Autonomous Systems

Ufuk Topcu,

University of Pennsylvania



11:00-12:45

REGISTRATION / DISCUSSION/ LUNCH

12:45-1:00

Additional Remarks and Speaker Introduction

Robert Bonneau,

Air Force Office of Scientific Research



1:00-1:30

Automated Program Revision for Embedded Systems

Sandeep Kulkarni,

Michigan State University



1:30-2:00

Reliable Coordination in Unreliable Mobile Ad Hoc Networks

Nancy Lynch,

MIT


2:00-2:30

Modeling of Embedded Human Systems

Jonathan Sprinkle,

Arizona University



2:30

ADJOURN FOR THE DAY

*- Speakers part of Complex Networks program




c:\users\stewarta\desktop\system & software program review - bonneau - nov. 27-30\graphics\bonneau for alea 2.jpg
Agenda Day 2 - Wednesday, November 28, 2012

Time

Topic

Speaker

8:00-8:45

Registration

8:45-9:00

Welcome Remarks and Speaker Introduction




9:00-9:30

Enhancing the Dependability of Complex Missions through Automated Analysis

Sebastian Elbaum,

University of Nebraska - Lincoln



9:30-10:00

Supporting the Human Modelers in Large Scale Cognitive Modeling

Margaret Burnett,

Oregon State University



10:00-10:30

Design Analysis and Optimization of Multi-Core Software

William Mckeever,

AFRL/RITA



10:30-11:00

Safeguarding End-User Military Software

Myra Cohen, Matt Dwyer and

Gregg Rothermel,

University of Nebraska



11:00-12:45

REGISTRATION / DISCUSSION/ LUNCH

12:45-1:00

Additional Remarks and Speaker Introduction

Robert Bonneau,

Air Force Office of Scientific Research



1:00-1:30

Surface Reconstruction with Uncertainty for Sparse and Incomplete Data

Lee Seversky,

AFRL/RI


1:30-2:00

Cognitive Domain Ontologies Increase the Automony of Cognitive Models and Agent

Scott Douglass,

AFRL


2:00-2:30

Quality-Driven Resource Allocation in Visual Sensor Networks*

Elizabeth Bentley,

AFRL


2:30-3:00

Network Resilience in the Presence of False Information*

Lauren Huie,

AFRL Information Directorate



3:00

ADJOURN FOR THE DAY

*- Speakers part of Complex Networks program





c:\users\stewarta\desktop\system & software program review - bonneau - nov. 27-30\graphics\bonneau for alea 2.jpg
Agenda Day 3 - Thursday, November 29, 2012

Time

Topic

Speaker

8:00-8:45

Registration

8:45-9:00

Welcome Remarks and Speaker Introduction

9:00-9:30

Supporting Complex Real-Time Workloads on Multicore Platforms

James Anderson,

University of North Carolina at Chapel Hill



9:30-10:00

Theory and Applications of Nonconvex Compressive Sensing*

H.T. Kung,

Harvard University



10:00-10:30

Cyber-Battle Management System (CBMS)

Salim Hariri,

Avirtek


10:30-11:00

Multi-Scale Multi-Resolution Network Information Flow Monitoring

Yalin Sagduyu,

Intelligent Automation, Inc.



11:00-12:45

REGISTRATION / DISCUSSION/ LUNCH

12:45-1:15

Using Modeling to Assess Co2 Sequestration, Engineering, Environ

Catherine Hanks,

University of Alaska - Fairbanks



1:15-1:45

A Unified Algaebraic and Logic-Based Framework*

Boon Loo,

University of Pennsylvania



1:45-2:15

Analysis, Design and Enhancement of Strongly Attack-Tolerant Clusters

Eduardo Pasiliao,

AFRL


2:15-2:30

BREAK

2:30-2:45

Clouds, Mission, Machine Learning and Reliability *

Roy Campbell,

University of Illinois



2:45-3:15

Assuredness in New Cloud Programming Paradigms*

Indranil Gupta,

University of Illinois at Urbana Champaign



3:15

ADJOURN FOR THE DAY

*- Speakers part of Complex Networks program





c:\users\stewarta\desktop\system & software program review - bonneau - nov. 27-30\graphics\bonneau for alea 2.jpg
Agenda Day 4 - Friday, November 30, 2012

Time

Topic

Speaker

8:00-8:45

Registration

8:45-9:00

Welcome Remarks and Speaker Introduction

9:00-9:30

MURI Overview

Katia Sycara,

Carnegie Mellon University



9:30-10:00

Network Effects in Cognitive Models

Christian Lebiere

Carnegie Mellon University



10:00-10:30

Scalable Human-Machine Interaction

Michael Lewis

University of Pittsburgh



10:30-11:00

Robust Decentralized Planning for Large-Scale Heterogeneous Human-Robot Teams

Jon How

MIT


11:00-12:45

REGISTRATION / DISCUSSION/ LUNCH

12:45-1:00

Additional Remarks and Speaker Introduction

Robert Bonneau,

Air Force Office of Scientific Research



1:00-1:30

Scaling the Performance of Humans and Automation in Mixed Systems

Katia Sycara

Carnegie Mellon University



1:30-2:00

Adaptive Automation for Human Performance in Large-Scale Networked Systems

Raja Parasuraman

GMU


2:00-2:30

Probabilistic Models in Large-Scale Human-Machine Networked Systems

Mark Campbell

Cornell University



2:30

ADJOURN FOR THE DAY

*- Speakers part of Complex Networks program







Share with your friends:


The database is protected by copyright ©dentisty.org 2019
send message

    Main page