[PRL] Visit

[Matthias Felleisen]

Hi Charles, what a shame! I will be out of town that weekend, returning between 3 and 4 (I think) on Monday. I'll come to the office then but I am certainly going to miss your talk. Perhaps we can grab dinner before you fly out. See you then -- Matthias

p.s. I have CCed the lab to announce your visit and put it on people's radar screen. And yes, I did enjoy reading about your sophisticated uses of macros in Racket though I dont quite see the connection to the abstract below :-) 



On Oct 2, 2014, at 6:28 AM, Charles Consel wrote:

> Dear all,
> 
> I just wanted to let you know that I’ll be visiting your University, Monday, Oct 27th. Interestingly, I’ve been invited by two of your colleagues that recently arrived at Northeastern: Holly Jimison and Misha Pavel. In fact, Misha was my colleague when I was at OGI (many years ago!).  Now that part of my research is devoted to assisted living (platform, applications, etc.), this visit is an opportunity for me to interact with researchers in this area. Still, as Matthias knows, I still work on PL-related things :-)
> 
> Anyways, if I’d be happy to see you during my visit; just to say hello, if you don’t have much time. I don’t know what is the schedule of my visit but I’m sure I’ll have some time to see you. I’ll be coming at your dept in the morning (I’ll be staying at Misha and Holly’s when I arrive on Sunday) and I’ll fly back France on Monday evening (7:30pm).
> 
> FYI I included information about the talk I’ll be giving during my visit (this is one of the papers we’re presenting at ACM ASSETS’14 in Rochester.
> 
> Cheers!
> 
> Charles
> ------------------------------------------------------------------------------------------------
>   Charles Consel		               |               Charles.Consel at inria.fr
>   Inria / University of Bordeaux       |  http://phoenix.inria.fr/charles-consel
>   200, avenue de la Vieille Tour      |                        Room: 322   
>   33405 Talence, FRANCE             |                   +33 5 24 57 40 35
> ------------------------------------------------------------------------------------------------
> 
> 
> Title:
> Verification of Daily Activities of Elders: 
> A Simple, Non-Intrusive, Low-Cost Approach
> 
> Abstract:
>   This talk presents an approach to verifying the activities of daily
>   living of elders at their home. We verify activities, instead of
>   inferring them, because our monitoring approach is driven by
>   routines, initially sketched by users in their environment.
>   Monitoring is supported by a lightweight sensor infrastructure,
>   comprising non-intrusive, low-cost, wireless devices. Verification
>   is performed by applying a simple formulae to sensor log data, for
>   each activity of interest. The result value determines whether an
>   activity has been performed.
> 
>   We have conducted an experimental study to validate our approach. To
>   do so, four participants have been monitored during five days at
>   their home, equipped with sensors. When applied to the log data, our
>   formulas were able to automatically verify that a list of activities
>   were performed. They produced the same interpretations, using Signal
>   Detection Theory, as a third party, manually analyzing the log data.
> 
> Bio:
> Charles Consel is a professor of Computer Science at University of
> Bordeaux. He served on the faculty of Yale University, Oregon Graduate
> Institute and the University of Rennes. His research contributions cover 
> programming languages, software engineering, operating systems, 
> pervasive computing, and assisted living.
> 
> He leads the Phoenix group at Inria that conducts multi-disciplinary
> research to design, develop, deploy and assess assistive computing
> supports. This research combines (1) Cognitive Science to study user
> needs and make a rigorous assessment of assistive services; (2)
> Sensing and actuating expertise to support the user based on accurate
> and rich interactions with the environment; (3) Computer Science to
> support and guide all the development process of the assistive
> services.
> 
> 
> 
> 

-------------- next part --------------
HTML attachment scrubbed and removed