search

tomcrick / FMFun2019

Paper for the 1st International Workshop on "Formal Methods -- Fun for Everybody"
https://fmfun.github.io/
Other
1 stars 0 forks source link

Check all citations #7

Open tomcrick opened 4 years ago

tomcrick commented 4 years ago

Do we need all of them? Do we cite enough of our recent work e.g. IoC, cyber, CS ed reform, etc.

JamesHDavenport commented 4 years ago

Since many of the techie ones are mine, I can look at these. About recent work, I thought we had, but you may know of more.

JamesHDavenport commented 4 years ago

Removed the old [2] (BBC on Marriott)

From: Tom Crick notifications@github.com Sent: 17 November 2019 13:20 To: tomcrick/FMFun2019 FMFun2019@noreply.github.com Cc: Subscribed subscribed@noreply.github.com Subject: [tomcrick/FMFun2019] Check all citations (#7)

Do we need all of them? Do we cite enough of our recent work e.g. IoC, cyber, CS ed reform, etc.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHubhttps://github.com/tomcrick/FMFun2019/issues/7?email_source=notifications&email_token=ABV5VGNTI26PRBPSBUSONQLQUFAJDA5CNFSM4JOJ2FGKYY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4HZ3MBTA, or unsubscribehttps://github.com/notifications/unsubscribe-auth/ABV5VGJUQBHLHCTE5S4MFVDQUFAJDANCNFSM4JOJ2FGA.

JamesHDavenport commented 4 years ago

Another one (RFC 4108) removed.

From: Tom Crick notifications@github.com Sent: 17 November 2019 13:20 To: tomcrick/FMFun2019 FMFun2019@noreply.github.com Cc: Subscribed subscribed@noreply.github.com Subject: [tomcrick/FMFun2019] Check all citations (#7)

Do we need all of them? Do we cite enough of our recent work e.g. IoC, cyber, CS ed reform, etc.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHubhttps://github.com/tomcrick/FMFun2019/issues/7?email_source=notifications&email_token=ABV5VGNTI26PRBPSBUSONQLQUFAJDA5CNFSM4JOJ2FGKYY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4HZ3MBTA, or unsubscribehttps://github.com/notifications/unsubscribe-auth/ABV5VGJUQBHLHCTE5S4MFVDQUFAJDANCNFSM4JOJ2FGA.

JamesHDavenport commented 4 years ago

No changes this morning. I resurface about 21:00 today, though will be checking e-mail.

From: Tom Crick notifications@github.com Sent: 17 November 2019 13:20 To: tomcrick/FMFun2019 FMFun2019@noreply.github.com Cc: Subscribed subscribed@noreply.github.com Subject: [tomcrick/FMFun2019] Check all citations (#7)

Do we need all of them? Do we cite enough of our recent work e.g. IoC, cyber, CS ed reform, etc.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHubhttps://github.com/tomcrick/FMFun2019/issues/7?email_source=notifications&email_token=ABV5VGNTI26PRBPSBUSONQLQUFAJDA5CNFSM4JOJ2FGKYY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4HZ3MBTA, or unsubscribehttps://github.com/notifications/unsubscribe-auth/ABV5VGJUQBHLHCTE5S4MFVDQUFAJDANCNFSM4JOJ2FGA.