corpus.blog
41554 blogs · [ { "id": "01a0bb60-9fcd-70a1-8968-d856ab4eeef9", "title": "Natural Language and Computer Science (NLCS): what's that?", "url": "http://logic-forall.blogspot.com/2022/04/natural-language-and-computer-science.html", "published_at": "2022-04-23T22:18:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-573167b06192", "title": "Natural Language and Computer Science (NLCS): what's that?", "url": "https://logic-forall.blogspot.com/2022/04/natural-language-and-computer-science.html", "published_at": "2022-04-23T22:18:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856ac168943", "title": "Kolmogorov the Genius", "url": "http://logic-forall.blogspot.com/2022/04/kolmogorov-genius.html", "published_at": "2022-04-01T15:58:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-5731686ced9f", "title": "Kolmogorov the Genius", "url": "https://logic-forall.blogspot.com/2022/04/kolmogorov-genius.html", "published_at": "2022-04-01T15:58:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856ac99bc61", "title": "Down Memory Lane: Computer Lab, Cambridge", "url": "http://logic-forall.blogspot.com/2022/03/down-memory-lane.html", "published_at": "2022-03-03T13:21:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-57316902cf95", "title": "Down Memory Lane: Computer Lab, Cambridge", "url": "https://logic-forall.blogspot.com/2022/03/down-memory-lane.html", "published_at": "2022-03-03T13:21:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856acc032f5", "title": "Research Clusters", "url": "http://logic-forall.blogspot.com/2022/02/researcher-clusters.html", "published_at": "2022-02-20T02:39:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-573169e3ef20", "title": "Research Clusters", "url": "https://logic-forall.blogspot.com/2022/02/researcher-clusters.html", "published_at": "2022-02-20T02:39:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856ace18a30", "title": "Friends and Women Celebrations", "url": "http://logic-forall.blogspot.com/2022/02/friends-and-women-celebrations.html", "published_at": "2022-02-17T01:25:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-57316a92fde5", "title": "Friends and Women Celebrations", "url": "https://logic-forall.blogspot.com/2022/02/friends-and-women-celebrations.html", "published_at": "2022-02-17T01:25:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856ada42513", "title": "Talking the Talk", "url": "http://logic-forall.blogspot.com/2022/01/talking-talk.html", "published_at": "2022-01-26T08:45:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-57316b1806b2", "title": "Talking the Talk", "url": "https://logic-forall.blogspot.com/2022/01/talking-talk.html", "published_at": "2022-01-26T08:45:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856ae9c7588", "title": "4th International Congress, Bucharest 1971", "url": "http://logic-forall.blogspot.com/2022/01/4th-international-congress-bucharest.html", "published_at": "2022-01-09T20:04:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-57316b7d8a73", "title": "4th International Congress, Bucharest 1971", "url": "https://logic-forall.blogspot.com/2022/01/4th-international-congress-bucharest.html", "published_at": "2022-01-09T20:04:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856af8f1c1a", "title": "9th International Congress, Uppsala 1991", "url": "http://logic-forall.blogspot.com/2022/01/9th-international-congress-uppsala-1991.html", "published_at": "2022-01-06T16:20:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-57316c1f501e", "title": "9th International Congress, Uppsala 1991", "url": "https://logic-forall.blogspot.com/2022/01/9th-international-congress-uppsala-1991.html", "published_at": "2022-01-06T16:20:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856afe27d66", "title": "Twelve Days of Christmas?", "url": "http://logic-forall.blogspot.com/2022/01/twelve-days-of-christmas.html", "published_at": "2022-01-05T19:19:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-57316d1aea71", "title": "Twelve Days of Christmas?", "url": "https://logic-forall.blogspot.com/2022/01/twelve-days-of-christmas.html", "published_at": "2022-01-05T19:19:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856b0831c5a", "title": "1st International Congress, Stanford 1960", "url": "http://logic-forall.blogspot.com/2022/01/1st-international-congress-stanford-1960.html", "published_at": "2022-01-02T02:21:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-57316d9ba42d", "title": "1st International Congress, Stanford 1960", "url": "https://logic-forall.blogspot.com/2022/01/1st-international-congress-stanford-1960.html", "published_at": "2022-01-02T02:21:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856b1328e5d", "title": "Happy New Year! 2022 is here!", "url": "http://logic-forall.blogspot.com/2022/01/happy-new-year-2022-is-here.html", "published_at": "2022-01-01T17:04:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-57316db9752c", "title": "Happy New Year! 2022 is here!", "url": "https://logic-forall.blogspot.com/2022/01/happy-new-year-2022-is-here.html", "published_at": "2022-01-01T17:04:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856b187998f", "title": "White Christmas", "url": "http://logic-forall.blogspot.com/2021/12/white-christmas.html", "published_at": "2021-12-24T17:49:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-57316ea1e1aa", "title": "White Christmas", "url": "https://logic-forall.blogspot.com/2021/12/white-christmas.html", "published_at": "2021-12-24T17:49:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856b22fa072", "title": "Retrospective of 2021?", "url": "http://logic-forall.blogspot.com/2021/12/retrospective-of-2021.html", "published_at": "2021-12-13T06:08:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-57316ea4e0ba", "title": "Retrospective of 2021?", "url": "https://logic-forall.blogspot.com/2021/12/retrospective-of-2021.html", "published_at": "2021-12-13T06:08:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856b2d256e2", "title": "Dagstuhl 2021? I wish", "url": "http://logic-forall.blogspot.com/2021/11/dagstuhl-2021-i-wish.html", "published_at": "2021-11-10T21:59:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-57316ecbc3d7", "title": "Dagstuhl 2021? I wish", "url": "https://logic-forall.blogspot.com/2021/11/dagstuhl-2021-i-wish.html", "published_at": "2021-11-10T21:59:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856b325a7b4", "title": "History of Ideas?", "url": "http://logic-forall.blogspot.com/2021/11/history-of-ideas.html", "published_at": "2021-11-02T22:24:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-57316ed70143", "title": "History of Ideas?", "url": "https://logic-forall.blogspot.com/2021/11/history-of-ideas.html", "published_at": "2021-11-02T22:24:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856b42515d9", "title": "Dialectica Logical Principles", "url": "http://logic-forall.blogspot.com/2021/10/dialectica-logical-principles.html", "published_at": "2021-10-31T18:15:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-57316f250e9d", "title": "Dialectica Logical Principles", "url": "https://logic-forall.blogspot.com/2021/10/dialectica-logical-principles.html", "published_at": "2021-10-31T18:15:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856b45ef98f", "title": "Conversations with Sophie", "url": "http://logic-forall.blogspot.com/2021/10/sophies-conversations.html", "published_at": "2021-10-19T21:16:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-57316fce2b2e", "title": "Conversations with Sophie", "url": "https://logic-forall.blogspot.com/2021/10/sophies-conversations.html", "published_at": "2021-10-19T21:16:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856b533b09e", "title": "Ada Lovelace Day 2021", "url": "http://logic-forall.blogspot.com/2021/10/ada-lovelace-day-2021.html", "published_at": "2021-10-13T22:15:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-5731707efa65", "title": "Ada Lovelace Day 2021", "url": "https://logic-forall.blogspot.com/2021/10/ada-lovelace-day-2021.html", "published_at": "2021-10-13T22:15:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856b53cbfd9", "title": "Pots and Pans? Dishes and bowls? NLI!", "url": "http://logic-forall.blogspot.com/2021/09/pots-and-pans-dishes-and-bowls-nli.html", "published_at": "2021-09-23T14:37:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-573170cd7579", "title": "Pots and Pans? Dishes and bowls? NLI!", "url": "https://logic-forall.blogspot.com/2021/09/pots-and-pans-dishes-and-bowls-nli.html", "published_at": "2021-09-23T14:37:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856b5c47158", "title": "TL;DR our work 2021", "url": "http://logic-forall.blogspot.com/2021/09/tldr-our-work-2021.html", "published_at": "2021-09-07T17:12:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-573171bc1aed", "title": "TL;DR our work 2021", "url": "https://logic-forall.blogspot.com/2021/09/tldr-our-work-2021.html", "published_at": "2021-09-07T17:12:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856b634ec3e", "title": "Our work?", "url": "http://logic-forall.blogspot.com/2021/09/our-work.html", "published_at": "2021-09-05T04:08:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-573172477731", "title": "Our work?", "url": "https://logic-forall.blogspot.com/2021/09/our-work.html", "published_at": "2021-09-05T04:08:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856b67962ff", "title": "Ecumenical Negation at LC2021", "url": "http://logic-forall.blogspot.com/2021/08/ecumenical-logic-at-lc2021.html", "published_at": "2021-08-26T15:04:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-5731728a43aa", "title": "Ecumenical Negation at LC2021", "url": "https://logic-forall.blogspot.com/2021/08/ecumenical-logic-at-lc2021.html", "published_at": "2021-08-26T15:04:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856b6d25054", "title": "AplicAi! Matching students and researchers", "url": "http://logic-forall.blogspot.com/2021/08/aplicai-matching-students-and.html", "published_at": "2021-08-13T08:08:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-573172907127", "title": "AplicAi! Matching students and researchers", "url": "https://logic-forall.blogspot.com/2021/08/aplicai-matching-students-and.html", "published_at": "2021-08-13T08:08:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856b6dbb5d8", "title": "Hypatia", "url": "http://logic-forall.blogspot.com/2014/12/in-1996-edmund-robinson-wrote-to-types.html", "published_at": "2021-08-12T04:38:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-573172d18a8f", "title": "Hypatia", "url": "https://logic-forall.blogspot.com/2014/12/in-1996-edmund-robinson-wrote-to-types.html", "published_at": "2021-08-12T04:38:00+00:00" }, { "id": "01a0bb60-9fcd-70a1-8968-d856b75dd925", "title": "Kolmogorov-Veloso Problems", "url": "http://logic-forall.blogspot.com/2021/08/kolmogorov-veloso-problems.html", "published_at": "2021-08-09T13:28:00+00:00" }, { "id": "01a0bb60-a452-714b-8577-57317356ebc4", "title": "Kolmogorov-Veloso Problems", "url": "https://logic-forall.blogspot.com/2021/08/kolmogorov-veloso-problems.html", "published_at": "2021-08-09T13:28:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af162a528f09", "title": "Dialectica Petri Nets", "url": "http://logic-forall.blogspot.com/2021/08/dialectica-petri-nets.html", "published_at": "2021-08-05T15:42:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f454bacc2a", "title": "Dialectica Petri Nets", "url": "https://logic-forall.blogspot.com/2021/08/dialectica-petri-nets.html", "published_at": "2021-08-05T15:42:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af162b0bff4b", "title": "Gödel Fibration?", "url": "http://logic-forall.blogspot.com/2021/07/godel-fibration-and-other-work.html", "published_at": "2021-08-01T03:17:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f454ea59c8", "title": "Gödel Fibration?", "url": "https://logic-forall.blogspot.com/2021/07/godel-fibration-and-other-work.html", "published_at": "2021-08-01T03:17:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af162bde8949", "title": "Lazy Days of Summer? Bah, humbug!", "url": "http://logic-forall.blogspot.com/2021/07/lazy-days-of-summer-bah-humbug.html", "published_at": "2021-07-26T13:34:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f454f406df", "title": "Lazy Days of Summer? Bah, humbug!", "url": "https://logic-forall.blogspot.com/2021/07/lazy-days-of-summer-bah-humbug.html", "published_at": "2021-07-26T13:34:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af162cd27c00", "title": "Organizing work", "url": "http://logic-forall.blogspot.com/2021/07/organizing-work.html", "published_at": "2021-07-22T02:44:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f4558b0409", "title": "Organizing work", "url": "https://logic-forall.blogspot.com/2021/07/organizing-work.html", "published_at": "2021-07-22T02:44:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af162d198ac2", "title": "Cousins: twice removed?", "url": "http://logic-forall.blogspot.com/2021/07/cousins-twice-removed.html", "published_at": "2021-07-08T04:12:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f455e1f1c3", "title": "Cousins: twice removed?", "url": "https://logic-forall.blogspot.com/2021/07/cousins-twice-removed.html", "published_at": "2021-07-08T04:12:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af162d54b9ea", "title": "Women in Logic 2021, yay!!", "url": "http://logic-forall.blogspot.com/2021/06/women-in-logic-2021-yay.html", "published_at": "2021-06-29T22:56:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f45651136e", "title": "Women in Logic 2021, yay!!", "url": "https://logic-forall.blogspot.com/2021/06/women-in-logic-2021-yay.html", "published_at": "2021-06-29T22:56:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af162e260436", "title": "Why are videos so difficult to find and keep?", "url": "http://logic-forall.blogspot.com/2021/05/why-are-videos-so-difficult-to-find-and.html", "published_at": "2021-05-31T05:19:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f456d49e77", "title": "Why are videos so difficult to find and keep?", "url": "https://logic-forall.blogspot.com/2021/05/why-are-videos-so-difficult-to-find-and.html", "published_at": "2021-05-31T05:19:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af162f10a135", "title": "Spring has sprung", "url": "http://logic-forall.blogspot.com/2021/04/spring-has-sprung.html", "published_at": "2021-04-03T05:22:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f45724589c", "title": "Spring has sprung", "url": "https://logic-forall.blogspot.com/2021/04/spring-has-sprung.html", "published_at": "2021-04-03T05:22:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af162fcb0cdd", "title": "Dialectica Categories as Matrices", "url": "http://logic-forall.blogspot.com/2021/02/dialectica-categories-as-matrices.html", "published_at": "2021-02-22T04:27:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f4573b0f53", "title": "Dialectica Categories as Matrices", "url": "https://logic-forall.blogspot.com/2021/02/dialectica-categories-as-matrices.html", "published_at": "2021-02-22T04:27:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af16300e1402", "title": "Better reporting in 2021", "url": "http://logic-forall.blogspot.com/2021/01/better-reporting-in-2021.html", "published_at": "2021-01-30T21:32:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f457c6ed3c", "title": "Better reporting in 2021", "url": "https://logic-forall.blogspot.com/2021/01/better-reporting-in-2021.html", "published_at": "2021-01-30T21:32:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af1630bef3ab", "title": "Too many ideas, too little time", "url": "http://logic-forall.blogspot.com/2021/01/too-many-ideas-too-little-time.html", "published_at": "2021-01-21T14:57:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f458b4628c", "title": "Too many ideas, too little time", "url": "https://logic-forall.blogspot.com/2021/01/too-many-ideas-too-little-time.html", "published_at": "2021-01-21T14:57:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af1630f0b15c", "title": "A quote for World Logic Day", "url": "http://logic-forall.blogspot.com/2021/01/a-quote-for-world-logic-day.html", "published_at": "2021-01-12T01:16:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f458d77928", "title": "A quote for World Logic Day", "url": "https://logic-forall.blogspot.com/2021/01/a-quote-for-world-logic-day.html", "published_at": "2021-01-12T01:16:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af16311f5cae", "title": "Just so that I remember", "url": "http://logic-forall.blogspot.com/2021/01/just-so-that-i-remember.html", "published_at": "2021-01-11T00:54:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f45979831b", "title": "Just so that I remember", "url": "https://logic-forall.blogspot.com/2021/01/just-so-that-i-remember.html", "published_at": "2021-01-11T00:54:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af1631ed1deb", "title": "Frege and his little monsters", "url": "http://logic-forall.blogspot.com/2021/01/frege-and-his-little-monsters.html", "published_at": "2021-01-03T05:21:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f45a6215bd", "title": "Frege and his little monsters", "url": "https://logic-forall.blogspot.com/2021/01/frege-and-his-little-monsters.html", "published_at": "2021-01-03T05:21:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af1631f59d68", "title": "Portuguese on my mind", "url": "http://logic-forall.blogspot.com/2020/12/portuguese-on-my-mind.html", "published_at": "2020-12-28T17:22:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f45b13e62a", "title": "Portuguese on my mind", "url": "https://logic-forall.blogspot.com/2020/12/portuguese-on-my-mind.html", "published_at": "2020-12-28T17:22:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af1632e8babe", "title": "von Neuman and understanding", "url": "http://logic-forall.blogspot.com/2020/12/von-neuman-and-understanding.html", "published_at": "2020-12-27T23:46:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f45bb8342b", "title": "von Neuman and understanding", "url": "https://logic-forall.blogspot.com/2020/12/von-neuman-and-understanding.html", "published_at": "2020-12-27T23:46:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af163314aa6f", "title": "Things I am proud of", "url": "http://logic-forall.blogspot.com/2020/12/things-i-am-proud-of.html", "published_at": "2020-12-14T00:38:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f45bd428ce", "title": "Things I am proud of", "url": "https://logic-forall.blogspot.com/2020/12/things-i-am-proud-of.html", "published_at": "2020-12-14T00:38:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af1633250010", "title": "Counting Intuitions", "url": "http://logic-forall.blogspot.com/2020/11/counting-intuitions.html", "published_at": "2020-11-19T03:24:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f45c17691d", "title": "Counting Intuitions", "url": "https://logic-forall.blogspot.com/2020/11/counting-intuitions.html", "published_at": "2020-11-19T03:24:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af16334a9dd2", "title": "Partiality Insights", "url": "http://logic-forall.blogspot.com/2020/11/partiality-insights.html", "published_at": "2020-11-15T06:11:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f45cd32fdf", "title": "Partiality Insights", "url": "https://logic-forall.blogspot.com/2020/11/partiality-insights.html", "published_at": "2020-11-15T06:11:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af16340b287e", "title": "Logic: a quote or two", "url": "http://logic-forall.blogspot.com/2020/11/logic-quote-or-two.html", "published_at": "2020-11-14T21:56:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f45d71f15b", "title": "Logic: a quote or two", "url": "https://logic-forall.blogspot.com/2020/11/logic-quote-or-two.html", "published_at": "2020-11-14T21:56:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af1634bbbb30", "title": "Perils and tribulations of fake Publishing", "url": "http://logic-forall.blogspot.com/2020/10/perils-and-tribulations-of-fake.html", "published_at": "2020-10-26T15:05:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f45e074768", "title": "Perils and tribulations of fake Publishing", "url": "https://logic-forall.blogspot.com/2020/10/perils-and-tribulations-of-fake.html", "published_at": "2020-10-26T15:05:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af1635b17023", "title": "Ada Lovelace Day 2020: Andrea Loparic", "url": "http://logic-forall.blogspot.com/2020/10/ada-lovelace-day-2020-andrea-loparic.html", "published_at": "2020-10-14T04:27:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f45e52123e", "title": "Ada Lovelace Day 2020: Andrea Loparic", "url": "https://logic-forall.blogspot.com/2020/10/ada-lovelace-day-2020-andrea-loparic.html", "published_at": "2020-10-14T04:27:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af1635b3a98d", "title": "Mathematistan for All", "url": "http://logic-forall.blogspot.com/2020/10/mathematistan-for-all.html", "published_at": "2020-10-09T21:56:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f45f00f873", "title": "Mathematistan for All", "url": "https://logic-forall.blogspot.com/2020/10/mathematistan-for-all.html", "published_at": "2020-10-09T21:56:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af1635d6ab9f", "title": "Everyone needs a YouTube channel", "url": "http://logic-forall.blogspot.com/2020/10/everyone-needs-youtube-channel.html", "published_at": "2020-10-09T04:04:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f45f848865", "title": "Everyone needs a YouTube channel", "url": "https://logic-forall.blogspot.com/2020/10/everyone-needs-youtube-channel.html", "published_at": "2020-10-09T04:04:00+00:00" }, { "id": "01a0bb66-e051-71d3-a87e-af1635f0e99c", "title": "What did you do in your Summer vacation?", "url": "http://logic-forall.blogspot.com/2020/08/what-did-you-do-in-your-summer-vacation.html", "published_at": "2020-08-31T19:55:00+00:00" }, { "id": "01a0bb66-e3dd-7274-a01b-57f46040ae20", "title": "What did you do in your Summer vacation?", "url": "https://logic-forall.blogspot.com/2020/08/what-did-you-do-in-your-summer-vacation.html", "published_at": "2020-08-31T19:55:00+00:00" } ] posts Claim your blog
Back to logic-forall.blogspot.com
Blog · corpus.blog/blogs/logic-forall.blogspot.com/posts

logic-forall.blogspot.com

logic-forall.blogspot.com

2022

Natural Language and Computer Science (NLCS): what's that?original ↗
23 Apr 2022
Natural Language and Computer Science (NLCS): what's that?original ↗
23 Apr 2022
Kolmogorov the Geniusoriginal ↗
1 Apr 2022
Kolmogorov the Geniusoriginal ↗
1 Apr 2022
Down Memory Lane: Computer Lab, Cambridgeoriginal ↗
3 Mar 2022
Down Memory Lane: Computer Lab, Cambridgeoriginal ↗
3 Mar 2022
Research Clustersoriginal ↗
20 Feb 2022
Research Clustersoriginal ↗
20 Feb 2022
Friends and Women Celebrationsoriginal ↗
17 Feb 2022
Friends and Women Celebrationsoriginal ↗
17 Feb 2022
Talking the Talkoriginal ↗
26 Jan 2022
Talking the Talkoriginal ↗
26 Jan 2022
4th International Congress, Bucharest 1971original ↗
9 Jan 2022
4th International Congress, Bucharest 1971original ↗
9 Jan 2022
9th International Congress, Uppsala 1991original ↗
6 Jan 2022
9th International Congress, Uppsala 1991original ↗
6 Jan 2022
Twelve Days of Christmas?original ↗
5 Jan 2022
Twelve Days of Christmas?original ↗
5 Jan 2022
1st International Congress, Stanford 1960original ↗
2 Jan 2022
1st International Congress, Stanford 1960original ↗
2 Jan 2022
Happy New Year! 2022 is here!original ↗
1 Jan 2022
Happy New Year! 2022 is here!original ↗
1 Jan 2022

2021

White Christmasoriginal ↗
24 Dec 2021
White Christmasoriginal ↗
24 Dec 2021
Retrospective of 2021?original ↗
13 Dec 2021
Retrospective of 2021?original ↗
13 Dec 2021
Dagstuhl 2021? I wishoriginal ↗
10 Nov 2021
Dagstuhl 2021? I wishoriginal ↗
10 Nov 2021
History of Ideas?original ↗
2 Nov 2021
History of Ideas?original ↗
2 Nov 2021
Dialectica Logical Principlesoriginal ↗
31 Oct 2021
Dialectica Logical Principlesoriginal ↗
31 Oct 2021
Conversations with Sophieoriginal ↗
19 Oct 2021
Conversations with Sophieoriginal ↗
19 Oct 2021
Ada Lovelace Day 2021original ↗
13 Oct 2021
Ada Lovelace Day 2021original ↗
13 Oct 2021
Pots and Pans? Dishes and bowls? NLI!original ↗
23 Sept 2021
Pots and Pans? Dishes and bowls? NLI!original ↗
23 Sept 2021
TL;DR our work 2021original ↗
7 Sept 2021
TL;DR our work 2021original ↗
7 Sept 2021
Our work?original ↗
5 Sept 2021
Our work?original ↗
5 Sept 2021
Ecumenical Negation at LC2021original ↗
26 Aug 2021
Ecumenical Negation at LC2021original ↗
26 Aug 2021
AplicAi! Matching students and researchersoriginal ↗
13 Aug 2021
AplicAi! Matching students and researchersoriginal ↗
13 Aug 2021
Hypatiaoriginal ↗
12 Aug 2021
Hypatiaoriginal ↗
12 Aug 2021
Kolmogorov-Veloso Problemsoriginal ↗
9 Aug 2021
Kolmogorov-Veloso Problemsoriginal ↗
9 Aug 2021
Dialectica Petri Netsoriginal ↗
5 Aug 2021
Dialectica Petri Netsoriginal ↗
5 Aug 2021
Gödel Fibration?original ↗
1 Aug 2021
Gödel Fibration?original ↗
1 Aug 2021
Lazy Days of Summer? Bah, humbug!original ↗
26 Jul 2021
Lazy Days of Summer? Bah, humbug!original ↗
26 Jul 2021
Organizing workoriginal ↗
22 Jul 2021
Organizing workoriginal ↗
22 Jul 2021
Cousins: twice removed?original ↗
8 Jul 2021
Cousins: twice removed?original ↗
8 Jul 2021
Women in Logic 2021, yay!!original ↗
29 Jun 2021
Women in Logic 2021, yay!!original ↗
29 Jun 2021
Why are videos so difficult to find and keep?original ↗
31 May 2021
Why are videos so difficult to find and keep?original ↗
31 May 2021
Spring has sprungoriginal ↗
3 Apr 2021
Spring has sprungoriginal ↗
3 Apr 2021
Dialectica Categories as Matricesoriginal ↗
22 Feb 2021
Dialectica Categories as Matricesoriginal ↗
22 Feb 2021
Better reporting in 2021original ↗
30 Jan 2021
Better reporting in 2021original ↗
30 Jan 2021
Too many ideas, too little timeoriginal ↗
21 Jan 2021
Too many ideas, too little timeoriginal ↗
21 Jan 2021
A quote for World Logic Dayoriginal ↗
12 Jan 2021
A quote for World Logic Dayoriginal ↗
12 Jan 2021
Just so that I rememberoriginal ↗
11 Jan 2021
Just so that I rememberoriginal ↗
11 Jan 2021
Frege and his little monstersoriginal ↗
3 Jan 2021
Frege and his little monstersoriginal ↗
3 Jan 2021

2020

Portuguese on my mindoriginal ↗
28 Dec 2020
Portuguese on my mindoriginal ↗
28 Dec 2020
von Neuman and understandingoriginal ↗
27 Dec 2020
von Neuman and understandingoriginal ↗
27 Dec 2020
Things I am proud oforiginal ↗
14 Dec 2020
Things I am proud oforiginal ↗
14 Dec 2020
Counting Intuitionsoriginal ↗
19 Nov 2020
Counting Intuitionsoriginal ↗
19 Nov 2020
Partiality Insightsoriginal ↗
15 Nov 2020
Partiality Insightsoriginal ↗
15 Nov 2020
Logic: a quote or twooriginal ↗
14 Nov 2020
Logic: a quote or twooriginal ↗
14 Nov 2020
Perils and tribulations of fake Publishingoriginal ↗
26 Oct 2020
Perils and tribulations of fake Publishingoriginal ↗
26 Oct 2020
Ada Lovelace Day 2020: Andrea Loparicoriginal ↗
14 Oct 2020
Ada Lovelace Day 2020: Andrea Loparicoriginal ↗
14 Oct 2020
Mathematistan for Alloriginal ↗
9 Oct 2020
Mathematistan for Alloriginal ↗
9 Oct 2020
Everyone needs a YouTube channeloriginal ↗
9 Oct 2020
Everyone needs a YouTube channeloriginal ↗
9 Oct 2020
What did you do in your Summer vacation?original ↗
31 Aug 2020
What did you do in your Summer vacation?original ↗
31 Aug 2020
Previous Next