purplecat | Entries tagged with theorem proving:theory slicing

You're viewing

purplecat's journal
Create a Dreamwidth Account Learn More

Reload page in style: light

Achieved:

Volunteered to give a Dream Talk on Friday

Printed out and read my papers on Program Slicing which I said I'd talk about in the Dream Talk

Long talk with LD about proof specification languages and control rules. Sent him draft paper on control rules by myself MJa and MP.

To Do:

Write an abstract to go with the title for my Dream Talk, decide what I'm going to say and prepare a handout.

Try and find the beginnings of a Note JG and I started writing on proof specification languages and recall what we were thinking and how it relates to LD's work.

Talk to LD about Induction Challenge Problems - in particular their specification in TPTP Typed Higher-Order Form.

Implement at least one proof critic for program correctness in IsaPlanner.

Talk to DA about implementing program slicing in ProofGeneral.

Plan for Tomorrow:

AM: Work with MJo on writing proof critics in IsaPlanner.

PM: Prepare Dream Talk

Evening: Write more gibberish in my blog

Profile

purplecat

February 2019

S	M	T	W	T	F	S
					1	2
3	4	5	6	7	8	9
10	11	12	13	14	15	16
17	18	19	20	21	22	23
24	25	26	27	28

Syndicate

Tags

100 papers [9]
academia [77]
- ai [4]
  - ethics [3]
- dead scientists [2]
- edinburgh informatics [3]
- grants [1]
- groups
  - dream [2]
- impact [1]
- public understanding [27]
  - lego rover [20]
- publications [33]
- scientists
  - aaron sloman [1]
  - alan bundy [4]
  - douglas hofstadter [1]
  - john mccarthy [2]
- talks [23]
- teaching [1]
academic
- public understanding
  - lego rover [1]
administrivia [1]
agents of shield [1]
ai [20]
- agents [22]
  - ail [9]
  - bdi [10]
    - goals [1]
  - groups [3]
  - languages
    - agentspeak [2]
      - jason [1]
    - oopl [1]
  - organisations [3]
- automated reasoning [7]
  - rippling [1]
  - sat [1]
  - smt [1]
- hybrid systems [1]
- knowledge representation [1]
- planning [1]
- robotics [1]
aisb [10]
amazon [1]
anecdote [1]
arthuriana [6]
bernice summerfield [7]
- review [6]
birthday [11]
books [57]
- author
  - andrew cartmel [3]
  - ben aaronovitch [4]
  - c s lewis [2]
  - charlotte bronte [2]
  - craig hinton [2]
  - david mcintee [1]
  - dorothy l sayers [2]
  - iain m banks [3]
  - iain rankin [1]
  - ian rankin [2]
  - j r r tolkien [2]
  - jacqueline rayner [2]
  - jane austen [2]
  - jeff vandermeer [2]
  - jim mortimore [1]
  - jonathan blum [2]
  - justin richards [3]
  - kate orman [2]
  - kelly hale [1]
  - lance parkin [3]
  - lawrence miles [6]
  - mags halliday [6]
  - malcolm hulke [2]
  - marc platt [2]
  - mark michalowski [4]
  - mary stewart [2]
  - megan whalen turner [3]
  - michael moorcock [2]
  - neal stephenson [4]
  - paul cornell [4]
  - paul dale smith [5]
  - paul magrs [12]
  - philip purser-hallard [10]
  - phyllis ann karr [2]
  - rob shearman [1]
  - rosemary sutcliff [3]
  - sara paretskey [2]
  - shakespeare [1]
  - simon guerrier [2]
  - terrance dicks [3]
  - terry pratchett [2]
  - tolkien [3]
- review [25]
castle [1]
christmas [1]
class [7]
- review [7]
computer science [15]
- complexity theory [4]
- game theory [5]
  - economics [1]
- np problems [1]
- verification [3]
  - induction [1]
conferences [3]
- aamas [1]
- arw [1]
- clima [1]
- picspam [1]
conventions [6]
- eastercon [10]
  - 2010 [2]
  - 2011 [4]
  - 2012 [1]
  - 2015 [1]
- lass o gowrie [1]
crochet [33]
- amigurumi [10]
- garment [4]
- moogly cal [3]
- non-euclidean [10]
current affairs [18]
current events [9]
diary [7]
doctor who [487]
- author
  - andrew cartmel [3]
  - ben aaronovitch [2]
  - craig hinton [2]
  - david mcintee [1]
  - david whittaker [1]
  - jim mortimore [1]
  - jonathan blum [1]
  - justin richards [3]
  - kate orman [2]
  - kelly hale [1]
  - lance parkin [3]
  - lawrence miles [5]
  - mags halliday [6]
  - malcolm hulke [2]
  - marc platt [2]
  - mark michalowski [4]
  - paul cornell [3]
  - paul dale smith [3]
  - paul magrs [8]
  - philip purser-hallard [8]
  - rob shearman [3]
  - terrance dicks [3]
- books [35]
  - annual [6]
  - cover [26]
    - benny adventure [1]
    - eda [3]
    - misc [5]
    - missing adventure [1]
    - new adventure [5]
    - pda [3]
    - target [9]
  - edas [2]
  - nas [4]
  - new series [11]
  - non-fiction [2]
  - pdas [1]
  - review [28]
  - short trips [3]
  - time and relative disse [5]
- comic [5]
  - first doctor [2]
  - second doctor [1]
  - sixth doctor [1]
  - third doctor [1]
- dwm [3]
  - cover [1]
- factsheet [1]
- fandom [3]
- fanzine [8]
  - channel d [1]
  - dwb [2]
  - skaro [1]
  - tides of time [1]
  - web planet [3]
- icons [1]
  - dalek [1]
- new series [7]
- nuwho rewatch [72]
- paper dolls [17]
- picture [43]
  - amy [1]
  - behind the scenes [2]
  - bill [1]
  - cast [1]
  - clara [1]
  - comic [1]
  - convention [1]
  - daphne ashbrook [1]
  - donna [1]
  - dvd cover [1]
  - dwm [1]
  - eleventh doctor [1]
  - fanart [4]
  - fifth doctor episode [1]
  - first doctor [1]
  - first doctor episode [1]
  - fourth doctor episode [2]
  - frazer hines [2]
  - india fisher [1]
  - jamie [1]
  - jo [2]
  - joanna lumley [1]
  - martha [1]
  - missy [1]
  - monster [5]
  - nicholas courtney [1]
  - ninth doctor episode [1]
  - paul mcgann [1]
  - river song [1]
  - romana 2 [1]
  - rose [1]
  - sarah [1]
  - second doctor episode [1]
  - seventh doctor episod [1]
  - sylvester mccoy [2]
  - tardis [1]
  - tenth doctor [1]
  - tenth doctor episode [1]
  - third doctor [1]
  - third doctor episode [1]
  - thirteenth doctor [1]
  - victoria [1]
  - william hartnell [1]
  - yaz [1]
- rec [1]
- review [377]
  - book [34]
    - non-fiction [4]
  - film [1]
  - tv [351]
    - classic [129]
    - new series [220]
- russell davies [3]
- steven moffat [2]
- the randomizer [133]
- verity podcast [1]
dolls [19]
- lego [3]
  - nasa [3]
- paper dolls [17]
dreamwidth [3]
edinburgh [7]
- festival [1]
exercise [18]
- running [33]
  - london marathon [19]
facebook [5]
faction paradox [3]
- review [3]
family [9]
- b [22]
  - animals [1]
  - dinosaurs [15]
  - fossils [2]
  - media stardom [18]
- cousins [1]
- g [4]
  - school [1]
fandom [2]
fandom friday [2]
fandom stocking [1]
fanfiction [3]
feminism [5]
films [8]
- review [4]
follow friday [6]
food [13]
- heston blumenthal [1]
- recipe [3]
fools and heroes [11]
fossil friday [4]
friends [2]
genealogy [14]
history [4]
holidays [2]
- hadrian's wall [13]
- ridgeway [3]
house [16]
i have no tag for this [23]
i saw this last week [40]
icons [4]
iris wildthyme [6]
- review [5]
jobs [3]
kin-strife [10]
linkspam [21]
livejournal [13]
lizzie bennet diaries [1]
mathematics [21]
- formal proof [1]
- logic [1]
- non-euclidean [10]
- philosophy [6]
  - proof [2]
- quote [1]
- verification [1]
mcu [1]
media stardom [5]
meme [33]
meta [1]
model checking [4]
- systems
  - java pathfinder [3]
oxford [1]
performing [1]
- music [1]
philosophy [8]
- ai [2]
- ethics [1]
- mathematics [3]
picspam [46]
- house [2]
- prehistoric monument [18]
- travel [29]
  - holidays [8]
  - work related [16]
primeval [51]
- review [44]
programming [13]
- ail [1]
- languages
  - agentspeak [2]
    - jason [1]
  - java [5]
  - maude [2]
  - prolog [2]
projects
- eass [13]
  - publications [7]
- mcapl [13]
  - publications [5]
- platform grant [1]
- rais [2]
  - publications [2]
- verifiable autonomy [1]
  - publication [1]
- vps [2]
  - publications [2]
publications [8]
random doctor who picture [90]
random poetry [1]
rant [6]
reading listening watching [40]
rec [1]
- humour [1]
resolutions [14]
revew [3]
review [559]
- book [138]
  - bernice summerfield [5]
  - doctor who [37]
    - non-fiction [5]
  - non-fiction [39]
    - history [25]
      - science [9]
- comic [2]
- doctor who [357]
  - book [22]
  - film [1]
  - tv [341]
- film [10]
- tv [402]
  - class [7]
  - doctor who [326]
  - internet [1]
  - merlin [2]
  - primeval [45]
  - sarah jane adventures [5]
  - survivors [4]
  - torchwood [13]
roleplaying [23]
ros [1]
science [1]
science fiction [2]
science
- astronomy [1]
  - apod [1]
share
- twitter [2]
social networking [3]
- google+ [2]
- tumblr [1]
star wars [1]
the expanse [1]
theorem proving [6]
- middle-out reasoning [3]
- proof planning [5]
  - critics [2]
  - rippling [3]
- proof specification lang [2]
- systems
  - isabelle [2]
  - isaplanner [4]
  - maude [1]
  - proof general [3]
- theory slicing [1]
- tptp thf [3]
throwback thursday [29]
- an oxford childhood [10]
- ancestors [2]
- arthurians [6]
- conventions [1]
- dad [1]
- docsoc [1]
- family [1]
- larp [3]
- oules [1]
- running [1]
- wheatley [3]
tolkienery [4]
travel [36]
- commuting [2]
- holidays [7]
- work related [28]
traveller [6]
tv [24]
- blakes seven [1]
- class [1]
  - review [1]
- firefly [2]
- sapphire and steel [1]
- special unit 2 [1]
- supernatural [1]
- torchwood [5]
urban dead [5]
web stuff [2]
who
- picture
  - shalka doctor [1]
wierd spam [2]
writing [2]

Page Summary

Edinburgh Day One

Active Entries

Style Credit

Base style: Transmogrified by Yvonne
Theme: Sleeping Warrior by dancing_serpent

Expand Cut Tags

No cut tags