41554 blogs · [ { "id": "01a0bb6b-46ef-715d-84b0-681971387c30", "title": "Wildfires near us", "url": "http://logic-forall.blogspot.com/2020/08/wildfires-near-us.html", "published_at": "2020-08-31T03:48:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8cbc6459c", "title": "Wildfires near us", "url": "https://logic-forall.blogspot.com/2020/08/wildfires-near-us.html", "published_at": "2020-08-31T03:48:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-6819720a7030", "title": "Understanding Portuguese", "url": "http://logic-forall.blogspot.com/2020/08/understanding-portuguese.html", "published_at": "2020-08-09T14:50:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8cc1d01ff", "title": "Understanding Portuguese", "url": "https://logic-forall.blogspot.com/2020/08/understanding-portuguese.html", "published_at": "2020-08-09T14:50:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-681972146c36", "title": "Editing books", "url": "http://logic-forall.blogspot.com/2020/07/editing-books.html", "published_at": "2020-07-27T00:41:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8cc733542", "title": "Editing books", "url": "https://logic-forall.blogspot.com/2020/07/editing-books.html", "published_at": "2020-07-27T00:41:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-681972cec84e", "title": "The curious incident of the dropped streaming", "url": "http://logic-forall.blogspot.com/2020/07/the-curious-incident-of-dropped.html", "published_at": "2020-07-26T19:27:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8ccf00fea", "title": "The curious incident of the dropped streaming", "url": "https://logic-forall.blogspot.com/2020/07/the-curious-incident-of-dropped.html", "published_at": "2020-07-26T19:27:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-6819730b8cd8", "title": "Slideshare is my friend. Sometimes.", "url": "http://logic-forall.blogspot.com/2020/07/slideshare-is-my-friend-sometimes.html", "published_at": "2020-07-21T06:37:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8cda89f0d", "title": "Slideshare is my friend. Sometimes.", "url": "https://logic-forall.blogspot.com/2020/07/slideshare-is-my-friend-sometimes.html", "published_at": "2020-07-21T06:37:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-6819730ebf76", "title": "Logicians in Quarantine", "url": "http://logic-forall.blogspot.com/2020/07/logicians-in-quarantine.html", "published_at": "2020-07-19T16:24:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8ce165cb9", "title": "Logicians in Quarantine", "url": "https://logic-forall.blogspot.com/2020/07/logicians-in-quarantine.html", "published_at": "2020-07-19T16:24:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-681973c6dd87", "title": "Crazy Bird in Pandemic", "url": "http://logic-forall.blogspot.com/2020/05/crazy-bird.html", "published_at": "2020-07-18T23:15:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8cedd3ea4", "title": "Crazy Bird in Pandemic", "url": "https://logic-forall.blogspot.com/2020/05/crazy-bird.html", "published_at": "2020-07-18T23:15:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-681973efcc1c", "title": "Choices during a pandemic", "url": "http://logic-forall.blogspot.com/2020/07/choices-during-pandemic.html", "published_at": "2020-07-14T14:27:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8cfafb396", "title": "Choices during a pandemic", "url": "https://logic-forall.blogspot.com/2020/07/choices-during-pandemic.html", "published_at": "2020-07-14T14:27:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-6819748896cf", "title": "Finding things in the internet is hard", "url": "http://logic-forall.blogspot.com/2020/06/history-of-ct-in-cs-why-not.html", "published_at": "2020-06-04T02:50:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8cfb1f0db", "title": "Finding things in the internet is hard", "url": "https://logic-forall.blogspot.com/2020/06/history-of-ct-in-cs-why-not.html", "published_at": "2020-06-04T02:50:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-6819755d27fc", "title": "Telling stuff as it is", "url": "http://logic-forall.blogspot.com/2020/05/telling-stuff-as-it-is.html", "published_at": "2020-05-24T01:47:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8d0585ffb", "title": "Telling stuff as it is", "url": "https://logic-forall.blogspot.com/2020/05/telling-stuff-as-it-is.html", "published_at": "2020-05-24T01:47:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-681975e19f52", "title": "Logic workbenches, benchmarks and libraries", "url": "http://logic-forall.blogspot.com/2020/05/logic-workbenches-benchmarks-and.html", "published_at": "2020-05-13T19:58:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8d1440a91", "title": "Logic workbenches, benchmarks and libraries", "url": "https://logic-forall.blogspot.com/2020/05/logic-workbenches-benchmarks-and.html", "published_at": "2020-05-13T19:58:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-681975e23a68", "title": "SICK (the dataset) in these trying times", "url": "http://logic-forall.blogspot.com/2020/03/sick-dataset-in-these-trying-times.html", "published_at": "2020-03-21T21:17:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8d1e7252f", "title": "SICK (the dataset) in these trying times", "url": "https://logic-forall.blogspot.com/2020/03/sick-dataset-in-these-trying-times.html", "published_at": "2020-03-21T21:17:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-68197654aa27", "title": "Artifacts in NLP", "url": "http://logic-forall.blogspot.com/2020/03/artifacts-in-nlp.html", "published_at": "2020-03-08T20:41:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8d2bcd7db", "title": "Artifacts in NLP", "url": "https://logic-forall.blogspot.com/2020/03/artifacts-in-nlp.html", "published_at": "2020-03-08T20:41:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-681977283831", "title": "Special Session on Proof Theory @ Irvine 2020 CANCELLED!", "url": "http://logic-forall.blogspot.com/2020/02/special-session-on-proof-theory-irvine.html", "published_at": "2020-02-29T22:57:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8d2e2cfa2", "title": "Special Session on Proof Theory @ Irvine 2020 CANCELLED!", "url": "https://logic-forall.blogspot.com/2020/02/special-session-on-proof-theory-irvine.html", "published_at": "2020-02-29T22:57:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-6819777ab11f", "title": "Too much reviewing is bad for you!", "url": "http://logic-forall.blogspot.com/2020/02/too-much-reviewing-is-bad-for-you.html", "published_at": "2020-02-18T23:06:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8d3c9b93c", "title": "Too much reviewing is bad for you!", "url": "https://logic-forall.blogspot.com/2020/02/too-much-reviewing-is-bad-for-you.html", "published_at": "2020-02-18T23:06:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-681977ca0ef8", "title": "Becoming a Philosopher", "url": "http://logic-forall.blogspot.com/2020/02/becoming-philosopher.html", "published_at": "2020-02-11T23:10:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8d3f3ed56", "title": "Becoming a Philosopher", "url": "https://logic-forall.blogspot.com/2020/02/becoming-philosopher.html", "published_at": "2020-02-11T23:10:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-68197882146f", "title": "November in Amsterdam", "url": "http://logic-forall.blogspot.com/2020/02/november-in-amsterdam.html", "published_at": "2020-02-03T03:26:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8d43a9490", "title": "November in Amsterdam", "url": "https://logic-forall.blogspot.com/2020/02/november-in-amsterdam.html", "published_at": "2020-02-03T03:26:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-681979247e6f", "title": "All things Rust", "url": "http://logic-forall.blogspot.com/2020/01/all-things-rust.html", "published_at": "2020-01-06T00:45:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8d51d163f", "title": "All things Rust", "url": "https://logic-forall.blogspot.com/2020/01/all-things-rust.html", "published_at": "2020-01-06T00:45:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-681979e21c84", "title": "Pleasant Surprise in December", "url": "http://logic-forall.blogspot.com/2020/01/pleasant-surprise-in-december.html", "published_at": "2020-01-04T00:42:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8d5cd332d", "title": "Pleasant Surprise in December", "url": "https://logic-forall.blogspot.com/2020/01/pleasant-surprise-in-december.html", "published_at": "2020-01-04T00:42:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-681979fa944a", "title": "Ada Lovelace Day 2019", "url": "http://logic-forall.blogspot.com/2019/10/ada-lovelace-day-2019.html", "published_at": "2019-10-14T05:15:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8d6cc6067", "title": "Ada Lovelace Day 2019", "url": "https://logic-forall.blogspot.com/2019/10/ada-lovelace-day-2019.html", "published_at": "2019-10-14T05:15:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-68197a83a63c", "title": "A bibliography of Linear Logic? Again?", "url": "http://logic-forall.blogspot.com/2019/09/a-bibliography-of-linear-logic-again.html", "published_at": "2019-09-29T19:49:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8d7856f7b", "title": "A bibliography of Linear Logic? Again?", "url": "https://logic-forall.blogspot.com/2019/09/a-bibliography-of-linear-logic-again.html", "published_at": "2019-09-29T19:49:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-68197b4af96d", "title": "Brazilian Women in Mathematics", "url": "http://logic-forall.blogspot.com/2019/09/brazilian-women-in-mathematics.html", "published_at": "2019-09-28T01:43:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8d82b094b", "title": "Brazilian Women in Mathematics", "url": "https://logic-forall.blogspot.com/2019/09/brazilian-women-in-mathematics.html", "published_at": "2019-09-28T01:43:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-68197c1a1d2f", "title": "Brazil-France Mathematics Meeting", "url": "http://logic-forall.blogspot.com/2019/08/brazil-france-mathematics-meeting.html", "published_at": "2019-08-23T14:06:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8d8ff6ab2", "title": "Brazil-France Mathematics Meeting", "url": "https://logic-forall.blogspot.com/2019/08/brazil-france-mathematics-meeting.html", "published_at": "2019-08-23T14:06:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-68197c86b5d5", "title": "Adventures in SearchLand, rediscovered", "url": "http://logic-forall.blogspot.com/2019/08/adventures-in-searchland-rediscovered.html", "published_at": "2019-08-15T07:08:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8d9de6eaf", "title": "Adventures in SearchLand, rediscovered", "url": "https://logic-forall.blogspot.com/2019/08/adventures-in-searchland-rediscovered.html", "published_at": "2019-08-15T07:08:00+00:00" }, { "id": "01a0bb6b-46ef-715d-84b0-68197cdc636b", "title": "Summer 2019 is over. or almost over.", "url": "http://logic-forall.blogspot.com/2019/08/summer-2019-is-over-or-almost-over.html", "published_at": "2019-08-10T15:56:00+00:00" }, { "id": "01a0bb6b-4ea0-7046-b851-65c8dad29874", "title": "Summer 2019 is over. or almost over.", "url": "https://logic-forall.blogspot.com/2019/08/summer-2019-is-over-or-almost-over.html", "published_at": "2019-08-10T15:56:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293b9ffc5e4a", "title": "Skype Talk in May: Round Table at EBL", "url": "http://logic-forall.blogspot.com/2019/07/skype-talk-in-may-round-table-at-ebl.html", "published_at": "2019-07-17T02:15:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611e521ebc3", "title": "Skype Talk in May: Round Table at EBL", "url": "https://logic-forall.blogspot.com/2019/07/skype-talk-in-may-round-table-at-ebl.html", "published_at": "2019-07-17T02:15:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293ba03a7ca9", "title": "BACAT2019: Petri nets rewind", "url": "http://logic-forall.blogspot.com/2019/07/bacat2019-petri-nets-rewind.html", "published_at": "2019-07-15T14:50:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611e5fc253a", "title": "BACAT2019: Petri nets rewind", "url": "https://logic-forall.blogspot.com/2019/07/bacat2019-petri-nets-rewind.html", "published_at": "2019-07-15T14:50:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293ba135b063", "title": "Vancouver in June", "url": "http://logic-forall.blogspot.com/2019/07/vancouver-in-june.html", "published_at": "2019-07-15T13:39:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611e66cbab9", "title": "Vancouver in June", "url": "https://logic-forall.blogspot.com/2019/07/vancouver-in-june.html", "published_at": "2019-07-15T13:39:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293ba18ef6ce", "title": "Tuebingen in March", "url": "http://logic-forall.blogspot.com/2019/07/tuebingen-in-march.html", "published_at": "2019-07-15T12:34:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611e722275d", "title": "Tuebingen in March", "url": "https://logic-forall.blogspot.com/2019/07/tuebingen-in-march.html", "published_at": "2019-07-15T12:34:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293ba1efd31b", "title": "Farewell to Prof Troelstra", "url": "http://logic-forall.blogspot.com/2019/07/farewell-to-prof-troelstra.html", "published_at": "2019-07-13T23:07:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611e74fd6c1", "title": "Farewell to Prof Troelstra", "url": "https://logic-forall.blogspot.com/2019/07/farewell-to-prof-troelstra.html", "published_at": "2019-07-13T23:07:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293ba20bbc69", "title": "Mycroft and SNIPS: open source voice assistants", "url": "http://logic-forall.blogspot.com/2019/05/mycroft-and-snips-open-source-voice_29.html", "published_at": "2019-05-29T20:45:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611e7c7e430", "title": "Mycroft and SNIPS: open source voice assistants", "url": "https://logic-forall.blogspot.com/2019/05/mycroft-and-snips-open-source-voice_29.html", "published_at": "2019-05-29T20:45:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293ba2af47fb", "title": "Natural Language Inference: over and over again", "url": "http://logic-forall.blogspot.com/2019/05/natural-language-inference-over-and.html", "published_at": "2019-05-23T15:23:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611e8595c4e", "title": "Natural Language Inference: over and over again", "url": "https://logic-forall.blogspot.com/2019/05/natural-language-inference-over-and.html", "published_at": "2019-05-23T15:23:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293ba38ab452", "title": "Vanity Trip", "url": "http://logic-forall.blogspot.com/2019/04/vanity-trip.html", "published_at": "2019-04-04T00:58:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611e8afeb2e", "title": "Vanity Trip", "url": "https://logic-forall.blogspot.com/2019/04/vanity-trip.html", "published_at": "2019-04-04T00:58:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293ba42d3946", "title": "Old Stories", "url": "http://logic-forall.blogspot.com/2019/03/old-stories.html", "published_at": "2019-03-08T22:43:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611e93ff13f", "title": "Old Stories", "url": "https://logic-forall.blogspot.com/2019/03/old-stories.html", "published_at": "2019-03-08T22:43:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293ba4beee51", "title": "Old (2017) BACAT slides", "url": "http://logic-forall.blogspot.com/2019/03/more-bacat-slides.html", "published_at": "2019-03-04T21:02:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611e961cb01", "title": "Old (2017) BACAT slides", "url": "https://logic-forall.blogspot.com/2019/03/more-bacat-slides.html", "published_at": "2019-03-04T21:02:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293ba511e3f2", "title": "Santa Clara in February", "url": "http://logic-forall.blogspot.com/2019/03/santa-clara-in-february.html", "published_at": "2019-03-02T22:26:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611e9cd297e", "title": "Santa Clara in February", "url": "https://logic-forall.blogspot.com/2019/03/santa-clara-in-february.html", "published_at": "2019-03-02T22:26:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293ba585fb65", "title": "Organizing Talks", "url": "http://logic-forall.blogspot.com/2019/02/organizing-talks.html", "published_at": "2019-02-25T22:26:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611ea057276", "title": "Organizing Talks", "url": "https://logic-forall.blogspot.com/2019/02/organizing-talks.html", "published_at": "2019-02-25T22:26:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293ba66d0647", "title": "Google Plus is going away", "url": "http://logic-forall.blogspot.com/2019/02/google-plus-is-going-away.html", "published_at": "2019-02-07T00:23:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611ea5764e1", "title": "Google Plus is going away", "url": "https://logic-forall.blogspot.com/2019/02/google-plus-is-going-away.html", "published_at": "2019-02-07T00:23:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293ba7543c1c", "title": "Amsterdam in January", "url": "http://logic-forall.blogspot.com/2019/01/amsterdam-in-january.html", "published_at": "2019-01-26T21:43:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611ea60adb4", "title": "Amsterdam in January", "url": "https://logic-forall.blogspot.com/2019/01/amsterdam-in-january.html", "published_at": "2019-01-26T21:43:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293ba782bd86", "title": "Who uses OpenWordNet-PT?", "url": "http://logic-forall.blogspot.com/2018/12/who-uses-openwordnet-pt.html", "published_at": "2018-12-30T20:09:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611eae469aa", "title": "Who uses OpenWordNet-PT?", "url": "https://logic-forall.blogspot.com/2018/12/who-uses-openwordnet-pt.html", "published_at": "2018-12-30T20:09:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293ba842c199", "title": "YouTube, oh youtube!", "url": "http://logic-forall.blogspot.com/2018/11/youtube-oh-youtube.html", "published_at": "2018-11-25T15:52:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611ebce2ab2", "title": "YouTube, oh youtube!", "url": "https://logic-forall.blogspot.com/2018/11/youtube-oh-youtube.html", "published_at": "2018-11-25T15:52:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293ba90b4ed6", "title": "Thanksgiving Break", "url": "http://logic-forall.blogspot.com/2018/11/thanksgiving-break.html", "published_at": "2018-11-25T03:46:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611ec63c094", "title": "Thanksgiving Break", "url": "https://logic-forall.blogspot.com/2018/11/thanksgiving-break.html", "published_at": "2018-11-25T03:46:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293ba99f8cd3", "title": "Vardi's \"How We Lost the Women in Computing\"", "url": "http://logic-forall.blogspot.com/2018/11/vardis-how-we-lost-women-in-computing.html", "published_at": "2018-11-01T23:36:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611ec90bcc5", "title": "Vardi's \"How We Lost the Women in Computing\"", "url": "https://logic-forall.blogspot.com/2018/11/vardis-how-we-lost-women-in-computing.html", "published_at": "2018-11-01T23:36:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293ba9a9379a", "title": "A busy summer", "url": "http://logic-forall.blogspot.com/2018/11/a-busy-summer.html", "published_at": "2018-11-01T22:55:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611ecd9bc59", "title": "A busy summer", "url": "https://logic-forall.blogspot.com/2018/11/a-busy-summer.html", "published_at": "2018-11-01T22:55:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293baa3d8ce1", "title": "Anniversary!!!", "url": "http://logic-forall.blogspot.com/2018/11/anniversary.html", "published_at": "2018-11-01T22:43:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611ecf50f8b", "title": "Anniversary!!!", "url": "https://logic-forall.blogspot.com/2018/11/anniversary.html", "published_at": "2018-11-01T22:43:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293baaca6e87", "title": "Ada Lovelace Day 2018", "url": "http://logic-forall.blogspot.com/2018/10/ada-lovelace-day-2018.html", "published_at": "2018-10-10T13:48:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611ed10a865", "title": "Ada Lovelace Day 2018", "url": "https://logic-forall.blogspot.com/2018/10/ada-lovelace-day-2018.html", "published_at": "2018-10-10T13:48:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293babc2c5c1", "title": "Mirantão and Linear Dependencies", "url": "http://logic-forall.blogspot.com/2018/09/mirantao-and-linear-dependencies.html", "published_at": "2018-09-03T14:10:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611ed27696a", "title": "Mirantão and Linear Dependencies", "url": "https://logic-forall.blogspot.com/2018/09/mirantao-and-linear-dependencies.html", "published_at": "2018-09-03T14:10:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293babda9c10", "title": "Playing Mathematician at ICM2018", "url": "http://logic-forall.blogspot.com/2018/08/playing-mathematician-at-icm2018.html", "published_at": "2018-08-26T14:01:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611ed91f884", "title": "Playing Mathematician at ICM2018", "url": "https://logic-forall.blogspot.com/2018/08/playing-mathematician-at-icm2018.html", "published_at": "2018-08-26T14:01:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293bac93ef93", "title": "Invited Talks are Fun. Maybe.", "url": "http://logic-forall.blogspot.com/2018/08/invited-talks-are-fun-maybe.html", "published_at": "2018-08-04T23:11:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611ee4a1a74", "title": "Invited Talks are Fun. Maybe.", "url": "https://logic-forall.blogspot.com/2018/08/invited-talks-are-fun-maybe.html", "published_at": "2018-08-04T23:11:00+00:00" }, { "id": "01a0bb6f-31bc-7083-8d32-293bacc6ba98", "title": "Old Technical Reports", "url": "http://logic-forall.blogspot.com/2018/08/old-technical-reports.html", "published_at": "2018-08-04T00:26:00+00:00" }, { "id": "01a0bb6f-34d9-70f7-a0c1-f611eeaf5326", "title": "Old Technical Reports", "url": "https://logic-forall.blogspot.com/2018/08/old-technical-reports.html", "published_at": "2018-08-04T00:26: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

2020

Wildfires near us original ↗

31 Aug 2020

Wildfires near us original ↗

31 Aug 2020

Understanding Portuguese original ↗

9 Aug 2020

Understanding Portuguese original ↗

9 Aug 2020

Editing books original ↗

27 Jul 2020

Editing books original ↗

27 Jul 2020

The curious incident of the dropped streaming original ↗

26 Jul 2020

The curious incident of the dropped streaming original ↗

26 Jul 2020

Slideshare is my friend. Sometimes.original ↗

21 Jul 2020

Slideshare is my friend. Sometimes.original ↗

21 Jul 2020

Logicians in Quarantine original ↗

19 Jul 2020

Logicians in Quarantine original ↗

19 Jul 2020

Crazy Bird in Pandemic original ↗

18 Jul 2020

Crazy Bird in Pandemic original ↗

18 Jul 2020

Choices during a pandemic original ↗

14 Jul 2020

Choices during a pandemic original ↗

14 Jul 2020

Finding things in the internet is hard original ↗

4 Jun 2020

Finding things in the internet is hard original ↗

4 Jun 2020

Telling stuff as it is original ↗

24 May 2020

Telling stuff as it is original ↗

24 May 2020

Logic workbenches, benchmarks and libraries original ↗

13 May 2020

Logic workbenches, benchmarks and libraries original ↗

13 May 2020

SICK (the dataset) in these trying times original ↗

21 Mar 2020

SICK (the dataset) in these trying times original ↗

21 Mar 2020

Artifacts in NLP original ↗

8 Mar 2020

Artifacts in NLP original ↗

8 Mar 2020

Special Session on Proof Theory @ Irvine 2020 CANCELLED!original ↗

29 Feb 2020

Special Session on Proof Theory @ Irvine 2020 CANCELLED!original ↗

29 Feb 2020

Too much reviewing is bad for you!original ↗

18 Feb 2020

Too much reviewing is bad for you!original ↗

18 Feb 2020

Becoming a Philosopher original ↗

11 Feb 2020

Becoming a Philosopher original ↗

11 Feb 2020

November in Amsterdam original ↗

3 Feb 2020

November in Amsterdam original ↗

3 Feb 2020

All things Rust original ↗

6 Jan 2020

All things Rust original ↗

6 Jan 2020

Pleasant Surprise in December original ↗

4 Jan 2020

Pleasant Surprise in December original ↗

4 Jan 2020

2019

Ada Lovelace Day 2019 original ↗

14 Oct 2019

Ada Lovelace Day 2019 original ↗

14 Oct 2019

A bibliography of Linear Logic? Again?original ↗

29 Sept 2019

A bibliography of Linear Logic? Again?original ↗

29 Sept 2019

Brazilian Women in Mathematics original ↗

28 Sept 2019

Brazilian Women in Mathematics original ↗

28 Sept 2019

Brazil-France Mathematics Meeting original ↗

23 Aug 2019

Brazil-France Mathematics Meeting original ↗

23 Aug 2019

Adventures in SearchLand, rediscovered original ↗

15 Aug 2019

Adventures in SearchLand, rediscovered original ↗

15 Aug 2019

Summer 2019 is over. or almost over.original ↗

10 Aug 2019

Summer 2019 is over. or almost over.original ↗

10 Aug 2019

Skype Talk in May: Round Table at EBL original ↗

17 Jul 2019

Skype Talk in May: Round Table at EBL original ↗

17 Jul 2019

BACAT2019: Petri nets rewind original ↗

15 Jul 2019

BACAT2019: Petri nets rewind original ↗

15 Jul 2019

Vancouver in June original ↗

15 Jul 2019

Vancouver in June original ↗

15 Jul 2019

Tuebingen in March original ↗

15 Jul 2019

Tuebingen in March original ↗

15 Jul 2019

Farewell to Prof Troelstra original ↗

13 Jul 2019

Farewell to Prof Troelstra original ↗

13 Jul 2019

Mycroft and SNIPS: open source voice assistants original ↗

29 May 2019

Mycroft and SNIPS: open source voice assistants original ↗

29 May 2019

Natural Language Inference: over and over again original ↗

23 May 2019

Natural Language Inference: over and over again original ↗

23 May 2019

Vanity Trip original ↗

4 Apr 2019

Vanity Trip original ↗

4 Apr 2019

Old Stories original ↗

8 Mar 2019

Old Stories original ↗

8 Mar 2019

Old (2017) BACAT slides original ↗

4 Mar 2019

Old (2017) BACAT slides original ↗

4 Mar 2019

Santa Clara in February original ↗

2 Mar 2019

Santa Clara in February original ↗

2 Mar 2019

Organizing Talks original ↗

25 Feb 2019

Organizing Talks original ↗

25 Feb 2019

Google Plus is going away original ↗

7 Feb 2019

Google Plus is going away original ↗

7 Feb 2019

Amsterdam in January original ↗

26 Jan 2019

Amsterdam in January original ↗

26 Jan 2019

2018

Who uses OpenWordNet-PT?original ↗

30 Dec 2018

Who uses OpenWordNet-PT?original ↗

30 Dec 2018

YouTube, oh youtube!original ↗

25 Nov 2018

YouTube, oh youtube!original ↗

25 Nov 2018

Thanksgiving Break original ↗

25 Nov 2018

Thanksgiving Break original ↗

25 Nov 2018

Vardi's "How We Lost the Women in Computing"original ↗

1 Nov 2018

Vardi's "How We Lost the Women in Computing"original ↗

1 Nov 2018

A busy summer original ↗

1 Nov 2018

A busy summer original ↗

1 Nov 2018

Anniversary!!!original ↗

1 Nov 2018

Anniversary!!!original ↗

1 Nov 2018

Ada Lovelace Day 2018 original ↗

10 Oct 2018

Ada Lovelace Day 2018 original ↗

10 Oct 2018

Mirantão and Linear Dependencies original ↗

3 Sept 2018

Mirantão and Linear Dependencies original ↗

3 Sept 2018

Playing Mathematician at ICM2018 original ↗

26 Aug 2018

Playing Mathematician at ICM2018 original ↗

26 Aug 2018

Invited Talks are Fun. Maybe.original ↗

4 Aug 2018

Invited Talks are Fun. Maybe.original ↗

4 Aug 2018

Old Technical Reports original ↗

4 Aug 2018

Old Technical Reports original ↗

4 Aug 2018