'/%3e%3cpath%20d='M50.3943%2022.237V39.5876H43.5185V22.7481C43.5185%2019.2029%2042.0411%2017.3949%2039.036%2017.3949C35.7325%2017.3949%2034.0778%2019.5338%2034.0778%2023.7585V32.9759H27.2434V23.7585C27.2434%2019.5338%2025.5857%2017.3949%2022.2822%2017.3949C19.2949%2017.3949%2017.8027%2019.2029%2017.8027%2022.7481V39.5876H10.9298V22.237C10.9298%2018.6918%2011.835%2015.8754%2013.6453%2013.7877C15.5128%2011.7049%2017.9623%2010.6355%2021.0028%2010.6355C24.522%2010.6355%2027.1813%2011.9885%2028.9542%2014.6917L30.665%2017.5633L32.3788%2014.6917C34.1517%2011.9885%2036.811%2010.6355%2040.3243%2010.6355C43.3619%2010.6355%2045.8114%2011.7049%2047.6847%2013.7877C49.4931%2015.8734%2050.3963%2018.6899%2050.3943%2022.237Z'%20fill='white'/%3e%3cdefs%3e%3clinearGradient%20id='paint0_linear_89_8'%20x1='30.5'%20y1='0'%20x2='30.5'%20y2='65'%20gradientUnits='userSpaceOnUse'%3e%3cstop%20stop-color='%236364FF'/%3e%3cstop%20offset='1'%20stop-color='%23563ACC'/%3e%3c/linearGradient%3e%3c/defs%3e%3c/svg%3e)
Jesper Agdakx 🔸With the NWO XL consortium on Cyclic Structures in Programs and Proofs, we are looking for 6 highly motivated and talented PhD students starting in September (with some flexibility).<br><br>The topics range from Modal logic, proof theory, and coalgebras to Programming languages, concurrency, and type systems and Proof assistants (#Agda, <a class="hashtag" href="https://agda.club/tag/rocq" rel="nofollow noopener" target="_blank">#Rocq</a>).<br><br>Information about the positions and application procedure can be found on the website:<br><br><a href="https://cyclic-structures.gitlab.io/vacancies/" rel="nofollow noopener" target="_blank">cyclic-structures.gitlab.io/vacancies/</a><br><br>Please forward to any strong candidates you know!<br><br><a class="hashtag" href="https://agda.club/tag/typetheory" rel="nofollow noopener" target="_blank">#TypeTheory</a> <a class="hashtag" href="https://agda.club/tag/modallogic" rel="nofollow noopener" target="_blank">#ModalLogic</a> <a class="hashtag" href="https://agda.club/tag/concurrency" rel="nofollow noopener" target="_blank">#Concurrency</a> <a class="hashtag" href="https://agda.club/tag/programminglanguages" rel="nofollow noopener" target="_blank">#ProgrammingLanguages</a> <a class="hashtag" href="https://agda.club/tag/typesystems" rel="nofollow noopener" target="_blank">#TypeSystems</a> <a class="hashtag" href="https://agda.club/tag/proofassistants" rel="nofollow noopener" target="_blank">#ProofAssistants</a> <a class="hashtag" href="https://agda.club/tag/cyclicstructures" rel="nofollow noopener" target="_blank">#CyclicStructures</a> <a class="hashtag" href="https://agda.club/tag/phd" rel="nofollow noopener" target="_blank">#PhD</a> <a class="hashtag" href="https://agda.club/tag/netherlands" rel="nofollow noopener" target="_blank">#Netherlands</a> <a class="hashtag" href="https://agda.club/tag/universityofgroningen" rel="nofollow noopener" target="_blank">#UniversityOfGroningen</a> <a class="hashtag" href="https://agda.club/tag/leidenuniversity" rel="nofollow noopener" target="_blank">#LeidenUniversity</a> <a class="hashtag" href="https://agda.club/tag/universityoftwente" rel="nofollow noopener" target="_blank">#UniversityOfTwente</a> <a class="hashtag" href="https://agda.club/tag/tudelft" rel="nofollow noopener" target="_blank">#TUDelft</a> <a class="hashtag" href="https://agda.club/tag/radbouduniversity" rel="nofollow noopener" target="_blank">#RadboudUniversity</a>
101010.pl is one of the many independent Mastodon servers you can use to participate in the fediverse.
101010.pl czyli najstarszy polski serwer Mastodon. Posiadamy wpisy do 2048 znaków.
Administered by:
Server stats:
494active users
101010.pl: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.4.0-alpha.5
#universityofgroningen
0 posts · 0 participants · 0 posts today
Aral Balkan<p>Update: time change – talk is now going to be at 3PM – so an hour earlier.</p><p>PS. Here’s more info on today’s talk:</p><p><a href="https://www.rug.nl/research/bernoulli/calendar/colloquia/computer-science-oriented/2024/20240611-aral-balkan?lang=en" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">rug.nl/research/bernoulli/cale</span><span class="invisible">ndar/colloquia/computer-science-oriented/2024/20240611-aral-balkan?lang=en</span></a></p><p><a href="https://mastodon.ar.al/tags/SmallWeb" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SmallWeb</span></a> <a href="https://mastodon.ar.al/tags/SmallTech" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SmallTech</span></a> <a href="https://mastodon.ar.al/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ComputerScience</span></a> <a href="https://mastodon.ar.al/tags/UniversityOfGroningen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UniversityOfGroningen</span></a> <a href="https://mastodon.ar.al/tags/web" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>web</span></a> <a href="https://mastodon.ar.al/tags/dev" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dev</span></a> <a href="https://mastodon.ar.al/tags/peerToPeer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>peerToPeer</span></a> <a href="https://mastodon.ar.al/tags/peerToPeerWeb" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>peerToPeerWeb</span></a> <a href="https://mastodon.ar.al/tags/personalWeb" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>personalWeb</span></a> <a href="https://mastodon.ar.al/tags/foss" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>foss</span></a> <a href="https://mastodon.ar.al/tags/openSource" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>openSource</span></a> <a href="https://mastodon.ar.al/tags/HTML" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HTML</span></a> <a href="https://mastodon.ar.al/tags/CSS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CSS</span></a> <a href="https://mastodon.ar.al/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JavaScript</span></a> <a href="https://mastodon.ar.al/tags/NodeJS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NodeJS</span></a></p>
Aral Balkan<p>Waiting for my flight to Amsterdam before a train ride to Groningen to present the Small Web at my colloquium on computer science at the University of Groningen tomorrow.</p><p><a href="https://www.rug.nl/research/bernoulli/calendar/colloquia/computer-science-oriented/2024/20240611-aral-balkan?lang=en" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">rug.nl/research/bernoulli/cale</span><span class="invisible">ndar/colloquia/computer-science-oriented/2024/20240611-aral-balkan?lang=en</span></a></p><p><a href="https://mastodon.ar.al/tags/SmallWeb" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SmallWeb</span></a> <a href="https://mastodon.ar.al/tags/groningen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>groningen</span></a> <a href="https://mastodon.ar.al/tags/netherlands" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>netherlands</span></a> <a href="https://mastodon.ar.al/tags/universityOfGroningen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>universityOfGroningen</span></a> <a href="https://mastodon.ar.al/tags/talks" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>talks</span></a></p>
Herman van de Werfhorst<p>Sign the petition to reinstate Susanne Täuber at the <a href="https://mastodon.social/tags/universityofgroningen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>universityofgroningen</span></a>. <a href="https://openletter.earth/reinstate-susanne-tauber-protect-social-safety-and-academic-freedom-at-the-rug-ed83c085" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">openletter.earth/reinstate-sus</span><span class="invisible">anne-tauber-protect-social-safety-and-academic-freedom-at-the-rug-ed83c085</span></a> 1/</p>
Tom Theuns<p>Susanne Täuber, an Associate Professor at the <a href="https://akademienl.social/tags/UniversityofGroningen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UniversityofGroningen</span></a> who won a national prize for her efforts to improve working conditions at university, is being fired for speaking up against intimidation, discrimination and harassment.</p><p><a href="https://akademienl.social/tags/AmINext" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AmINext</span></a>? <a href="https://akademienl.social/tags/academicfreedom" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>academicfreedom</span></a> <a href="https://akademienl.social/tags/universityharassment" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>universityharassment</span></a> <a href="https://akademienl.social/tags/lifttherug" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lifttherug</span></a> </p><p><a href="https://ukrant.nl/protests-against-potential-firing-of-social-safety-expert-susanne-tauber/?lang=en" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ukrant.nl/protests-against-pot</span><span class="invisible">ential-firing-of-social-safety-expert-susanne-tauber/?lang=en</span></a></p><p><a href="https://ukrant.nl/susanne-tauber-awarded-for-commitment-to-academic-freedom/?lang=en" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ukrant.nl/susanne-tauber-award</span><span class="invisible">ed-for-commitment-to-academic-freedom/?lang=en</span></a></p>
Andreas<p>Hi, I'm Andreas and I'm based in the north of the Netherlands <a href="https://sigmoid.social/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>introduction</span></a>.</p><p>I research and teach computational linguistics and computational humanities at <a href="https://sigmoid.social/tags/UniversityOfGroningen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UniversityOfGroningen</span></a> <span class="h-card"><a href="https://sigmoid.social/@gronlp" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>gronlp</span></a></span> <a href="https://sigmoid.social/tags/NLProc" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NLProc</span></a> <a href="https://sigmoid.social/tags/ComputationalHumanities" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ComputationalHumanities</span></a> <a href="https://sigmoid.social/tags/DigitalHumanities" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DigitalHumanities</span></a> <a href="https://sigmoid.social/tags/CulturalAnalytics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CulturalAnalytics</span></a> <a href="https://sigmoid.social/tags/ComputationalLinguistics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ComputationalLinguistics</span></a> <a href="https://sigmoid.social/tags/ComputationalLiteraryStudies" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ComputationalLiteraryStudies</span></a></p>
ExploreLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload