Events/Confs/Meet Ups>Chat

Anyone interested in a BOF Session on formal methods at Elixir Conf this year?

#learning#formal-methods
Onor.io

Onor.io

Anyone interested in a BOF Session on formal methods at Elixir Conf this year?

Hi all,

I’m honored to be one of the speakers for Elixir Conf 2022 coming up at the end of the month of August. One thing I was hoping for (as icing on the cake I guess) was to find other Elixir folks who have some interest in studying formal methods. By formal methods I mean modeling tools such as Alloy and TLA+ but I wouldn’t mind talking about Coq or any other formal method tool that anyone would care to discuss.

Consider this an informal invitation; I’d like to lead/join a BOF session on formal methods. I wanted to see if others might be interested in discussing the topic as well.

View thread on forum
#learning#formal-methods
4 570 0

Where Next?

View thread on forum
learning
formal-methods
Home Events/Confs/Meet Ups>Chat
#learning#formal-methods
4 570 0
Last post

Popular in Events Chat Top

AstonJ
Events/Confs/Meet Ups>Chat

Anyone at ElixirConf EU this year (18-19 April 2024)
Looks like the conference team have got a jam packed conference with lots of familiar faces in the speakers line up: https://www.elixirco...
#elixirconf-eu
49 980 14
New
jimfreeze
Events/Confs/Meet Ups>Chat

ElixirConf US 2019 - Denver/Aurora, CO
Early Bird tickets are now available at ElixirConf® I’ve started this chat to answer any questions you may have about the conference.
#conferences#2019#elixirconf2019
3 819 0
New
ityonemo
Events/Confs/Meet Ups>Chat

Exploratorium at codebeam?
Anyone want to get a crew together to go to the exploratorium in the evening at codebeam for their adults (18+) thursday night? It’s not...
#code-beam-sf
3 782 2
New
Lawrence_elixir
Events/Confs/Meet Ups>Chat

Elixir London Meetup 10 July - Elixir games night! Who's coming?
Impromptu Elixircards championship! As Code Elixir LDN is happening in July, this meetup will be a bit special… On 10th July, we’ll be h...
#meetups#codeelixir
2 757 0
New
davearonson
Events/Confs/Meet Ups>Chat

Code BEAM STO/Europe 2022
So… is anybody going? BESIDES ME, who would like to see some familiar faces, or at least names, or at least “handles”? :wink:
#conferences#code-beam-sto-22
3 658 0
New
ronscho
Events/Confs/Meet Ups>Chat

ElixirConf US 2024 Link to virtual Platform requested
Hi, does anyone have a valid link to the virtual elixirconf us 2024 event platform? The official e-mail contact address jim@elixirconf....
#elixirconf
0 146 0
New
NataliaCuriosum
Events/Confs/Meet Ups>Chat

Elixir Meetups by Curiosum
We are not slowing down, and we are revealing more cards to you - Elixir Meetup #3 on March 9, 2022! After the success of the first two ...
/nerves/phoenix#learning-elixir
3 590 0
New
mmmries
Events/Confs/Meet Ups>Chat

Thank You EMPEX!
@desmond announced this afternoon in an email that he is retiring the EMPEX events to focus on other projects. I attended two of the Empe...
#empex
10 252 0
New
aj-foster
Events/Confs/Meet Ups>Chat

ElixirConf US 2024 Location
Hi everyone, I’m not the organizer of ElixirConf US — that would be Jim Freeze, someone who puts a lot of time and effort into organizin...
#elixirconf
42 2616 10
New
dimitrije
Events/Confs/Meet Ups>Chat

Anyone from Serbia doing Elixir ? I would like to start some meetup group in Serbia
Hi all. My name is Dimitrije, I would like to try to promote Elixir and its ecosystem in Serbia by organizing meetup groups or some onlin...
#community#promotion
4 423 0
New

Other popular topics Top

sen
Questions & Help>Questions

How to set environment variables in dev.exs?
Hi All, I set a environment variables in dev.exs , like below code. when i start server, how can i set the ${enable} value? thanks. d...
/phoenix
31 22048 15
New
albydarned
Questions & Help>Questions

Erlang and Elixir on Apple Silicon/M1 Chip
Hello all! I am typing this post from my new MacBook Pro with the M1 chip. I’m loving it so far, and will probably use it as my daily dr...
#erlang#troubleshooting
121 25150 65
New
skosch
Questions & Help>Questions

Put/update deep inside nested maps (and auto-create intermediate keys)
To my knowledge, put_in, Map.update etc. all have the one limitation of not automatically creating intermediate keys when needed (for exa...
#data-structures#maps#immutability
52 20442 11
New
greenz1
Questions & Help>Questions

Best way to send multiple files as HTTP response
I have a phoenix application from which a user can download multiple(5-6) files of size 1MB. I couldn’t find anything related to sending ...
/phoenix#api
3 19039 3
New
stefanchrobot
Questions & Help>Questions

How to decode a JSON into a struct safely?
What’s the safe way to decode a JSON string into a struct? I want to avoid calling String.to_atom. Jason.decode can give me a map with st...
#structs#json
29 21253 26
New
jason.o
Questions & Help>Questions

No such input `xxxxx` for action ResourceName1.create
In the code below, if the create action is not set to accept “extra_key” as an input, it errors out with a message shown above. Is there ...
/ash
3 78654 2
New
dblack
Questions & Help>Questions

WebSocket is closed before the connection is established
I’ve got an issue with an app and I’ve no idea of how to troubleshoot it. I’m hoping someone here might have seen something similar. I p...
/phoenix#troubleshooting#liveview
13 27704 22
New
nsuchy
Questions & Help>Questions

IEX in Windows Powershell?
Hi. I’ve noticed that Windows Powershell has it’s own IEX command and you cannot access Elixir’s IEX due to the conflict. This isn’t a cr...
#iex#microsoft-windows#windows#powershell
15 30503 4
New
JakeBecker
Chat & Discussions>Discussions

ElixirLS - the Elixir Language Server
TL;DR: I’ve just released an implementation of Microsoft’s IDE-independent Language Server Protocol for Elixir. It adds language support ...
#elixir-ls
1144 54120 245
New
lanycrost
Questions & Help>Questions

How To Implement if...else if...else condition
Hi everyone! I need implement if…else if…else condition from my elixir code, and anymore of this control flow structures not work proper...
#how-to-question
40 52356 6
New
Back to top

Events/Confs/Meet Ups>Chat

Events Events Chat ❯

Latest on Elixir Forum

Elixir Forum ❯

Sponsor Spotlight

Potions

Deploy Phoenix to your own VPS with PaaS ease: push-to-deploy, zero downtime, auto SSL, managed Postgres. 14-day free trial at potions.io

Our Sponsors

Dashbit

Build Elixir applications with speed and confidence.

EEF

Supporting innovation across the BEAM ecosystem.

Coders51

We build reliable cloud platforms for business-critical systems.

AppSignal

Catch errors, track performance, monitor hosts and more.

Honeybadger

Error tracking for Elixir devs who love to ship. Start your free account.

Manning

Develop your skills with books, videos, and courses.

WyewWorks

Enabling companies to succeed by building software people love.

Potions

The deployment platform built for Elixir: PaaS ease, VPS control.

Software Mansion

The team behind Membrane, Popcorn, LiveDebugger. Available for hire.

Pragmatic Studio

Courses that'll move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

Categories:

Sub Categories:

Forums

Popular Tags

Our Sponsors

Dashbit

Build Elixir applications with speed and confidence.

EEF

Supporting innovation across the BEAM ecosystem.

Coders51

We build reliable cloud platforms for business-critical systems.

AppSignal

Catch errors, track performance, monitor hosts and more.

Honeybadger

Error tracking for Elixir devs who love to ship. Start your free account.

Manning

Develop your skills with books, videos, and courses.

WyewWorks

Enabling companies to succeed by building software people love.

Potions

The deployment platform built for Elixir: PaaS ease, VPS control.

Software Mansion

The team behind Membrane, Popcorn, LiveDebugger. Available for hire.

Pragmatic Studio

Courses that'll move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

We're in Beta

About us Mission Statement