German Vidal
the_heruman@fediscience.org
<p>Prof. of CS at VRAIN-UPV (Universitat Politècnica de València, Spain). My research interests include interpretable and symbolic AI, probabilistic logic programming/term rewriting, causality, concurrency, reversible computing, formal verification, and debugging.</p><p>Outside of work, I'm into photography and I'm a big sci-fi fan (books, movies & TV shows). I also enjoy traveling, cooking, and getting outside for a walk or a run.</p><p>Languages: Spanish (native), Catalan, English, and (some) Italian.</p>
Posts
-
Post #4392471
The proceedings of the 18th International Conference, RC 2026, are already available (free access), in case you are interested. https://link.springer.com/book/10.1007/978-3-032-30839-9
-
Post #4392470
An interesting talk: &quot;From Conventional LLMs to Reasoning Models to Agents&quot; (online, free –but requires registration). August 19th. Organized by ACM. https://events.zoom.us/ev/Anejp6WysT0UQeUsIgGHryZw4dUUXiC7orYnWv70WmmqF0WpGnuy~As2p-2aZa3U4ErLhopa1ZlcUAkrpfdqeK4w21MUC4LHPETSM9gHAFfyAnQ
-
Post #4392469
RE: https://fediscience.org/@oatp/116978151418668731 I wonder if US will ever recover from all the havoc Trump caused...
-
Post #4392468
Just picked up Bertrand Meyer’s new book, AI for Smarties. First impressions are very positive! I might end up using it in my software engineering course to give students a high-level overview of AI and how it’s being applied in our field. https://www.ai-for-smarties.com/
-
Post #4392467
Great to see OpenAI supporting academic research with its new &quot;ChatGPT for Academic Researchers&quot; initiative. Slightly less great to discover that researchers in Spain are excluded from the program 🙃 https://openai.com/index/chatgpt-for-academic-researchers/
-
Post #4392466
📷 It&#39;s been a while since I&#39;ve been here… #photography