MastodonTech.de

Georg WeissenbacherWant do do a PhD in Computer Science in the heart of Europe? We are hiring!10 FWF-funded positions at TU Wien for doctoral students in our newly founded doctoral college onAutomated Reasoning (<a href="https://forsyte.at/docfunds/" rel="nofollow noopener" translate="no" target="_blank">https://forsyte.at/docfunds/</a>)Come to Vienna (repeatedly ranked the world's most livable city) to work with an amazing team on on exciting topics at the intersection of security and artificial intelligence with Automated Reasoning at the core!Deadline: May 18, 2025 Start: October 2025 (or soon after) Details: <a href="https://forsyte.at/docfunds/" rel="nofollow noopener" translate="no" target="_blank">https://forsyte.at/docfunds/</a><a href="https://fediscience.org/tags/phdposition" class="mention hashtag" rel="nofollow noopener" target="_blank">#phdposition</a> <a href="https://fediscience.org/tags/phd" class="mention hashtag" rel="nofollow noopener" target="_blank">#phd</a> <a href="https://fediscience.org/tags/hiring" class="mention hashtag" rel="nofollow noopener" target="_blank">#hiring</a> <a href="https://fediscience.org/tags/automatedreasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#automatedreasoning</a> <a href="https://fediscience.org/tags/security" class="mention hashtag" rel="nofollow noopener" target="_blank">#security</a> <a href="https://fediscience.org/tags/artificial_intelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#artificial_intelligence</a> <a href="https://fediscience.org/tags/FWF" class="mention hashtag" rel="nofollow noopener" target="_blank">#FWF</a>

stefanctPhD school on <a href="https://chaos.social/tags/AutomatedReasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#AutomatedReasoning</a> at <a href="https://chaos.social/tags/TUWien" class="mention hashtag" rel="nofollow noopener" target="_blank">#TUWien</a>. Application deadline 2025-05-18. Suggestions for topics: <a href="https://forsyte.at/docfunds/#topics" rel="nofollow noopener" translate="no" target="_blank">https://forsyte.at/docfunds/#topics</a> Recruitment notice: <a href="https://jobs.tuwien.ac.at/Job/249889" rel="nofollow noopener" translate="no" target="_blank">https://jobs.tuwien.ac.at/Job/249889</a> //CC <a href="https://mastodon.social/@HalvarFlake" class="u-url mention" rel="nofollow noopener" target="_blank">@HalvarFlake</a>

Constraints JournalDear all,📓 This is the official account of the Constraints Journal (<a href="https://link.springer.com/journal/10601" rel="nofollow noopener" translate="no" target="_blank">https://link.springer.com/journal/10601</a>). 📣 We will use this account to notify you of new publications, extra materials, CfPs and special issues. 💬 We look forward to connecting with the CP community, and thank ACM for hosting.🚀 Please boost, tnx! <a href="https://mastodon.acm.org/tags/AcademicMastodon" class="mention hashtag" rel="nofollow noopener" target="_blank">#AcademicMastodon</a> <a href="https://mastodon.acm.org/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#ArtificialIntelligence</a> <a href="https://mastodon.acm.org/tags/AutomatedReasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#AutomatedReasoning</a> <a href="https://mastodon.acm.org/tags/CombinatorialAlgorithms" class="mention hashtag" rel="nofollow noopener" target="_blank">#CombinatorialAlgorithms</a> <a href="https://mastodon.acm.org/tags/ComputationalLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#ComputationalLogic</a> <a href="https://mastodon.acm.org/tags/ConstraintProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#ConstraintProgramming</a> <a href="https://mastodon.acm.org/tags/OperationsResearch" class="mention hashtag" rel="nofollow noopener" target="_blank">#OperationsResearch</a> <a href="https://mastodon.acm.org/tags/Optimisation" class="mention hashtag" rel="nofollow noopener" target="_blank">#Optimisation</a> <a href="https://mastodon.acm.org/tags/Satisfiability" class="mention hashtag" rel="nofollow noopener" target="_blank">#Satisfiability</a>

[ \ | (Are there any open source projects like AWS guardrail for LLM automated reasoning? <a href="https://fosstodon.org/tags/llm" class="mention hashtag" rel="nofollow noopener" target="_blank">#llm</a> <a href="https://fosstodon.org/tags/genAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#genAI</a> <a href="https://fosstodon.org/tags/automatedreasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#automatedreasoning</a> <a href="https://fosstodon.org/tags/reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#reasoning</a> <a href="https://fosstodon.org/tags/ai" class="mention hashtag" rel="nofollow noopener" target="_blank">#ai</a>

DominikKleiner <a href="https://sueden.social/tags/ScienceSlam" class="mention hashtag" rel="nofollow noopener" target="_blank">#ScienceSlam</a> im Rahmen des <a href="https://sueden.social/tags/GI" class="mention hashtag" rel="nofollow noopener" target="_blank">#GI</a>-Dissertationspreises auf der <a href="https://sueden.social/tags/informatik2024" class="mention hashtag" rel="nofollow noopener" target="_blank">#informatik2024</a> :<a href="https://www.youtube.com/watch?v=072y-d3iVWw" rel="nofollow noopener" translate="no" target="_blank">https://www.youtube.com/watch?v=072y-d3iVWw</a><a href="https://sueden.social/tags/SatSolving" class="mention hashtag" rel="nofollow noopener" target="_blank">#SatSolving</a> <a href="https://sueden.social/tags/HPC" class="mention hashtag" rel="nofollow noopener" target="_blank">#HPC</a> <a href="https://sueden.social/tags/AutomatedReasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#AutomatedReasoning</a> <a href="https://mas.to/@informatik" class="u-url mention" rel="nofollow noopener" target="_blank">@informatik</a> <a href="https://xn--baw-joa.social/@KITInformatik" class="u-url mention" rel="nofollow noopener" target="_blank">@KITInformatik</a>

José A. AlonsoGenerating and exploiting automated reasoning proof certificates. ~ Haniel Barbosa, Clark Barrett, Byron Cook, Bruno Dutertre, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Cesare Tinelli, Yoni Zohar. <a href="https://cacm.acm.org/magazines/2023/10/276632-generating-and-exploiting-automated-reasoning-proof-certificates/abstract" rel="nofollow noopener" target="_blank">https://cacm.acm.org/magazines/2023/10/276632-generating-and-exploiting-automated-reasoning-proof-certificates/abstract</a> <a href="https://mathstodon.xyz/tags/AutomatedReasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#AutomatedReasoning</a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener" target="_blank">#FormalVerification</a>

Ulrich Junker<a href="https://mathstodon.xyz/@tao" class="u-url mention" rel="nofollow noopener" target="_blank">@tao</a> good to see the mentioning of topics such as <a href="https://fediscience.org/tags/AutomatedReasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#AutomatedReasoning</a> and <a href="https://fediscience.org/tags/SatSolving" class="mention hashtag" rel="nofollow noopener" target="_blank">#SatSolving</a>. There has been significant progress in these fields in the last 30 years as well, so I am a bit surprised that they are dubbed as GOFAI, which characterizes the limits of rule-based systems <a href="https://en.m.wikipedia.org/wiki/GOFAI" rel="nofollow noopener" target="_blank">https://en.m.wikipedia.org/wiki/GOFAI</a>

Frühere Suchanfragen

Suchoptionen

Verwaltet von:

Serverstatistik:

#automatedreasoning