Original post on mastodon.social
In case you missed it, Quote Posts are live on mastodon.social and mastodon.online โ let us know what you think!
This feature has been a long time coming because we wanted to take the time to do it right. Part of that process was sharing our work and getting feedback along the way [โฆ]
30.09.2025 16:03 โ ๐ 3 ๐ 40 ๐ฌ 8 ๐ 1
A rectangular black sticker, with yellow writing, saying โthe only good system is a type systemโ with a centred lower case lambda in a circle.
The anarchist type theorists are in evidence along Riverside Walk in Dundee.
#typetheory #dundee
11.07.2025 12:02 โ ๐ 1 ๐ 8 ๐ฌ 1 ๐ 0
Picture of (from left) Jack MacIntosh, John Heintz, H.N. Gupta, Alfred Tarski, Brian Chellas, Verena Huber-Dyson, and Bob Woodrow in evening wear.
Here he is in 1982 at Tarski's honorary degree ceremony at the University of Calgary
30.06.2025 23:51 โ ๐ 1 ๐ 1 ๐ฌ 0 ๐ 0
# Remembering Robert Woodrow
Feature
June 20, 2025 Issue
Feature
June 2025 (Vol. 2, No. 24)
Issue Contents
June 20, 2025 Issue : Vol. 2, No. 24
Feature
Remembering Robert Woodrow
CMS Meetings
2025 CMS Winter Meeting, Dec 5-8 | Save the Date!
2025 CMS Winter Meeting | Call for Education Sessions
2025 CMS Winter Meeting | Call for Scientific Sessions
Announcements
International Congress of Mathematicians | July 23 - 30 , 2026 โ ICM
Call for Proposals: BIRS-MATRIX Tandem Workshop (November 22-27, 2026)
Proceedings A: Mathematical theory and applications of multiple wave scattering
2025 CMS Summer Ottawa Math Camp | Registration Now Open
Calls for Nominations
Call for Nominations: 2026 David Borwein Award | Deadline November 15, 2025
Call from the International Prize Committee โ Javad Mashreghi
Call for Nominations: 2026 Research Prizes | Deadline September 30, 2025
Call for Nominations: Editor-in-Chief (EIC), Crux Mathematicorum | Deadline July 15, 2025
CMS Student Committee
Connect with us on Discord! โ Student Committee of the CMS
The Canadian Mathematical Society (CMS) is deeply saddened to announce the unexpected passing of Dr. Robert Woodrow on June 10, 2025, shortly after returning to Calgary from the CMS Summer Meeting. He was deeply engaged in every facet of the academic community throughout both his career and retirement. Dr. Woodrow was involved with the CMS for over 45 years, serving in many capacities and most recently, and for over ten years, as the Chair of the Canadian Open Mathematics Challenge (COMC). He was a pillar whose dedication, insight, and kindness left an enduring and profound impact on all of us.
Members of our community have shared their heartfelt memories of him:
โ _Robert Woodrow was a true asset to the CMS and a dedicated member since 1981. His commitment was further demonstrated through his invaluable contributions to the Board of Directors and numerous committees._
_Robert dedicated the last decade of his efforts specifically to competitions and the student committee, particularly as a pivotal chair of the COMC committee. He generously invested countless hours in this competition, through proctoring and rigorously vetting exams, leading the COMC committee, and providing exceptional leadership for our largest math competition._
_Robert will be truly missed and remembered fondly by all staff and everyone who had the privilege of working with him. We will miss his dedication and unwavering enthusiasm for math competitions. Weโll also deeply miss his presence at CMS Meetings; he was a truly dedicated champion of the CMS_.โ
โ Dr. Termeh Kousha, Executive Director, Canadian Mathematical Society
โ _Dr. Robert Woodrow was a very special colleague and a tremendous friend of the Canadian Mathematical Society. As a former Executive Director of the CMS, I was fortunate to work with Robert in many different ways. He was a member of the CMS for more than 45 years and he was always ready to help whenever asked. His tireless efforts, infectious personality, generosity and commitment to the work of the CMS was an inspiration to all. Of particular note was his service as Chair of the Canadian Open Mathematics Challenge Committee, the Faculty Advisor to the CMS Student Committee, a member of the CMS Advancement of Mathematics Committee and as the Olympiad Editor of Crux Mathematicorum. Robert was awarded the Societyโs Distinguished Service Award in 2010 and appointed a CMS Fellow 2018. His dedication and unwavering commitment to the Society continued until only a few days before his untimely passing on June 10, 2025. The Society has lost one of its most respected and valued members and I have lost a remarkable friend. It is hard to imagine the CMS without Dr. Robert Woodrow. He will be greatly missed by all who knew him_.โ
โ Dr. Graham Wright, Former Executive Director of the Canadian Mathematical Society
โ _Robert was truly an extraordinary, kind and caring person, who spent his life to his last hours serving the mathematical community, in particular its younger members. His actions clearly came from his heart. I am extremely grateful to have had the honour to work with him and benefit from his wisdom and experience in administering the COMC and other competitions. He was very generous with his time and always willing to help ensuring each student was treated fairly. He clearly enjoyed what he did and it was a joy to work with him_.โ
โ Dr. Dorette Pronk (Dalhousie), Chair, Math Competitions Committee
โ _A gregarious host, a lively and generous table companion, a stimulating research collaborator, and a colleague with a decades-long dedication to math contests and other math enrichment activities: Robert was each of these, and in each case no-one could have asked for more._ โ
โ Dr. Bill Sands (University of Calgary)
The CMS sends its heartfelt condolences to Dr. Woodrowโs family and friends. His absence leaves a void that will be deeply felt across our community, and his legacy of generosity, leadership, and unwavering dedication to mathematics will continue to inspire us for many years to come.
**An extended tribute to Dr. Woodrow will be featured in the September issue of the _CMS Notes_. If you have photographs or personal memories you would like to contribute, please email them to ****communications@cms.math.ca****.**
**For more information, please contact:**
Dr. Claude Laflamme
Professor Emeritus
University of Calgary
laflamme@ucalgary.ca| Dr. Bill Sands
Professor Emeritus
University of Calgary
sands@ucalgary.ca| CMS Executive Office
cms@cms.math.ca
---|---|---
Share on Facebook
Share on email
Post this on X/Twitter
Instagram
Send to printer
RIP Robert Woodrow
https://mathmatters.cms.math.ca/en/article/remembering-robert-woodrow/
30.06.2025 23:46 โ ๐ 1 ๐ 2 ๐ฌ 1 ๐ 0
Original post on mathstodon.xyz
Preparing for Fall 2025
Most of the Open Logic textbooks have seen lots of changes from the versions currently available in hardcopy, so it's time to refresh those to Fall 2025 editions. These will incorporate all the corrections reported by readers since at least 2023 and in many cases going [โฆ]
25.06.2025 21:55 โ ๐ 4 ๐ 5 ๐ฌ 0 ๐ 0
Original post on mathstodon.xyz
Preparing for Fall 2025
Most of the Open Logic textbooks have seen lots of changes from the versions currently available in hardcopy, so it's time to refresh those to Fall 2025 editions. These will incorporate all the corrections reported by readers since at least 2023 and in many cases going [โฆ]
25.06.2025 21:55 โ ๐ 4 ๐ 5 ๐ฌ 0 ๐ 0
Original post on hcommons.social
Last week was all type theory, all the time. *This* week I get to change gears, and take part in the 50th Annual Conference of the Society for Exact Philosophy. Iโm especially looking forward to Day 2, which is devoted to the work of our sorely-missed colleague, Aldo Antonelli, who passed away [โฆ]
16.06.2025 13:53 โ ๐ 1 ๐ 4 ๐ฌ 1 ๐ 0
@df LOC says this is a Robert W. Prevost
09.05.2025 19:53 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
@df suspect that's a different Robert Prevost. I don't think Leo was ever at Oxford and in 1985 he was in Peru
09.05.2025 19:39 โ ๐ 0 ๐ 0 ๐ฌ 2 ๐ 0
Original post on flipboard.social
In the U.S., there's a "secret" form of media: radio reading services, where volunteers read aloud the text of newspapers, books and magazines. These used to be broadcast on "sidebands" โ little hidden side pockets of public radio or TV stations' airwaves โ for which folks needed a special radio [โฆ]
28.04.2025 22:44 โ ๐ 1 ๐ 13 ๐ฌ 0 ๐ 0
Fuck Ayn Rand (1905โ1982)
#philosophy
19.04.2025 04:00 โ ๐ 1 ๐ 4 ๐ฌ 0 ๐ 0
MC-PMP-Brussels-2025
About
Absolutely thrilled to be delivering this year's Philosophy of Mathematical Practices Masterclass at Vrije Universiteit Brussel, 18-20 June. Grad students and postdocs, come and talk with me about materials, institutions, and critical contexts!
https://sites.google.com/view/mc-pmp-brussels-2025
24.02.2025 14:24 โ ๐ 2 ๐ 3 ๐ฌ 0 ๐ 0
@consequently "modal industrial complex"
10.04.2025 13:59 โ ๐ 1 ๐ 1 ๐ฌ 0 ๐ 0
Original post on fediscience.org
Today the editorial board of _Mathematical Logic Quarterly_ (pub'd by @Wiley) resigned and launched a new #DiamondOA journal on the same topics.
https://open-access.network/services/news/artikel/ruecktritt-des-mlq-editorial-teams
See their open letter announcing their resignations and plans for [โฆ]
07.04.2025 14:10 โ ๐ 17 ๐ 3 ๐ฌ 0 ๐ 4
Notations for neurodiverse learners - extensive discussion of effects of mathematical notation
https://www.sciencedirect.com/science/article/pii/S0732312325000045
29.03.2025 15:05 โ ๐ 1 ๐ 2 ๐ฌ 0 ๐ 0
I wrote up what I learned converting an open textbook in LaTeX to HTML and making it accessible https://richardzach.org/2025/03/accessible-open-textbooks-in-math-heavy-disciplines/ #TexLaTeX #OER #accessibility #blind
26.03.2025 19:53 โ ๐ 3 ๐ 6 ๐ฌ 0 ๐ 0
@isAdisplayName I'm sure it likes watching birds, just like avid birder Curry
25.03.2025 16:28 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
Original post on flipboard.social
David Johansen, who fronted the legendary 1970s proto-punk band New York Dolls and also recorded under the pseudonym Buster Poindexter, has died at 75, his representative confirmed. Johansen was the subject of a documentary from directors Martin Scorsese and David Tedeschi, โPersonality Crisis [โฆ]
01.03.2025 19:58 โ ๐ 3 ๐ 0 ๐ฌ 0 ๐ 0
Original post on hcommons.social
Next week, Iโm heading off to North America for a few talks. (Iโd committed to these talks before last yearโs election and I have mixed feelings about the trip, but Iโm going, nonetheless.)
If you're in the LA area, in or around Calgary, or New York, and youโre into philosophical logic, why [โฆ]
26.02.2025 20:03 โ ๐ 0 ๐ 3 ๐ฌ 1 ๐ 0
Original post on hcommons.social
I'm delighted to share that next month, Iโll be in Canada, giving the 2024-25 Calgary Mathematics & Philosophy Lecture. Iโll be talking about mathematical practice, proof assistants, and meaning. If youโre in that part of the world on March 13, Iโd love to see you there! [โฆ]
16.02.2025 14:32 โ ๐ 3 ๐ 4 ๐ฌ 0 ๐ 0
Truly remarkable stuff in this thread.
16.02.2025 07:31 โ ๐ 4 ๐ 2 ๐ฌ 0 ๐ 0
Original post on flipboard.social
Alexios Mantzarlis, who is the director of the Security, Trust, and Safety Initiative at Cornell Tech and part of the team that shepherded Meta's now-canceled fact-checking program, has fact-checked Mark Zuckerberg's fact-checking announcement. Here's his story for Nieman Labs. "There is so [โฆ]
09.01.2025 23:40 โ ๐ 0 ๐ 15 ๐ฌ 1 ๐ 0
People often ask me what I think about the philosophical gourmet report (the most well-known ranking of philosophy departments). So, I thought it might be worthwhile to put together some thoughts on it.
tldr: They are on the whole negative, but I think some positives get overlooked.
13.12.2024 16:21 โ ๐ 81 ๐ 20 ๐ฌ 3 ๐ 7
Professor of Philosophy at the Faculty of Arts and Humanities of the University of Porto (FLUP).
๐ dfaria.eu | โ๏ธ df@dfaria.eu
Politik, Medien & Sonstiges | Kein ORF-Account | Blog: arminwolf.at | Foto: Peter Rigaud
Philosophy and Game Theory at Carnegie Mellon ๐ฆ Research the interface between philosophy, economics, and biology ๐ฑ www.kevinzollman.com
Philosopher of Perception and #CognitiveScience at #UCD ๐ฎ๐ช. Father of #LittleHuman. Former computer programmer and sound engineer. #LongCOVID sufferer. Maintains various #philosophy feeds, lists and starter packs. โ https://www.keithwilson.eu ๐บ๐ฆ๐ณ๏ธโ๐๐ณ๏ธโโง๏ธ (he/they)
Do you really donโt know?
(Iโm a philosopher and historian of biology, interested in all things evolutionary, #genetic, or #cognitive. I find most things ridiculous.)
http://www.ehudlamm.com
Political philosophy and theory, migration, refugees, Rousseau, photography, French literature, Crooked Timber, books, Bristol ... Wrote "Do States Have the Right to Exclude Immigrants" (Wiley/Polity, 2018). Pensioner.
History and Philosophy of Science, Cognitive Science,Experimental Philosophy, distinguished Prof at Pitt, Director of the Center for Philosophy of Science
climate scientist
posts 100% my own
๐จ๐ฆ is my home
distinguished professor & chair, Texas Tech
chief scientist, The Nature Conservancy
board member, Smithsonian NMNH
alum, UToronto and UIUC
author, Saving Us
Uh-oh!!!!!!! Journalist @thestar.com, @wired.com, @foreignpolicy.com
Newsletter: www.bugeyedandshameless.com
YouTube: https://www.youtube.com/@JustinLing
Signal: JustinLing.42
Freelance journalist. MSNBC and Xtra Magazine columnist. Co-founder: The Flytrap. Cancel Me, Daddy podcast co-host. Formerly: Vox
For story leads, my signal is kab.80
Ken White, criminal defense attorney and First Amendment litigator. Co-host of Serious Trouble podcast and writer at The Popehat Report. Opinions here are my own.
Signal: KenWhite.1969
Tomlinson Professor of Political Theory, Associate member of Philosophy, Coordinator of Research Group on Constitutional Studies, McGill.
Posts here speak only for myself.
Americo-Canadian; liberaltarian; aging geek.
http://jacobtlevy.com
